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