26 Commits

Author SHA1 Message Date
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