Johannes Kanig 4981cd565d Remove invalid successors invariant from context predicate ...

Ref. eng/recordflux/RecordFlux#1802

2024-10-29 17:27:24 +09: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

Use shorthand unsigned type definitions in examples and tests

2024-10-28 19:46:09 +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

Remove invalid successors invariant from context predicate

2024-10-29 17:27:24 +09: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