wolfssl

Author	SHA1	Message	Date
Daly Brown	707e60aa79	Address gnatprove issues in tls client	2024-04-08 19:40:06 -04:00
Daly Brown	63547d954a	Fix formatting issues and remove unused variable	2024-04-04 16:06:19 -04:00
Daly Brown	be72849d48	Expose DTLS in Ada wrapper and update examples	2024-04-04 15:52:14 -04:00
Joakim Strandberg	278f395542	Made sure the relative paths for finding the certificates is correct.	2023-07-31 23:48:44 +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