| Mon, 19 Jun 2023 22:28:09 +0200 |
Mathias Fleury |
early inclusion of cvc5 proof reconstruction; slightly reorganize smt/z3_reals;
|
file |
diff |
annotate
|
| 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
|
| 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
|