-
3841943d71
small changes to README because i hated it
master
imiel
2026-04-27 13:33:28 +00:00
-
f46c9b652b
formalise optimiser auditing with relation ledgers and shrunk semantic counterexamples
imiel
2026-04-27 13:17:12 +00:00
-
31596491f0
extend source and target calculi with observable tick effects + add invariant checks for relation preservation and target arity/shape
imiel
2026-04-27 12:51:47 +00:00
-
7f024737cf
split specialisation into an explicit pass module
imiel
2026-02-15 15:53:12 +00:00
-
5bf83f0933
reject unsupported worker-wrapper source shapes
imiel
2026-02-15 12:41:55 +00:00
-
ba72a797e5
classify invalid target IR before relation comparison
imiel
2026-02-15 09:18:27 +00:00
-
8fb7e8748e
thread optimisation obligations through rewrite passes
imiel
2026-02-14 13:34:18 +00:00
-
6164dcb7d9
add target IR validation for representation arity
imiel
2026-02-14 10:26:43 +00:00
-
42cde2128a
inital commit
imiel
2026-02-11 17:24:09 +00:00