4 Commits

Author	SHA1	Message	Date
Oliver Schneider	38748fa615	refactor away IntegerPtr	2016-09-22 15:47:16 +02:00
Oliver Schneider	594f1d79da	optimize all ZST allocations into one single allocation	2016-07-01 13:09:17 +02:00
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