| Mon, 21 Feb 2011 10:29:13 +0100 | blanchet | don't distinguish between "fixes" and other free variables -- this confuses users | changeset | files |
| 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 |