| Mon, 01 Jun 2015 18:59:21 +0200 |
haftmann |
separate class for division operator, with particular syntax added in more specific classes
|
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
|
| Wed, 24 Sep 2014 15:46:41 +0200 |
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
|
| Fri, 25 Apr 2014 22:13:17 +0200 |
blanchet |
use Z3 4.3.2 to fix most FIXMEs
|
file |
diff |
annotate
|
| Thu, 13 Mar 2014 16:17:14 +0100 |
blanchet |
updated SMT2 certificates
|
file |
diff |
annotate
|
| Thu, 13 Mar 2014 13:18:13 +0100 |
blanchet |
use 'smt2' in SMT examples as much as currently possible
|
file |
diff |
annotate
|
| Wed, 12 Feb 2014 08:37:28 +0100 |
blanchet |
updated certificates
|
file |
diff |
annotate
|
| Tue, 24 Sep 2013 16:21:04 +0200 |
blanchet |
updated certificates
|
file |
diff |
annotate
|
| Thu, 28 Mar 2013 23:44:43 +0100 |
boehmes |
re-generated SMT certificates
|
file |
diff |
annotate
|
| Tue, 01 Jan 2013 11:36:30 +0100 |
blanchet |
regenerate certificates -- and use oracle in a few cases where the Z3 proof parser can't deal with Z3 3.2 proofs
|
file |
diff |
annotate
|
| Thu, 01 Nov 2012 11:34:00 +0100 |
blanchet |
regenerated "SMT_Examples" certificates after soft-timeout change + removed a few needless oracles
|
file |
diff |
annotate
|
| Mon, 26 Mar 2012 11:01:04 +0200 |
blanchet |
reintroduced broken proofs and regenerated certificates
|
file |
diff |
annotate
|
| Tue, 03 Jan 2012 18:33:17 +0100 |
blanchet |
regenerate SMT example certificates, to reflect "set" type constructor
|
file |
diff |
annotate
|