perf: Only process changed obligations in ObligationForest#69218

Closed

Marwes wants to merge 25 commits intorust-lang:masterfrom

Marwes:fulfill_next

Commits on Oct 26, 2020

perf: Avoid allocating a new Vec on each stall
Markus Westerlind
committed
perf: Only process changed obligations in ObligationForest
Markus Westerlind
committed
perf: Avoid logging unifications that ObligationForest do not watch
Markus Westerlind
committed
refactor: Prefer copy_from_slice instead of explicit loop
Markus Westerlind
committed
Optimize ModifiedSet for faster snapshot/rollback
Markus Westerlind
committed
refactor: Make UnifyLog have lower overhead snapshots
Markus Westerlind
committed
perf: No need to track modified variables in a bitset
Markus Westerlind
committed
Start reading where ModifiedSet currently is
Markus Westerlind
committed
Rebase on top of undo_log unification
Markus Westerlind
committed
Clear the modified set once no snapshots exist
Markus Westerlind
committed
Document the additions
Markus Westerlind
committed
refactor: Simplify obligation_forest
Markus Westerlind
committed
perf: No need to resolve variables in fulfillment
Markus Westerlind
committed
Document obligation forest changes
Markus Westerlind
committed
Restore clearing of stalled_on before process_obligation
Markus Westerlind
committed
fix: Avoid dropping and re-registering offsets in the obligation forest

Marwes
authored and
Markus Westerlind
committed
Ensure that predicates that change are marked as done

Marwes
authored and
Markus Westerlind
committed
Restore alternative predicates for obligation forest

Marwes
authored and
Markus Westerlind
committed
Fix rebase
Markus Westerlind
committed
test
Markus Westerlind
committed
a
Markus Westerlind
committed
a
Markus Westerlind
committed
a
Markus Westerlind
committed
Always use the simple obligation forest
Markus Westerlind
committed

Commits on Oct 27, 2020

Hack out unify log for perf
Markus Westerlind
committed