Hugo Guerrier
e03fff91ac
Resolved all violations reported by Flake8
2025-11-27 14:29:36 +01:00
Hugo Guerrier
47d779bc8e
Format all Python sources with Black
2025-11-27 14:29:36 +01:00
Laurent Thévenoux
8719c1fe95
Rename all KP detectors to match LKQL's Identifier syntax
...
So that we can import them easily.
2025-08-20 15:04:26 +00:00
Laurent Thévenoux
1d6880b21d
Let the devenv set the PYTHONPATH (either ancr or anod)
2025-08-20 13:24:55 +00:00
Hugo Guerrier
fe5674bed2
Add a pre-commit configuration to check sources formatting
...
Also remove systematic checking of Java sources when building.
2025-06-26 15:23:49 +02:00
Raphaël AMIARD
b813f60827
Fix formatoptions
2025-03-24 11:27:59 +01:00
Hugo Guerrier
429a1635a6
Use 'OrderedDict' to sort impacts final result
2025-02-10 12:11:07 +01:00
Hugo Guerrier
6e5fed461c
Sort GNAT releases list during 'kp.json' generation
2025-02-10 12:04:07 +01:00
Hugo Guerrier
9b7053f79b
minor: Remove redundant file opening
2025-02-10 12:01:48 +01:00
Laurent Thévenoux
db199a83bf
impacts kp.json generation: sort impact-db entries by ids
2025-02-10 10:43:30 +00:00
Laurent Thévenoux
1d456eb7e1
Add script to fetch impact-db impacts data
2025-01-16 14:11:46 +00:00
Raphaël AMIARD
d996613b33
Replace 'is' by ':' in pattern details
...
Also attach corresponding refactoring script
2024-04-22 15:40:52 +02:00
Raphaël AMIARD
434cb2e8cd
Allow binding pattern without value pattern
...
So now those are valid patterns:
a
(a, b)
...
Also attach the refactoring script that automatically transforms `a@*` into
`a`, and simplify every binding pattern that can be simplified.
2024-04-22 15:40:52 +02:00
Raphaël AMIARD
cb6d40a6f6
Change Or patterns' syntax
...
Use "|" as a delimiter instead of "or", to make it easier to parse, for
humans and for the parser.
Also attach the corresponding refactoring script.
2024-04-22 15:40:52 +02:00
Raphaël AMIARD
5314072ea5
Extend lkql.vim to format docstings correctly
2023-11-20 14:23:30 +00:00
Raphaël AMIARD
2f44f0f64a
V802-018: Add select .. through language feature
...
Change-Id: I753e5e0a75e615419dd56d5369ac5c75d5d651b4
2022-09-06 15:43:59 +00:00
Arnaud Charlet
2de7ee4d90
UB09-033 utils/distrib.py: removed, no longer used
...
Change-Id: I65e1dccc893c8506861b216819392daddbf851ef
2021-11-12 07:32:53 +00:00
Arnaud Charlet
75fbf830d6
Build lalcheck project
...
Change-Id: I6daecbb74b5af5a537901a1a8bc5c11704bee1fc
2021-10-05 16:49:13 +02:00
Raphaël AMIARD
85e5cd6e61
[SB05-065] lkql: block strings & docstrings
...
* Add block strings
* Add Declaration.doc property, to get the documentation of an LKQL
decl.
Change-Id: Id7264fda56056687b23bf0d1e8b3ea10d0e27c94
2021-04-23 17:03:41 +02:00
Raphaël AMIARD
bf92d2c46d
[SB05-065] lkql_checker: optimize eval rule
...
Change-Id: I2d1b14f08668f25e268f5fb0e05be4331c15da5a
2021-04-12 13:05:35 +02:00
Raphaël AMIARD
d8cfb75008
[SB05-065] lkql: Add import system
...
Change-Id: I01344abfa773c63852eeec487cef3c2285427417
2021-04-06 15:13:42 +02:00
Raphaël AMIARD
7e66f1f1e3
[SB05-065] utils: add a helper script to add tests for lkql_checker
...
Change-Id: I2010af8faff88cae0e94bd46b7bb20717357a28e
2021-03-18 14:36:00 +01:00
Raphaël AMIARD
952bf8c947
[SB05-065] parser: Use * rt. _ for wildcard
2021-01-25 12:55:56 +01:00
Pierre-Marie de Rodat
abb6c68ac3
Add infrastructure support to compute code coverage
...
TN: TB23-020
2020-11-26 09:37:21 +01:00
Pierre-Marie de Rodat
503b99b71a
utils/distrib.py: new distribution script
...
TN: TB23-020
2020-11-26 09:37:21 +01:00