| 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 |