Mon, 03 Feb 2014 19:32:02 +0100 | blanchet | renamed 'smt' option 'smt_proofs' to avoid clash with 'smt' prover | changeset | files |
Mon, 03 Feb 2014 19:32:02 +0100 | blanchet | tuned behavior of 'smt' option | changeset | files |
Mon, 03 Feb 2014 19:32:02 +0100 | blanchet | keep all proof methods in data structure until the end, to enhance debugging output | changeset | files |