stv0g/Criterion
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
680 commits 26 branches 19 tags 3.7 MiB
Commit graph

2 commits

Author SHA1 Message Date
Snaipe
4352878db6 Fixed incorrect float comparison on MinGW-GCC for theory samples 2015-09-28 20:06:18 +02:00
Snaipe
9549db4fac [Issue #60] Added regression tests for theories 2015-09-28 13:30:02 +02:00