3 Commits

Author	SHA1	Message	Date
Ralf Jung	d2a9235c63	update for rustc changes: treat new MIR commands as NOP	2017-07-25 10:15:00 +02:00
Oliver Schneider	4a34a1b50e	Pass HasDataLayout instead of the data layout itself	2017-07-24 09:56:02 +02:00
Oliver Schneider	4cfa7c5d12	Prep miri repository for rustc merger	2017-07-21 11:30:56 +02:00