| Mon, 31 May 2010 18:51:06 +0200 | blanchet | obsolete FIXME | changeset | files |
| Mon, 31 May 2010 18:49:32 +0200 | blanchet | move SAT solver warning from every invocation of SAT solver to the tool, Refute, that uses it; | changeset | files |
| Mon, 31 May 2010 18:00:28 +0200 | blanchet | don't include any axioms for "TYPE" in Nitpick | changeset | files |
| Wed, 02 Jun 2010 11:36:09 +0200 | haftmann | dropped obsolete script | changeset | files |
| Wed, 02 Jun 2010 11:09:26 +0200 | wenzelm | normalize and postprocess proof body in a separate future, taking care of platforms without multithreading (greately improves parallelization in general without the overhead of promised proofs, cf. usedir -q 0); | changeset | files |
| Wed, 02 Jun 2010 08:01:45 +0200 | haftmann | merged | changeset | files |
| Tue, 01 Jun 2010 17:25:00 +0200 | haftmann | avoid store flag in add_* operations | changeset | files |