158d62591f
Fix broken verify on Ada wrapper
...
The Ada wrapper had an `&` operator for the verification mode. This
effectively caused the verification mode to equal `0`.
The operator has been switched to `or` now, in addition, a getter has
been added to the API. This allows for the test I've added to the server
code to verify that it is being set correctly.
`OPENSSL_ALL` flag added to Ada so that the verify mode getter function
is compiled in.
Fixes #7461
Thanks to @dalybrown for reporting it.
2024-12-06 12:44:15 +00:00
dd2b191c36
update version listed in wolfssl-fips.rc and Ada wrapper
2024-10-24 14:19:17 -06:00
2a96981dbe
Ada binding: correct Alire manifest and fix build
2024-09-04 09:42:24 +02:00
4d837e74c4
Merge pull request #7303 from Irvise/master
...
[Ada] Initial library support
2024-08-31 00:26:29 -05:00
5ea22effcc
Update documentation
2024-08-13 10:56:25 +02:00
537827ebde
Add missing config.h on some .c files.
2024-08-12 09:29:07 -07:00
bec3cd8b6f
Document Alire use
2024-08-11 18:36:54 +02:00
ae7e7e716a
Update upstream
2024-08-10 13:56:14 +02:00
31a6a2bf59
update copyright to 2024
2024-07-19 13:15:05 -06:00
ad25e9b063
[Ada] Clean Alire recipe
2024-05-15 22:33:29 +02:00
707e60aa79
Address gnatprove issues in tls client
2024-04-08 19:40:06 -04:00
8d49dce2cb
[Ada] Fix crate name in Alire
2024-04-06 01:12:02 +02:00
afc1e96899
[Ada] Add initial Alire support, alpha version
2024-04-05 23:29:45 +02:00
77cd3b837b
[Ada] Explicitly add netdb.h support
2024-04-05 23:27:24 +02:00
97e731f27b
Address gnatprove warnings and errors
2024-04-05 12:09:11 -04:00
42f7be20c8
Fix assertion that address length must be greater than zero
2024-04-04 16:19:44 -04:00
63547d954a
Fix formatting issues and remove unused variable
2024-04-04 16:06:19 -04:00
be72849d48
Expose DTLS in Ada wrapper and update examples
2024-04-04 15:52:14 -04:00
79235a4698
[Ada] Initial library support
2024-03-06 20:20:55 +01:00
8794e3f2f6
Updated the Ada wrapper README.md file and removed mention of the c_tls_client_main.c and c_tls_server_main.c files.
2023-08-01 23:08:52 +02:00
0e74213692
Fix display of SPARK tool output in README
2023-08-01 22:45:07 +02:00
278f395542
Made sure the relative paths for finding the certificates is correct.
2023-07-31 23:48:44 +02:00
6893123edf
Removed references to the c implementations of the client and server
2023-07-31 21:54:30 +02:00
b6a11b8b01
Updated the README.md and updated client.gpr
2023-07-31 17:53:01 +02:00
c76b0a0237
removed the C examples only keeping Ada code in the Ada wrapper example directory
2023-07-31 17:31:23 +02:00
52f91e4ab9
Fix residual typos found by codespell
2023-07-28 09:29:28 +02:00
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
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
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
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
45d8a5b04c
Ada version of TLS v1.3 client application implemented
2023-07-13 16:49:22 +02:00
d20a096ffa
Ada Bindings for wolfSSL. Credit Joakim Dahlgren Strandberg <joakimds@kth.se>
2023-07-12 12:37:52 -07:00
Andrew Hutchings
JacobBarthelmeh
Irvise
Daniel Pouzzner
David Garske
Daly Brown
Joakim Strandberg
Dimitri Papadopoulos