Skip to content

Reimplement the trace elaborator in TypeScript - #41

Open
VojtechStep wants to merge 10 commits into
LPCIC:masterfrom
VojtechStep:builtin-trace-elaborator
Open

Reimplement the trace elaborator in TypeScript#41
VojtechStep wants to merge 10 commits into
LPCIC:masterfrom
VojtechStep:builtin-trace-elaborator

Port remaining sanity checks from the ocaml elaborator

b380ef4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build (24.x)
succeeded Jul 26, 2026 in 26s