Commit Graph

3 Commits

Author SHA1 Message Date
Arkitu
b6f6148333 move tp4 tests 2026-01-13 23:28:06 +01:00
Arkitu
0c91a805e4 reorganize ocaml code 2026-01-13 23:23:08 +01:00
Arkitu
eef0427ee7 full tp4 + start of dm4 2025-11-07 11:51:11 +01:00