| Tue, 26 Oct 2010 12:16:08 +0200 | haftmann | merged | changeset | files |
| Tue, 26 Oct 2010 12:15:55 +0200 | haftmann | dropped accidental doubled computation | changeset | files |
| Tue, 26 Oct 2010 11:51:09 +0200 | boehmes | optionally force the remote version of an SMT solver to be executed | changeset | files |
| Tue, 26 Oct 2010 11:49:36 +0200 | boehmes | tuned | changeset | files |
| Tue, 26 Oct 2010 11:49:23 +0200 | boehmes | added a mode to only filter assumptions used in a Z3 proof (in which no proof reconstruction is performed) | changeset | files |
| Tue, 26 Oct 2010 11:46:19 +0200 | boehmes | changed SMT configuration options; updated SMT certificates | changeset | files |
| Tue, 26 Oct 2010 11:45:12 +0200 | boehmes | joined setup of SMT solvers in one place; turned Z3-specific options into SMT options (renamed configuration options from z3_* to smt_*); more detailed SMT exception; improved SMT filter interface | changeset | files |