Clear immer transience stamps during GC migration#1220

anvacaru wants to merge 2 commits into

developruntimeverification/llvm-backend:developfrom

anvacaru/mem-corruption-fixruntimeverification/llvm-backend:anvacaru/mem-corruption-fixCopy head branch name to clipboard