108 commits

Author	SHA1	Message	Date
Simon Cruanes	c6072b6b2f	better printing in CCBench	2014-11-13 21:39:11 +01:00
Simon Cruanes	8d875994f5	slightly better printing in CCbench	2014-11-13 20:32:59 +01:00
Simon Cruanes	55e18bbb0f	use CCBench in benchs/benchs.ml to hierarchize benchmarks	2014-11-13 15:41:30 +01:00
Simon Cruanes	2606833518	add benchs/CCBench helper module (tree of benchmarks)	2014-11-13 15:41:10 +01:00
Simon Cruanes	0ad73a2cff	more bechmarks on lists	2014-11-13 13:06:34 +01:00
Simon Cruanes	aa86a5454b	new benchmark, benchs.ml; drop use of "bench" package	2014-11-13 11:44:59 +01:00
Simon Cruanes	f67a3e115e	fixed benchs/tests for 4.00	2014-09-30 17:12:02 +02:00
Simon Cruanes	3a5f71a9e7	move benchmarks to benchs/ so they are separate from tests; use compiled oasis setup	2014-09-17 22:58:56 +02:00