Skip to content

Performance (5/5): operator-indexed parking of assumes-incomplete rule-app bases#3838

Merged
Drodt merged 2 commits into
mainfrom
pr-parking
Jun 24, 2026
Merged

Performance (5/5): operator-indexed parking of assumes-incomplete rule-app bases#3838
Drodt merged 2 commits into
mainfrom
pr-parking

fix(rules): drop redundant order-fragile lenOfSeqSubEQ from automode

2077e9f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testRunAllInfProofs, ubuntu-latest, 21)
succeeded Jun 17, 2026 in 24m 44s