3 Commits (42f7be20c8045be3032a88ae69028a70bbcb75e7)

Author	SHA1	Message	Date
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