ladder-typed data morphing compiler

Michael Sippel 692a34c257 main: when loading morphism base, remove . from path suffix variable		2025-05-14 10:19:48 +02:00
code-size-benchmark	replace x86.T with native.T	2025-03-20 16:28:16 +01:00
examples/01-uint-example	add example C program which generates (de)marshaling with ldmc	2025-05-10 15:00:54 +02:00
morphisms	morphisms: fix bitshift in lenpfx to msb-cont	2025-05-14 10:18:42 +02:00
platforms	exemplaric platform definitions	2025-03-31 10:29:57 +02:00
src	main: when loading morphism base, remove . from path suffix variable	2025-05-14 10:19:48 +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