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
3,539 Commits 18 Branches 30 Tags
main
Commit Graph

9 Commits

Author SHA1 Message Date
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
Alexander Senier
95802a06a4 Ensure all generated files have a final newline 
Ref. eng/recordflux/RecordFlux#1659
 2024-12-03 12:48:01 +00:00
Alexander Senier
53a878ce6c Put "is" keyword on separate line 
Ref. eng/recordflux/RecordFlux#1659
 2024-12-03 12:48:01 +00:00
Alexander Senier
33312bc01e Put aspect-related withs onto separate line 
Ref. eng/recordflux/RecordFlux#1659
 2024-12-03 12:48:01 +00:00
Alexander Senier
462b250e80 rflx.ada: more consistent newline handling 
Ref. None
 2024-12-03 12:48:01 +00:00
Alexander Senier
3d1a094b3a rflx.ada: Refactor subprogram specification 
Ref. None
 2024-12-03 12:48:01 +00:00
Alexander Senier
a29132f160 rflx.ada: Omit additional parentheses for if/case expressions 
Ref. None
 2024-12-03 12:48:01 +00:00
Tobias Reiher
c26f0c9834 Remove requirements tool and references for feature coverage 
Ref. eng/recordflux/RecordFlux#1783
 2024-09-13 10:23:09 +00:00
Tobias Reiher
24fdb9de8e Rename Session to State Machine 
Ref. eng/recordflux/RecordFlux#1772
 2024-09-11 08:50:18 +00:00