3 Commits

Author	SHA1	Message	Date
Ralf Jung	b174b786b6	refactor casting code to more clearly handle pointers	2017-07-21 20:02:48 -07:00
Ralf Jung	f960f4c537	fix casting integers to pointers	2017-07-21 20:02:48 -07:00
Oliver Schneider	4cfa7c5d12	Prep miri repository for rustc merger	2017-07-21 11:30:56 +02:00