| Tue, 19 Apr 2011 14:17:41 +0200 | berghofe | - renamed enum type class to spark_enum, to avoid confusion with | changeset | files |
| Tue, 19 Apr 2011 14:04:58 +0200 | blanchet | use "Spec_Rules" for finding axioms -- more reliable and cleaner | changeset | files |
| Tue, 19 Apr 2011 12:22:59 +0200 | blanchet | optimize trivial equalities early in Nitpick -- it shouldn't be the job of the peephole optimizer | changeset | files |
| Tue, 19 Apr 2011 12:21:57 +0200 | blanchet | remove a few Nitpick calls in examples -- another step toward making them run faster | changeset | files |
| Tue, 19 Apr 2011 11:56:11 +0200 | blanchet | check arity of bound variables to avoid generating too large Kodkod problems -- an issue that arose in the context of TPTP/CASC | changeset | files |
| Tue, 19 Apr 2011 23:57:28 +0200 | wenzelm | eliminated Codegen.mode in favour of explicit argument; | changeset | files |