ada/RecordFlux
0
0
Fork 0
mirror of https://github.com/AdaCore/RecordFlux.git synced 2026-02-12 13:01:56 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
25.1
RecordFlux/examples/apps/spdm_responder
History
Tobias Reiher 24fdb9de8e Rename Session to State Machine 
Ref. eng/recordflux/RecordFlux#1772
2024-09-11 08:50:18 +00:00
..
generated
Fix GNAT Studio errors in example apps
2024-04-17 12:02:00 +00:00
lib
Fix GNAT Studio errors in example apps
2024-04-17 12:02:00 +00:00
obj
Fix GNAT Studio errors in example apps
2024-04-17 12:02:00 +00:00
specs
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
src
Enable SPARK proofs for SPDM responder example
2024-09-06 17:43:00 +02:00
tools
Add SPDM responder example
2023-08-18 14:37:32 +02:00
.gitignore
Fix GNAT Studio errors in example apps
2024-04-17 12:02:00 +00:00
build_lib.gpr
Enable SPARK proofs for SPDM responder example
2024-09-06 17:43:00 +02:00
build.gpr
Refine the spdm_responder's build directories
2023-11-19 19:33:07 +00:00
Makefile
Enable SPARK proofs for SPDM responder example
2024-09-06 17:43:00 +02:00
pragmas.adc
Add SPDM responder example
2023-08-18 14:37:32 +02:00
spdm.gpr
Fix GNAT Studio errors in example apps
2024-04-17 12:02:00 +00:00