Skip to content

Fix(Processes): Make subterm hoisting deterministic across processes - #422

Open
wjrforcyber wants to merge 2 commits into
egraphs-good:mainfrom
wjrforcyber:fix/deterministic-subterm-hoisting
Open

Fix(Processes): Make subterm hoisting deterministic across processes#422
wjrforcyber wants to merge 2 commits into
egraphs-good:mainfrom
wjrforcyber:fix/deterministic-subterm-hoisting

[pre-commit.ci] auto fixes from pre-commit.com hooks

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

Annotations

3 warnings
benchmark (ubuntu-latest)
succeeded Sep 3, 2026 in 13m 7s