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

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

..

extensions/src

Change the mechanism to provide external properties implementations

2020-01-14 12:48:07 +01:00

main.adb

properties/big_integer: rework testcase

2023-12-13 13:36:33 +00:00

main.py

Lkt: add handling for int-to-big-int conversions

2024-05-16 08:12:58 +00:00

main.txt

properties/big_integer: rework testcase

2023-12-13 13:36:33 +00:00

test.lkt

Lkt: revamp the module system

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

test.out

Lkt: add handling for int-to-big-int conversions

2024-05-16 08:12:58 +00:00

test.yaml

Introduce the lkt_build_and_run test driver

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