| Mon, 21 Feb 2011 10:29:00 +0100 | blanchet | added a timeout around SMT preprocessing (notably monomorphization) | changeset | files |
| Mon, 21 Feb 2011 10:03:48 +0100 | blanchet | comments to find fudge factors easily | changeset | files |
| Mon, 21 Feb 2011 09:19:44 +0100 | boehmes | added test cases with quantifier occurring in first-order term positions | changeset | files |
| Mon, 21 Feb 2011 09:14:48 +0100 | boehmes | wrap occurrences of quantifiers in first-order terms (i.e., outside first-order formulas) in If-expressions | changeset | files |
| Sat, 19 Feb 2011 08:47:46 +0100 | haftmann | dropped redundancy | changeset | files |
| Sat, 19 Feb 2011 08:39:05 +0100 | haftmann | merged | changeset | files |