Evacuate set and map iterators during garbage collection#441

Merged

dwightguth merged 12 commits into

Oct 20, 2021

Commits on Oct 18, 2021

update to runtimeverification/immer master branch containing iter fix
Dwight Guth
committed
add SetIterator and MapIterator sort categories
Dwight Guth
committed
refactor search to use global variable to store results of stepAll
Dwight Guth
committed
split %iter into %setiter and %mapiter
Dwight Guth
committed
handle SetIterator and MapIterator SortCategory in several places
Dwight Guth
committed
handle setiter and mapiter struct types during pattern matching codegen
Dwight Guth
committed
koreAllocAlwaysGC wrappers for %setiter and %mapiter
Dwight Guth
committed
when migrating regular blocks, write offset to base pointer into cells
Dwight Guth
committed
track set and map iterator evacuations
Dwight Guth
committed
evacuate map and set iterators in alwaysgc space
Dwight Guth
committed

Commits on Oct 19, 2021

add assertions about decision trees with iterators
Dwight Guth
committed

Commits on Oct 20, 2021

Add another assertion
Dwight Guth
authored