| Tue, 03 Jun 2014 16:27:31 +0200 | blanchet | merge | changeset | files |
| Tue, 03 Jun 2014 16:22:59 +0200 | blanchet | updated SMT2 certificates | changeset | files |
| Tue, 03 Jun 2014 16:02:42 +0200 | blanchet | tune | changeset | files |
| Tue, 03 Jun 2014 16:02:41 +0200 | blanchet | disable hard-to-reconstruct Z3 feature | changeset | files |
| Tue, 03 Jun 2014 14:38:41 +0200 | blanchet | new Z3 4.3.2 component, based on more recent repository version, and whose Mac binary was built on Mac OS X 10.7 | changeset | files |
| Tue, 03 Jun 2014 16:22:01 +0200 | hoelzl | use 0 as integral-value for non-integrable functions, simplify a couple of rewrite rules | changeset | files |
| Tue, 03 Jun 2014 11:43:07 +0200 | blanchet | removed SMT weights -- their impact was very inconclusive anyway | changeset | files |
| Tue, 03 Jun 2014 10:35:51 +0200 | blanchet | make SMT code less dependent on Z3 proofs | changeset | files |