Pierre-Marie de Rodat 6e88d6ec25 Lkt: revamp the module system

2026-01-20 16:03:43 +00:00

..

.gnatdebug

T102-023: don't automatically log properties on STDOUT

2020-01-03 15:51:43 +01:00

main.adb

T102-023: don't automatically log properties on STDOUT

2020-01-03 15:51:43 +01:00

test.lkt

Lkt: revamp the module system

2026-01-20 16:03:43 +00:00

test.out

Fix properties tracing for the Ref_Categories type

2022-07-07 12:21:22 +00:00

test.yaml

Introduce the lkt_build_and_run test driver

2024-10-15 14:13:10 +00:00