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

Conversation

@saulshanabrook

Copy link
Copy Markdown
Member

Egg switched a bit ago to use quanta to time things, to make each timing measurement faster, but as a consequence it can take up to 200ms to calibrate on the first timing measurement. This means on my system, a modern macbook, even small egg files take at least that long to run.

This PR enables downstream users to disable quanta and use the builtin timing to avoid this initialization time, but keeps quanta as the default

@mwillsey
mwillsey merged commit 73975c9 into egraphs-good:main Sep 28, 2026
3 checks passed
@saulshanabrook
saulshanabrook deleted the codex/optional-quanta branch September 30, 2026 04:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants