| Fri, 02 May 2014 07:54:23 +0200 | nipkow | new documentation: How to Prove it | changeset | files |
| Thu, 01 May 2014 23:04:07 +0200 | boehmes | disable bad Z3 proof | changeset | files |
| Thu, 01 May 2014 22:57:38 +0200 | boehmes | use SMT2 for Boogie examples | changeset | files |
| Thu, 01 May 2014 22:57:36 +0200 | boehmes | less verbose SAT tactic | changeset | files |
| Thu, 01 May 2014 22:57:34 +0200 | boehmes | use internal proof-producing SAT solver for more efficient SMT proof replay | changeset | files |
| Thu, 01 May 2014 22:56:59 +0200 | boehmes | added internal proof-producing SAT solver | changeset | files |
| Thu, 01 May 2014 22:41:03 +0200 | wenzelm | tuned output; | changeset | files |
| Thu, 01 May 2014 10:20:20 +0200 | haftmann | separate ML module | changeset | files |