• Joined on 2026-05-03
Typed IR model for finding representation lowering failures across optimisation passes
Updated 2026-05-03 02:32:34 +00:00
Inspects OCaml heap values and lowers the reachable object graph to graphviz DOT
Updated 2026-05-03 02:32:34 +00:00
Restricted OCaml compiler comparing SSA and CPS lowering pipelines
Updated 2026-05-03 02:26:14 +00:00