afb57cadda
interpret: add allocation parameters to `AllocBytes` Necessary for a better implementation of [rust-lang/miri#4343](https://github.com/rust-lang/miri/pull/4343). Also included here is the code from that PR, adapted to this new interface for the sake of example and so that CI can run on them; the Miri changes can be reverted and merged separately, though. r? `@RalfJung` |
||
|---|---|---|
| .. | ||
| dummy_machine.rs | ||
| error.rs | ||
| eval_queries.rs | ||
| fn_queries.rs | ||
| machine.rs | ||
| mod.rs | ||
| valtrees.rs | ||