تاریخچه Commit ها

نویسنده SHA1 پیام تاریخ
  Andrew Hutchings 158d62591f Fix broken verify on Ada wrapper 2 هفته پیش
  Daly Brown 97e731f27b Address gnatprove warnings and errors 8 ماه پیش
  Daly Brown 63547d954a Fix formatting issues and remove unused variable 8 ماه پیش
  Daly Brown be72849d48 Expose DTLS in Ada wrapper and update examples 8 ماه پیش
  Joakim Strandberg 278f395542 Made sure the relative paths for finding the certificates is correct. 1 سال پیش
  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. 1 سال پیش
  Joakim Strandberg 71b28caa09 Added Initialize and Finalize functions to initialize and cleanup resources of the WolfSSL library. Removed definitions of exceptions. 1 سال پیش
  Joakim Strandberg f49ffc0353 The implementations of the tls client and server applications can now be formally verified by the SPARK tools. 1 سال پیش
  Joakim Strandberg 45d8a5b04c Ada version of TLS v1.3 client application implemented 1 سال پیش
  David Garske d20a096ffa Ada Bindings for wolfSSL. Credit Joakim Dahlgren Strandberg <joakimds@kth.se> 1 سال پیش