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
163 Commits 5 Branches 18 Tags
issue_72
Commit Graph

163 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Tobias Reiher
ebda216fab Add support for Python 3.11 2022-12-13 16:31:27 +01:00
Tobias Reiher
8cd7f56c86 Update python-style 2022-12-13 16:31:27 +01:00
Alexander Senier
bab1379d4a Fix pylint error in edge tests 2022-12-01 13:10:56 +01:00
Tobias Reiher
c9f42ad41e Refactor Makefile 2022-10-07 16:39:04 +02:00
Tobias Reiher
060f2ca948 Remove gnatcoll-bindings and langkit submodules 2022-10-07 16:39:04 +02:00
Tobias Reiher
bd0d5b64b0 Enable setting of number of test processes 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
b5f1f28cef Fix langkit warnings 2022-10-07 16:39:04 +02:00
Tobias Reiher
86866bea3a Reduce required test coverage 2022-10-05 15:36:02 +02:00
Tobias Reiher
159372be63 Remove types deprecated by PEP 585 2022-10-05 15:36:02 +02:00
Tobias Reiher
2dd2f1c099 Add checking of commit messages in CI 2022-09-20 11:08:17 +02:00
Tobias Reiher
3b8953f767 Set version to 0.13.0 v0.13.0 2022-09-20 11:08:17 +02:00
Tobias Reiher
83f21f1790 Remove NullID 2022-09-20 11:08:17 +02:00
Tobias Reiher
1a3692c8df Remove null states 
Ref. Componolit/RecordFlux#700
 2022-09-20 11:08:17 +02:00
Tobias Reiher
76e5a0cda6 Remove session aspects 
Ref. Componolit/RecordFlux#700
 2022-09-20 11:08:17 +02:00
Alexander Senier
48e058027c Retire Python 3.7, test with Python 3.10 v0.12.0 2022-09-06 11:29:40 +02:00
Alexander Senier
3857196cdb Remove support for private types 
Ref. Componolit/RecordFlux#1156
 2022-09-06 11:29:40 +02:00
Tobias Reiher
e98022b352 Add changelog 
Ref. #64
v0.11.0 		2022-06-10 09:37:29 +02:00
Alexander Senier
236319cdd4 Increase target coverage 2022-06-08 21:43:44 +02:00
Alexander Senier
54dcd4bd99 Implement case expression 2022-06-08 21:43:44 +02:00
Tobias Reiher
4c65b5c52d Add message field assignment statement 
Ref. Componolit/RecordFlux#1067
 2022-06-08 14:33:20 +02:00
Tobias Reiher
d583bf318d Pin alr version in tests workflow 2022-06-07 16:19:53 +02:00
Tobias Reiher
c3334425e7 Fix alr options 
Ref. #60
 2022-06-07 16:19:53 +02:00
Tobias Reiher
d01ed5f308 Update black and switch to pyproject-flake8 2022-03-30 11:15:05 +02:00