| Thu, 19 May 2011 10:24:13 +0200 | blanchet | distinguish between a soft timeout (30 s by defalt) and a hard timeout (60 s), to let minimization-based provers (such as CVC3, Yices, and occasionally the other provers) do their job | changeset | files |
| Thu, 19 May 2011 10:24:13 +0200 | blanchet | reintroduce TFF workaround for limitations of actual TFF implementations (ToFoF, SNARK) | changeset | files |
| Thu, 19 May 2011 10:24:13 +0200 | blanchet | fixed empty proof detection | changeset | files |