| Sun, 01 Oct 2017 15:17:43 +0200 | blanchet | updated SMT certificates and added one test | file | diff | annotate |
| 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 |
| Thu, 18 Sep 2014 00:03:46 +0200 | blanchet | renamed SMT certificate files, following 'SMT2' -> 'SMT' renaming | file | diff | annotate | base |
| Tue, 23 Jul 2013 18:36:23 +0200 | boehmes | removed obsolete HOL-Boogie session; | file | diff | annotate |