| Wed, 03 Nov 2010 15:03:16 -0700 | huffman | simplify some proofs | changeset | files |
| Mon, 08 Nov 2010 13:53:18 +0100 | blanchet | compile -- 7550b2cba1cb broke the build | changeset | files |
| Mon, 08 Nov 2010 13:25:00 +0100 | blanchet | merge | changeset | files |
| Mon, 08 Nov 2010 09:10:44 +0100 | blanchet | recognize Vampire error | changeset | files |
| Mon, 08 Nov 2010 12:13:51 +0100 | boehmes | return the process return code along with the process outputs | changeset | files |
| Mon, 08 Nov 2010 12:13:44 +0100 | boehmes | better modularization: moved SMT configuration options and diagnostics as well as SMT failure and exception into separate structures (both of which are loaded first and consequently are available to other SMT structures) | changeset | files |
| Mon, 08 Nov 2010 11:49:28 +0100 | haftmann | merged | changeset | files |