Lịch sử commit

Tác giả SHA1 Thông báo Ngày
  Andrew Hutchings 158d62591f Fix broken verify on Ada wrapper 1 tuần trước cách đây
  Daly Brown 707e60aa79 Address gnatprove issues in tls client 8 tháng trước cách đây
  Daly Brown 63547d954a Fix formatting issues and remove unused variable 8 tháng trước cách đây
  Daly Brown be72849d48 Expose DTLS in Ada wrapper and update examples 8 tháng trước cách đây
  Joakim Strandberg 278f395542 Made sure the relative paths for finding the certificates is correct. 1 năm trước cách đây
  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 năm trước cách đây
  Joakim Strandberg 71b28caa09 Added Initialize and Finalize functions to initialize and cleanup resources of the WolfSSL library. Removed definitions of exceptions. 1 năm trước cách đây
  Joakim Strandberg f49ffc0353 The implementations of the tls client and server applications can now be formally verified by the SPARK tools. 1 năm trước cách đây
  Joakim Strandberg 45d8a5b04c Ada version of TLS v1.3 client application implemented 1 năm trước cách đây
  David Garske d20a096ffa Ada Bindings for wolfSSL. Credit Joakim Dahlgren Strandberg <joakimds@kth.se> 1 năm trước cách đây