Logo
Explore Help
Sign In
ada/RecordFlux
0
0
Fork 0
You've already forked RecordFlux
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
main
RecordFlux/tests/feature/fsm_sequence_append
History
Alexander Senier 73822448ce Keep "is" keyword on same line if no aspects are present
Ref. eng/recordflux/RecordFlux#1659
2024-12-03 12:48:01 +00:00
..
generated
Keep "is" keyword on same line if no aspects are present
2024-12-03 12:48:01 +00:00
config.yml
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
test.rflx
Remove requirements tool and references for feature coverage
2024-09-13 10:23:09 +00:00
universal.rflx
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
Powered by Gitea Page: 353ms Template: 13ms
English
English
Licenses API