Skip to content

Fix performance regression in case of many inequalities - #3948

Merged
wadoon merged 11 commits into
mainfrom
bubel/fix-multcross-regression
Aug 13, 2026
Merged

Fix performance regression in case of many inequalities#3948
wadoon merged 11 commits into
mainfrom
bubel/fix-multcross-regression

Remove double-locking on cache in TermFactory (the cache is a concurr…

cd71026
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
integration-tests (testMt4w, ubuntu-latest, 21)
succeeded Aug 13, 2026 in 3m 42s