|
@@ -91,18 +91,14 @@ Make sure the executables for the compiler and GPRBuild are on the PATH
|
|
|
and use gprbuild to build the source code.
|
|
|
|
|
|
## Files
|
|
|
-The file c_tls_client_main.c and c_tls_server_main.c are the TLS v1.3
|
|
|
-server and client examples using the WolfSSL library implemented using
|
|
|
-the C programming language.
|
|
|
-
|
|
|
-The translation of the C client example into the Ada/SPARK programming
|
|
|
-language can be found in the files:
|
|
|
+The TLS v1.3 client example in the Ada/SPARK programming language
|
|
|
+using the WolfSSL library can be found in the files:
|
|
|
tls_client_main.adb
|
|
|
tls_client.ads
|
|
|
tls_client.adb
|
|
|
|
|
|
-The translation of the C server example into the Ada/SPARK programming
|
|
|
-language can be found in the files:
|
|
|
+The TLS v1.3 server example in the Ada/SPARK programming language
|
|
|
+using the WolfSSL library can be found in the files:
|
|
|
tls_server_main.adb
|
|
|
tls_server.ads
|
|
|
tls_server.adb
|