Scott Olson a69ad6703f Store AllocIds directly in allocation map.

2016-04-09 19:31:53 -06:00

..

bin

Abort miri if the Rust code had compilation errors.

2016-03-21 02:54:20 -06:00

error.rs

Handle custom discriminant values and detect invalid discriminants.

2016-03-28 21:08:16 -06:00

interpreter.rs

Implement filling drop.

2016-04-07 05:56:07 -06:00

lib.rs

Implement filling drop.

2016-04-07 05:56:07 -06:00

memory.rs

Store AllocIds directly in allocation map.

2016-04-09 19:31:53 -06:00

primval.rs

Implement pointer primvals and comparison ops on them.

2016-03-18 23:03:46 -06:00