Commit Verlauf

Autor SHA1 Nachricht Datum
  Andrew Hutchings 158d62591f Fix broken verify on Ada wrapper vor 2 Wochen
  Daly Brown 707e60aa79 Address gnatprove issues in tls client vor 8 Monaten
  Daly Brown 63547d954a Fix formatting issues and remove unused variable vor 8 Monaten
  Daly Brown be72849d48 Expose DTLS in Ada wrapper and update examples vor 8 Monaten
  Joakim Strandberg 278f395542 Made sure the relative paths for finding the certificates is correct. vor 1 Jahr
  Joakim Strandberg 00b90adc97 Updated README.md file. Added description of subprograms in the specification file of the WolfSSL package. Made it possible to get error codes through the WolfSSL API. vor 1 Jahr
  Joakim Strandberg 71b28caa09 Added Initialize and Finalize functions to initialize and cleanup resources of the WolfSSL library. Removed definitions of exceptions. vor 1 Jahr
  Joakim Strandberg f49ffc0353 The implementations of the tls client and server applications can now be formally verified by the SPARK tools. vor 1 Jahr
  Joakim Strandberg 45d8a5b04c Ada version of TLS v1.3 client application implemented vor 1 Jahr
  David Garske d20a096ffa Ada Bindings for wolfSSL. Credit Joakim Dahlgren Strandberg <joakimds@kth.se> vor 1 Jahr