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 |