3 Commits

Author	SHA1	Message	Date
Oliver Schneider	fcf495821e	Get rid of the integer allocation	2017-06-20 14:28:18 +02:00
Oliver Schneider	38748fa615	refactor away IntegerPtr	2016-09-22 15:47:16 +02:00
Oliver Schneider	55fd060cd8	don't use #[miri_run] anymore, but execute the main function	2016-06-13 15:33:05 +02:00