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
24-sustained
RecordFlux/examples/apps/spdm_responder
History
Johannes Kanig fc8374d6b0 new function Valid_Next_Internal 
- groups Path_Condition and Valid_Predecessor functionality
- will be used in preconditions of other future internal functions
- adjust sizes for SPDM as this commit seems to slightly increase code
  size

For eng/recordflux/recordflux#1382
2023-09-13 23:01:46 +00:00
..
specs
Add SPDM responder example
2023-08-18 14:37:32 +02:00
src
Add SPDM responder example
2023-08-18 14:37:32 +02:00
tools
Add SPDM responder example
2023-08-18 14:37:32 +02:00
build_lib.gpr
Add SPDM responder example
2023-08-18 14:37:32 +02:00
build.gpr
Add SPDM responder example
2023-08-18 14:37:32 +02:00
Makefile
new function Valid_Next_Internal
2023-09-13 23:01:46 +00:00
pragmas.adc
Add SPDM responder example
2023-08-18 14:37:32 +02:00
spdm.gpr
Add SPDM responder example
2023-08-18 14:37:32 +02:00