| Sun, 25 Oct 2009 08:57:36 +0100 | chaieb | A theory of polynomials based on lists | changeset | files |
| Sun, 25 Oct 2009 08:57:35 +0100 | chaieb | Add a quantifier elimination for parametric linear arithmetic over ordered fields (parameters are multivariate polynomials) | changeset | files |
| Sun, 25 Oct 2009 00:10:25 +0200 | wenzelm | merged | changeset | files |
| Sat, 24 Oct 2009 20:27:26 +0200 | bulwahn | further changes due to the previous merge in the predicate compiler | changeset | files |
| Sat, 24 Oct 2009 23:57:42 +0200 | wenzelm | merge -- imported from bulwahn d759e2728188; | changeset | files |
| Sat, 24 Oct 2009 16:55:43 +0200 | bulwahn | removed tuple functions from the predicate compiler | changeset | files |