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
main
RecordFlux/tests/feature/fsm_sequence_append/generated
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
..
rflx-rflx_arithmetic.adb
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-rflx_arithmetic.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-rflx_builtin_types-conversions.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-rflx_builtin_types.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-rflx_generic_types-generic_operations.adb
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-rflx_generic_types-generic_operations.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-rflx_generic_types-generic_operators.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-rflx_generic_types.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-rflx_message_sequence.adb
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-rflx_message_sequence.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-rflx_scalar_sequence.adb
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-rflx_scalar_sequence.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-rflx_types-operations.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-rflx_types-operators.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-rflx_types.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-test-s-fsm_allocator.adb
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-test-s-fsm_allocator.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-test-s-fsm.adb
Keep "is" keyword on same line if no aspects are present
2024-12-03 12:48:01 +00:00
rflx-test-s-fsm.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-test-s.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-test.ads
Ensure all generated files have a final newline
2024-12-03 12:48:01 +00:00
rflx-universal-contains.adb
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-universal-contains.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-universal-message.adb
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-universal-message.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-universal-option_types.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-universal-option.adb
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-universal-option.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-universal-options.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-universal-values.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx-universal.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00
rflx.ads
Rename Session to State Machine
2024-09-11 08:50:18 +00:00