perf: better cache sharing in `isDefEq`#8294

Closed

JovanGerb wants to merge 25 commits intoleanprover:masterfrom

JovanGerb:Jovan-defEq-cache

Commits on May 13, 2025

Commits on May 14, 2025

move `Term.addTermInfo id` one line up in `withRWRulesSeq`
JovanGerb
committed
Revert "move `Term.addTermInfo id` one line up in `withRWRulesSeq`"
JovanGerb
committed
fix: oh, `Meta.SavedState.restore` doesn't restore the cache, so I have to do it.
JovanGerb
committed

Commits on May 15, 2025

change how to `modifyDefEqTransientCache`, and add missing `checkpointDefEq`
JovanGerb
committed

Commits on Jun 2, 2025

perf: instead of resetting the transient cache to be empty, reset it to the previous value
JovanGerb
committed

Commits on Jun 4, 2025

Commits on Jun 7, 2025