Skip to content

Make Quanta optional with a standard clock fallback - #368

Merged
mwillsey merged 2 commits into
egraphs-good:mainfrom
saulshanabrook:codex/optional-quanta
Sep 28, 2026
Merged

mwillsey merged 2 commits into
egraphs-good:mainfrom
saulshanabrook:codex/optional-quanta

Shorten clock selection documentation

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

Annotations

1 warning and 1 notice
nits
succeeded Sep 23, 2026 in 25s