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
166 Commits 5 Branches 18 Tags
issue_41
Commit Graph

166 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Johannes Kliemann
953cf1a51e Update to current langkit master 
ref #41
 2023-01-03 17:57:22 +00:00
Johannes Kliemann
2e8da2db7b Move support to langkit/support 
ref #41
 2023-01-03 17:51:14 +00:00
Johannes Kliemann
3ee6ff53d6 Update NoBacktrack to Cut 
ref #41
 2023-01-03 17:08:07 +00:00
Johannes Kliemann
8ab8cf3d13 Update to last version with NoBacktrack 
ref #41
 2023-01-03 16:27:59 +00:00
Tobias Reiher
8d0088f95c Update python-style 2022-12-14 10:19:25 +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