Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | splitting exhaustive and full_exhaustive into separate type classes | changeset | files |
Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | removing duplicate code | changeset | files |
Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | revisiting mk_equation functions and refactoring them in exhaustive quickcheck | changeset | files |
Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | creating a general mk_equation_terms for the different compilations | changeset | files |
Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | adding an even faster compilation scheme | changeset | files |
Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | theory definitions for fast exhaustive quickcheck compilation | changeset | files |
Fri, 08 Apr 2011 16:31:14 +0200 | bulwahn | new compilation for exhaustive quickcheck | changeset | files |