Thu, 13 Mar 2014 13:18:14 +0100 | blanchet | tuning | changeset | files |
Thu, 13 Mar 2014 13:18:14 +0100 | blanchet | thread through step IDs from Z3 to Sledgehammer | changeset | files |
Thu, 13 Mar 2014 13:18:14 +0100 | blanchet | adapted to ML structure renaming | changeset | files |
Thu, 13 Mar 2014 13:18:14 +0100 | blanchet | tuning | changeset | files |
Thu, 13 Mar 2014 13:18:14 +0100 | blanchet | avoid names that may clash with Z3's output (e.g. '') | changeset | files |
Thu, 13 Mar 2014 13:18:14 +0100 | blanchet | do less work in 'filter' mode | changeset | files |