| Sun, 19 Dec 2010 17:55:56 +0100 | boehmes | only linear occurrences of multiplication are treated as built-in (SMT solvers only support linear arithmetic in general); | changeset | files |
| Sun, 19 Dec 2010 13:25:18 +0100 | blanchet | escape backticks in altstrings | changeset | files |
| Sun, 19 Dec 2010 11:48:42 +0100 | blanchet | added a timestamp to Nitpick in verbose mode for debugging purposes; | changeset | files |
| Sun, 19 Dec 2010 00:13:25 +0100 | blanchet | reduce the minimizer slack and add verbose information | changeset | files |
| Sat, 18 Dec 2010 23:31:22 +0100 | blanchet | two layers of timeouts seem to be less reliable than a single layer | changeset | files |
| Sat, 18 Dec 2010 22:15:39 +0100 | blanchet | move relevance filter into hard timeout | changeset | files |
| Sat, 18 Dec 2010 21:24:34 +0100 | blanchet | handle timeouts in Mirabelle more gracefully | changeset | files |