4 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	dc85b11421	stop producing executable files in the root folder during benchmarks...	2016-06-03 17:14:36 +02:00
Oliver Schneider	8e1fa8c13c	add more benchmarks	2016-05-30 14:05:50 +02:00
Oliver Schneider	3ec813e4e5	add benchmarks	2016-05-30 13:40:20 +02:00