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