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

186 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Johannes Kliemann
0126771144 Build librflxlang as shared encapsulated object 
ref eng/recordflux/RecordFlux-parser#73
 2023-05-02 16:32:40 +00:00
Tobias Reiher
cc69bb7010 Remove unneeded environments from GitLab CI config 2023-03-30 18:22:28 +02:00
Tobias Reiher
0c89fcc25c Update devutils 2023-03-27 18:42:46 +02:00
Tobias Reiher
69bf2e9b75 Ensure that all CI checks must pass before merging 2023-03-14 17:55:05 +01:00
Tobias Reiher
ec4e2ac45a Fix automatic checkout of specified langkit revision 2023-03-14 10:09:53 +00:00
Tobias Reiher
a40d2443e5 Fix links in CHANGELOG 2023-03-13 10:49:40 +00:00
Johannes Kliemann
ecdfc1aae5 Update changelog 
ref eng/recordflux/RecordFlux-parser#41
 2023-03-10 10:28:02 +00:00
Johannes Kliemann
7aa8a9bc34 Update to latest working langkit commit 
ref eng/recordflux/RecordFlux-parser#41
 2023-03-07 16:40:43 +00:00
Johannes Kliemann
f053c95642 Fix coverage 
ref eng/recordflux/RecordFlux-parser#41
 2023-02-28 16:28:29 +00:00
Johannes Kliemann
efeca1e6bf Fix checkout 2023-02-23 17:45:55 +00:00
Johannes Kliemann
8ed10f61d0 Remove typing information from langkit 
ref eng/recordflux/RecordFlux-parser#41
 2023-02-23 17:45:51 +00:00
Johannes Kliemann
38c8b4de4d Update to current langkit master 
ref eng/recordflux/RecordFlux-parser#41
 2023-02-23 17:45:48 +00:00
Johannes Kliemann
5661fe9afe Move support to langkit/support 
ref eng/recordflux/RecordFlux-parser#41
 2023-02-23 17:45:36 +00:00
Johannes Kliemann
c24dfa1ceb Update NoBacktrack to Cut 
ref eng/recordflux/RecordFlux-parser#41
 2023-02-23 17:45:17 +00:00
Johannes Kliemann
7c19257fcf Update to last version with NoBacktrack 
ref eng/recordflux/RecordFlux-parser#41
 2023-02-23 17:45:01 +00:00
Tobias Reiher
e2a1146963 Add Code Owners 2023-01-30 14:30:38 +01:00
Tobias Reiher
1de3d208a0 Remove GitLab CI config 2023-01-30 14:07:13 +01:00
Tobias Reiher
8a9ed3de17 Check commit messages only in MR pipelines 2023-01-30 12:26:17 +01:00
Tobias Reiher
ad079e6c85 Update references to tickets 2023-01-19 11:20:30 +01:00
Tobias Reiher
0678c2e40e Add GitLab CI config 2023-01-19 11:11:59 +01:00
Tobias Reiher
ceb9c00d0d Update devutils 2023-01-09 11:10:55 +01:00
Tobias Reiher
6615f61c10 Set PYTHONPATH in Makefile 2023-01-06 14:01:28 +01:00
Tobias Reiher
e7aa7b57f3 Refactor make targets 2023-01-06 13:00:19 +01:00
Tobias Reiher
5ada853707 Adapt to renaming of python-style to RecordFlux-devutils 2023-01-06 13:00:19 +01:00
Tobias Reiher
8d0088f95c Update python-style 2022-12-14 10:19:25 +01:00