| Fri, 21 Dec 2012 11:05:44 +0100 | boehmes | updated SMT certificates | changeset | files |
| Fri, 21 Dec 2012 11:05:42 +0100 | boehmes | refined normalization of theorems before giving them to SMT solvers (due to recent changes in rewr_conv, the rewriting of natural-number constants might leave some of them untouched) | changeset | files |
| Thu, 20 Dec 2012 09:49:00 +0100 | noschinl | tuned "use build timeout": tuples cannot be concatenated | changeset | files |
| Wed, 19 Dec 2012 16:41:55 +0100 | krauss | use build timeout (wall clock time, default: 2h) | changeset | files |