Tobias Reiher
|
bc5c6c57ab
|
Drop support for Python 3.9
Ref. eng/recordflux/RecordFlux#1424
|
2025-11-24 11:11:47 +01:00 |
|
Tobias Reiher
|
a8f88c5082
|
Add support for GNAT/SPARK Pro 25.0
Ref. eng/recordflux/RecordFlux#1823
|
2024-11-18 09:21:39 +00:00 |
|
Johannes Kanig
|
4981cd565d
|
Remove invalid successors invariant from context predicate
Ref. eng/recordflux/RecordFlux#1802
|
2024-10-29 17:27:24 +09:00 |
|
Andres Toom
|
5c667469c5
|
Use shorthand unsigned type definitions in examples and tests
Ref. eng/recordflux/RecordFlux#1398
|
2024-10-28 19:46:09 +00:00 |
|
Tobias Reiher
|
f8fef61e61
|
Replace deprecated type annotations
Ref. eng/recordflux/RecordFlux!1688
|
2024-10-22 14:37:06 +00:00 |
|
Tobias Reiher
|
f158f50e64
|
Drop support for Python 3.8
Ref. eng/recordflux/RecordFlux#1359
|
2024-10-22 14:37:06 +00:00 |
|
Johannes Kanig
|
abc1dc6077
|
Remove Buffer argument when possible in helper functions
Ref. eng/recordflux/RecordFlux#1802
|
2024-10-21 23:47:45 +00:00 |
|
Tobias Reiher
|
24fdb9de8e
|
Rename Session to State Machine
Ref. eng/recordflux/RecordFlux#1772
|
2024-09-11 08:50:18 +00:00 |
|
Tobias Reiher
|
6c0c94d688
|
Enable SPARK proofs for SPDM responder example
Ref. eng/recordflux/RecordFlux#1704
|
2024-09-06 17:43:00 +02:00 |
|
Tobias Reiher
|
1677c46a85
|
Fix unused variables in SPDM responder example
Ref. eng/recordflux/RecordFlux#1704
|
2024-09-06 17:43:00 +02:00 |
|
Tobias Reiher
|
26d8c3759b
|
Fix missing checks in state machine
Ref. eng/recordflux/RecordFlux#1704
|
2024-09-06 17:43:00 +02:00 |
|
Tobias Reiher
|
63738d1074
|
Fix initialization of SPDM responder
Ref. eng/recordflux/RecordFlux!1663
|
2024-09-04 09:26:56 +00:00 |
|
Tobias Reiher
|
97d97a9fc8
|
Fix description in SPDM responder example
Ref. eng/recordflux/RecordFlux!1663
|
2024-09-04 09:26:56 +00:00 |
|
Tobias Reiher
|
81b56d5c38
|
Rename *_Functions.Context to *_Environment.State
Ref. eng/recordflux/RecordFlux#1769
|
2024-09-04 09:26:56 +00:00 |
|
Tobias Reiher
|
802c6baa46
|
Remove Initialize and Finalize functions for functions context
Ref. eng/recordflux/RecordFlux#1768
|
2024-09-04 09:26:56 +00:00 |
|
Tobias Reiher
|
bca2e60adc
|
Refactor SPDM responder specification and docstrings
Ref. eng/recordflux/RecordFlux!1645
|
2024-08-08 08:55:36 +00:00 |
|
Tobias Reiher
|
7c29a5af02
|
Fix separation of externally defined functions from state machine
Ref. eng/recordflux/RecordFlux#1032
|
2024-08-08 08:55:36 +00:00 |
|
Tobias Reiher
|
63d3a475b7
|
Fix GNATprove caching for SPDM responder example
Ref. None
|
2024-07-19 09:09:39 +00:00 |
|
Tobias Reiher
|
70d01c70f4
|
Increase GNATprove timeout for DCCP example
Ref. eng/recordflux/RecordFlux#1695
|
2024-07-03 12:45:42 +03:00 |
|
Tobias Reiher
|
90f25f325f
|
Reduce timeout for SPDM verification
Ref. eng/recordflux/RecordFlux#1670
|
2024-07-03 12:45:41 +03:00 |
|
Alexander Senier
|
3afbf215b2
|
Fix Python 3.[89] typing errors
Ref. None
|
2024-07-03 12:45:41 +03:00 |
|
Corentin Machu
|
aabe5b7d4c
|
Install rust tools in a seperate CARGO_HOME
Ref. eng/recordflux/RecordFlux#1610
|
2024-07-03 12:45:41 +03:00 |
|
Corentin Machu
|
94c0d046f2
|
Exclude wireguard example to rflx rust build
Ref. eng/recordflux/RecordFlux#1565
|
2024-07-03 12:45:40 +03:00 |
|
Corentin Machu
|
a8daa2555f
|
Add wireguard python example
Ref. eng/recordflux/RecordFlux#1565
|
2024-07-03 12:45:40 +03:00 |
|
Corentin Machu
|
f5ecca5578
|
Revert "Add wireguard python example"
This reverts commit f62dfe2596.
Ref. None
|
2024-04-22 17:12:14 +02:00 |
|