4 Commits

Author	SHA1	Message	Date
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
Oliver Schneider	4a4640a331	Move more non-CTFE operations to the Machine	2017-08-01 09:56:21 +02:00