| Thu, 01 Mar 2012 10:12:58 +0100 | boehmes | fine-tune intended failure of smt method when the chosen SMT solver is not installed: restrict failures to true invocations of the SMT solver and don't fail for runs based on certificates | changeset | files |
| Thu, 01 Mar 2012 14:48:28 +0100 | wenzelm | tuned proofs; | changeset | files |
| Thu, 01 Mar 2012 14:42:05 +0100 | wenzelm | more tolerant cygpath invocation, allow empty CLASSPATH; | changeset | files |
| Thu, 01 Mar 2012 14:12:18 +0100 | wenzelm | explicitly revoke delay, to avoid spurious timer events after deactivation of related components; | changeset | files |