6 Commits

Author	SHA1	Message	Date
Oliver Schneider	55fd060cd8	don't use #[miri_run] anymore, but execute the main function	2016-06-13 15:33:05 +02:00
Oliver Schneider	384623daa7	function pointers	2016-06-10 18:06:36 +02:00
Oliver Schneider	cc1ca73f57	jit interpretation of constants	2016-06-03 15:48:56 +02:00
Oliver Schneider	6ac64f19af	also step through promoteds, constants and statics	2016-06-02 17:05:17 +02:00
Oliver Schneider	5211178377	note that not all literal items are function pointers	2016-06-01 19:20:23 +02:00
Oliver Schneider	e73fa7733d	can't evaluate failed assertions yet	2016-06-01 18:50:20 +02:00