store extra information in iterator needed to find base of allocation#190

Open

dwightguth wants to merge 10 commits into

arximboldi:masterfrom

runtimeverification:iter

Commits on Oct 15, 2021

store extra information in iterator needed to find base of allocation
Dwight Guth
committed

Commits on Oct 22, 2021

Merge branch 'master' into iter
Dwight Guth
committed

Commits on Nov 5, 2021

create a new memory policy: relocation_policy
Dwight Guth
committed

Commits on Nov 8, 2021

use boolean flag instead of typename for gc tracking
Dwight Guth
committed
expose relocation info as public
Dwight Guth
committed
unit test for relocation info for champ_iterator
Dwight Guth
committed
remove ignored qualifier
Dwight Guth
committed
Merge branch 'master' into iter
Dwight Guth
committed
fix warning about uninitialized variable
Dwight Guth
committed

Commits on Nov 12, 2021

Merge branch 'master' into iter
Dwight Guth
committed