Fri, 11 Mar 2022 09:23:05 +0100 | desharna | updated SMT certificates | file | diff | annotate |
Fri, 05 Mar 2021 20:52:08 +0100 | wenzelm | more direct unlimited smt_timeout; | file | diff | annotate |
Fri, 05 Mar 2021 13:48:23 +0100 | wenzelm | rebuild SMT certificates from scratch; | file | diff | annotate |
Wed, 30 Sep 2020 23:37:07 +0200 | wenzelm | updated certificates to make it work again after recent changes to smt/z3 setup; | 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 |
Mon, 24 Nov 2014 12:35:13 +0100 | blanchet | updated SMT certificates | 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 |