| 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 |
| Mon, 15 Nov 2010 18:04:04 +0100 | boehmes | merged | changeset | files |
| Mon, 15 Nov 2010 17:52:48 +0100 | boehmes | only replace unknowns of type nat with known integer numbers, don't alias unknown values in Z3's counterexamples with known integers | changeset | files |