15 Commits

Author SHA1 Message Date
Pierre-Marie de Rodat
6e88d6ec25 Lkt: revamp the module system 2026-01-20 16:03:43 +00:00
Pierre-Marie de Rodat
259a1317dc CompiledType.dsl_name: switch to Lkt notations
Also rename `dsl_*` properties, attributes, arguments, ... to `lkt_*`
for consistency.
2025-04-04 09:55:05 +00:00
Pierre-Marie de Rodat
eb36d66f4f Lkt: rename @export to @exported 2024-06-19 10:18:02 +00:00
Pierre-Marie de Rodat
d721c93c07 Lkt lowering: add support for the "singleton" attribute 2023-12-13 13:36:32 +00:00
Pierre-Marie de Rodat
0e69b5ffa6 Testsuite: update for new e3.testsuite semantics wrt. output refiners
TN: T804-039
2020-08-10 16:42:43 +02:00
Raphaël AMIARD
2495c037bc RA22-015: Use the new error printing mechanism 2020-06-18 16:46:56 +02:00
Pierre-Marie de Rodat
2b9b33d6a0 Remove __future__ imports and adjust stylechecks
TN: T511-017
2020-05-26 12:33:48 +02:00
Pierre-Marie de Rodat
dcffaba4a4 Add support for LKT lexers, transition tests
TN: RA22-015
2020-03-16 10:41:18 +01:00
Pierre-Marie de Rodat
383670d486 Extend support for LKT grammars, transition tests
TN: RA22-015
2020-02-27 13:43:20 +01:00
Pierre-Marie de Rodat
b91d31294b Allow bare nodes in interface of public properties
TN: R612-052
2018-06-13 18:04:13 +02:00
Pierre-Marie de Rodat
dec2603c9e Refactor Diagnostics/testcases to avoid code duplication in testcases
(no-tn-check)
2017-12-06 12:50:24 +01:00
Pierre-Marie de Rodat
153a3dc808 Improve the DSL name of array types
TN: Q920-012
2017-10-11 10:20:59 -04:00
Pierre-Marie de Rodat
8d341d3953 Testsuite: avoid using bare AST nodes in public properties
TN: Q920-012
2017-09-28 16:55:22 +02:00
Pierre-Marie de Rodat
470b756d80 Forbid arrays of bare AST nodes in the public API
TN: Q920-012
2017-09-27 11:46:07 +02:00
Pierre-Marie de Rodat
d9a45e51c1 Forbid arrays of arrays in the public API
TN: Q920-012
2017-09-26 17:12:38 +02:00