8 Commits

Author SHA1 Message Date
Tobias Reiher
060f2ca948 Remove gnatcoll-bindings and langkit submodules 2022-10-07 16:39:04 +02:00
Tobias Reiher
788460354c Remove RecordFlux-specifications submodule 2022-10-07 16:39:04 +02:00
Tobias Reiher
a561d6bcd3 Remove python-style submodule 2022-10-07 16:39:04 +02:00
Tobias Reiher
f41f761d24 Move linter-related files into separate repository 2021-10-07 10:29:43 +02:00
Alexander Senier
9d577a186d Add langkit submodule
Ref. #19
2021-04-30 14:46:02 +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
190cd38a91 Add gnatcoll-bindings dependency 2020-10-25 23:31:55 +01:00