4 Commits

Author	SHA1	Message	Date
Oliver Schneider	52599adf27	Miri core has moved to rustc::mir::interpret	2017-10-06 17:13:59 +02:00
Ralf Jung	1326aed02c	rustfmt ... Except for error.rs, the result there looks rather ugly	2017-08-10 08:48:41 -07:00
Oliver Schneider	29a3c4d28c	Produce backtraces for miri internals	2017-08-02 16:59:01 +02:00
Oliver Schneider	f16b9e280b	Move all intrinsics out of interpret and fail CTFE on intrinsic calls	2017-08-01 09:56:21 +02:00