| Wed, 08 Apr 2015 19:05:57 +0200 | blanchet | updated certificates to latest Z3 (and took out one problem that no longer works) | file | diff | annotate |
| Mon, 24 Nov 2014 12:35:13 +0100 | blanchet | updated SMT certificates | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Thu, 18 Sep 2014 00:03:46 +0200 | blanchet | renamed SMT certificate files, following 'SMT2' -> 'SMT' renaming | file | diff | annotate |
| Thu, 28 Aug 2014 00:40:38 +0200 | blanchet | renamed new SMT module from 'SMT2' to 'SMT' | file | diff | annotate |
| Tue, 19 Aug 2014 09:36:37 +0200 | blanchet | avoid old 'smt' method in examples | file | diff | annotate |
| Sun, 27 Jul 2014 21:11:35 +0200 | blanchet | do not embed 'nat' into 'int's in 'smt2' method -- this is highly inefficient and decreases the Sledgehammer success rate significantly | file | diff | annotate |