| Mon, 20 Dec 2010 09:06:37 +0100 | boehmes | re-introduced support for nonlinear multiplication in Z3 (overriding the built-in linear multiplication of the SMT-LIB class of solvers) | changeset | files |
| Mon, 20 Dec 2010 08:45:27 +0100 | boehmes | derived SMT solver classes override inherited properties (properties of derived classes have a higher priority than properties of base classes) | changeset | files |
| Mon, 20 Dec 2010 08:17:23 +0100 | boehmes | perform monomorphization during normalization: schematic numerals might be monomorphized into built-in numerals and then numeral normalization is required | changeset | files |
| Mon, 20 Dec 2010 08:55:36 +0100 | haftmann | merge | changeset | files |
| Fri, 17 Dec 2010 22:00:54 +0100 | haftmann | more convenient order of type variables | changeset | files |
| Sun, 19 Dec 2010 18:38:50 -0800 | huffman | rename function cprod_map to prod_map | changeset | files |
| Sun, 19 Dec 2010 18:15:21 -0800 | huffman | switch to transparent ascription, to avoid warning messages | changeset | files |