Use a DFS to compare CTFE snapshots - #66946

Closed

ecstatic-morse wants to merge 10 commits into

rust-lang:masterfrom

ecstatic-morse:better-infinite-loop

Commits on Dec 9, 2019

Add `erase_alloc_id` method to various Miri primitives
ecstatic-morse
committed
6faae4d
Derive `Hash` and `Eq` for some Miri primitives
ecstatic-morse
committed
f0148a5
Add DFS iterator for `Memory`
ecstatic-morse
committed
840e323
Remove unused `Clone` impl for `Memory`
ecstatic-morse
committed
fa5ff3a
Reimplement CTFE snapshot comparison using a DFS
ecstatic-morse
committed
37844e5
Rename `is_empty` to `has_been_invoked`
ecstatic-morse
committed
26b9146
Move `CtfeMemory` alias next to `CompileTimeInterpreter`
ecstatic-morse
committed
345a8d5
Fix typo

ecstatic-morse
and
oli-obk
committed
e017f57
Hash discriminant of `LocalValue`
ecstatic-morse
committed
afb4faa
Ensure promotion does not prevent generation of new `AllocId`s
ecstatic-morse
committed
ba22627