Sun, 01 Aug 2010 16:40:48 +0200 | blanchet | document new Nitpick options | changeset | files |
Sun, 01 Aug 2010 16:35:25 +0200 | blanchet | tweak datatype sym break code | changeset | files |
Sun, 01 Aug 2010 15:51:25 +0200 | blanchet | added manual symmetry breaking for datatypes | changeset | files |
Sat, 31 Jul 2010 22:02:54 +0200 | blanchet | change the order of the SAT solvers, from fastest to slowest | changeset | files |
Sat, 31 Jul 2010 16:39:32 +0200 | blanchet | started implementation of custom sym break | changeset | files |
Sat, 31 Jul 2010 12:29:56 +0200 | blanchet | clarify Nitpick's output in case of a potential counterexample | changeset | files |