3 commits

Author	SHA1	Message	Date
Fabian Zaiser	96004899be	Fix tests	2018-06-05 10:35:44 +02:00
Oliver Schneider	7d2d4e3202	Add InterpretInterner to StableHashingContext for AllocId serialization	2018-03-08 08:34:08 +01:00
Oliver Schneider	b33e4e784e	Fully use miri in trans	2018-03-08 08:34:05 +01:00