ladder-typed data morphing compiler
Find a file
2025-05-29 13:01:23 +02:00
code-size-benchmark replace x86.T with native.T 2025-03-20 16:28:16 +01:00
examples/01-uint-example example: use -o option in makefile 2025-05-16 02:33:17 +02:00
morphisms length prefix morphism: generic calls to functions with C macro 2025-05-16 13:55:36 +02:00
platforms exemplaric platform definitions 2025-03-31 10:29:57 +02:00
src add MorphismInstance::Id 2025-05-29 13:01:23 +02:00
test update test.sh to new cli features 2025-05-10 16:25:36 +02:00
.gitignore gitignore 2025-03-15 18:49:39 +01:00
Cargo.toml improve integration 2025-05-09 03:33:51 +02:00
todo.md todo.md 2025-05-29 13:01:11 +02:00