| Fri, 17 Dec 2010 09:56:04 +0100 | blanchet | trap one more Z3 error | changeset | files |
| Fri, 17 Dec 2010 15:30:00 +0100 | boehmes | fixed the command-line syntax for setting Yices' random seed | changeset | files |
| Fri, 17 Dec 2010 15:07:32 +0100 | boehmes | merged | changeset | files |
| Fri, 17 Dec 2010 14:59:06 +0100 | boehmes | updated SMT certificates | changeset | files |
| Fri, 17 Dec 2010 14:36:33 +0100 | boehmes | fixed lambda-lifting: shift indices of bound variables correctly (after locking the required bound variables) and apply bound variables to the new function symbol in the right order; | changeset | files |
| Fri, 17 Dec 2010 12:14:18 +0100 | bulwahn | adding exhaustive tester instances for numeric types: code_numeral, nat, rat and real | changeset | files |