Juliusz Sosinowicz 40d3befa61 Extend Ada bindings ...

Add Ada bindings for SHA-256, RSA sign/verify, and AES-CBC from
wolfCrypt. Use XMALLOC/XFREE for dynamic allocation and add GNATprove
ownership annotations to enable static leak detection.

Refactor the Ada wrapper into a base package (wolfssl.ads) and a child
package (wolfssl-full_runtime) to separate code that depends on
Interfaces.C.Strings and GNAT.Sockets from zero-footprint-compatible
code.

Add standalone examples for SHA-256 hashing, RSA signature verification,
and AES encryption under wrapper/Ada/examples/.

Add AUnit test suites for SHA-256, RSA, and AES bindings under
wrapper/Ada/tests/ with Valgrind suppressions and Alire integration.

Move TLS client/server examples into wrapper/Ada/examples/src/ and
update build files (default.gpr, examples.gpr, include.am) accordingly.

Update CI (ada.yml) to build default.gpr, run AUnit tests, run the
client-server examples, and run GNATprove.

Co-authored-by: Joakim Strandberg <joakim@mequinox.se>

2026-02-09 13:44:35 +01:00

..

ISSUE_TEMPLATE

an -> a

2025-02-13 14:50:32 -05:00

renode-test/stm32h753

Fix trailing whitespace and flush-left

2026-01-05 13:39:43 +00:00

workflows

Extend Ada bindings

2026-02-09 13:44:35 +01:00

PULL_REQUEST_TEMPLATE.md

github: Initial templates

2022-01-19 10:36:01 -08:00

SECURITY.md

* Fixed some build configuration variations.

2023-01-03 10:59:59 -08:00