| Fri, 12 Nov 2010 17:44:03 +0100 | wenzelm | merged | changeset | files |
| Fri, 12 Nov 2010 15:56:11 +0100 | boehmes | preliminary support for newer versions of Z3 | changeset | files |
| Fri, 12 Nov 2010 15:56:10 +0100 | boehmes | turned SMT counterexamples into verbose messages (they had been swallowed before, following the state of smt_trace -- which is off by default), because they might be useful for the user | changeset | files |
| Fri, 12 Nov 2010 15:56:08 +0100 | boehmes | let the theory formally depend on the Boogie output | changeset | files |