ada/RecordFlux-parser
0
0
Fork 0
mirror of https://github.com/AdaCore/RecordFlux-parser.git synced 2026-02-12 13:09:26 -08:00
Code Issues Packages Projects Releases Wiki Activity
186 Commits 5 Branches 18 Tags
main
Commit Graph

5 Commits

Author SHA1 Message Date
Tobias Reiher
ad079e6c85 Update references to tickets 2023-01-19 11:20:30 +01:00
Tobias Reiher
788460354c Remove RecordFlux-specifications submodule 2022-10-07 16:39:04 +02:00
Alexander Senier
5905b3dbe0 Fix duplicate module error since mypy 0.800 2021-01-25 09:44:32 +01:00
Alexander Senier
a5d5fa06f8 Use example specs from RecordFlux-specifications repo 2021-01-09 19:53:10 +01:00
Alexander Senier
f5159478ac Add specification file tests 2020-10-23 22:24:01 +02:00