2 Commits

Author	SHA1	Message	Date
Scott Olson	f9c1cfa889	Remove now-useless #[miri_run] attributes. ... Except for `ints.rs`, which is already handled by a pending pull request.	2016-06-17 22:52:30 -06:00
Oliver Schneider	384623daa7	function pointers	2016-06-10 18:06:36 +02:00