5 commits

Author	SHA1	Message	Date
Scott Olson	4867051c6f	readme: Add build and run instructions.	2016-04-13 07:32:32 -06:00
Scott Olson	6be14eab15	Handle missing allocations in Memory::dump.	2016-04-07 03:07:57 -06:00
Scott Olson	f145017319	Add support for pointers.	2016-03-13 14:36:25 -06:00
Scott Olson	3f96b3a122	Use i64 instead of i32 in tests. ... Miri's only integer representation right now is 64-bit.	2016-03-12 22:39:12 -06:00
Scott Olson	11d4bf9b95	Split tests into multiple files.	2016-03-12 21:32:24 -06:00