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
b85edf6
add SetIterator and MapIterator sort categories
Dwight Guth
committed
a95efe5
refactor search to use global variable to store results of stepAll
Dwight Guth
committed
338d55f
split %iter into %setiter and %mapiter
Dwight Guth
committed
469ff8f
handle SetIterator and MapIterator SortCategory in several places
Dwight Guth
committed
ec1465f
handle setiter and mapiter struct types during pattern matching codegen
Dwight Guth
committed
a3d94fc
koreAllocAlwaysGC wrappers for %setiter and %mapiter
Dwight Guth
committed
dc824e0
when migrating regular blocks, write offset to base pointer into cells
Dwight Guth
committed
89a2cbd
track set and map iterator evacuations
Dwight Guth
committed
3c54ccc
evacuate map and set iterators in alwaysgc space
Dwight Guth
committed
89d32cb

Commits on Oct 19, 2021

add assertions about decision trees with iterators
Dwight Guth
committed
42267b2

Commits on Oct 20, 2021

Add another assertion
Dwight Guth
authored
b9a3649