Komit Sejarah

Pembuat SHA1 Pesan Tanggal
  Daly Brown 707e60aa79 Address gnatprove issues in tls client 8 bulan lalu
  Daly Brown 63547d954a Fix formatting issues and remove unused variable 8 bulan lalu
  Daly Brown be72849d48 Expose DTLS in Ada wrapper and update examples 8 bulan lalu
  Joakim Strandberg 278f395542 Made sure the relative paths for finding the certificates is correct. 1 tahun lalu
  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 tahun lalu
  Joakim Strandberg 71b28caa09 Added Initialize and Finalize functions to initialize and cleanup resources of the WolfSSL library. Removed definitions of exceptions. 1 tahun lalu
  Joakim Strandberg f49ffc0353 The implementations of the tls client and server applications can now be formally verified by the SPARK tools. 1 tahun lalu
  Joakim Strandberg 45d8a5b04c Ada version of TLS v1.3 client application implemented 1 tahun lalu
  David Garske d20a096ffa Ada Bindings for wolfSSL. Credit Joakim Dahlgren Strandberg <joakimds@kth.se> 1 tahun lalu