Dimitri Papadopoulos
|
52f91e4ab9
|
Fix residual typos found by codespell
|
2023-07-28 09:29:28 +02:00 |
|
Joakim Strandberg
|
58ac57861f
|
Updated the README.md file and made sure that using default.gpr to build the Ada TLS server application does not try to build the Ada TCL client application that makes use of the secondary stack.
|
2023-07-17 19:50:05 +02:00 |
|
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.
|
2023-07-17 01:22:06 +02:00 |
|
Joakim Strandberg
|
71b28caa09
|
Added Initialize and Finalize functions to initialize and cleanup resources of the WolfSSL library. Removed definitions of exceptions.
|
2023-07-14 22:20:39 +02:00 |
|
Joakim Strandberg
|
f49ffc0353
|
The implementations of the tls client and server applications can now be formally verified by the SPARK tools.
|
2023-07-14 20:30:34 +02:00 |
|
Joakim Strandberg
|
45d8a5b04c
|
Ada version of TLS v1.3 client application implemented
|
2023-07-13 16:49:22 +02:00 |
|
David Garske
|
d20a096ffa
|
Ada Bindings for wolfSSL. Credit Joakim Dahlgren Strandberg <joakimds@kth.se>
|
2023-07-12 12:37:52 -07:00 |
|