Mon, 15 Nov 2010 18:56:30 +0100 | blanchet | turn on Sledgehammer verbosity so we can track down crashes | changeset | files |
Mon, 15 Nov 2010 18:56:29 +0100 | blanchet | pick up SMT solver crashes and report them to the user/Mirabelle if desired | changeset | files |