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
History
Tobias Reiher 24fdb9de8e Rename Session to State Machine 
Ref. eng/recordflux/RecordFlux#1772
2024-09-11 08:50:18 +00:00
..
apps
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
specs
Add ATM spec
2024-03-22 14:31:53 +01:00