| Fri, 29 Oct 2010 16:04:35 +0200 | haftmann | added user aliasses (still unclear how to specify names with whitespace contained) | changeset | files |
| Fri, 29 Oct 2010 14:06:10 +0200 | haftmann | merged | changeset | files |
| Fri, 29 Oct 2010 14:03:02 +0200 | haftmann | tuned structure of theory | changeset | files |
| Fri, 29 Oct 2010 13:49:49 +0200 | haftmann | remove term_of equations for Heap type explicitly | changeset | files |
| Fri, 29 Oct 2010 12:49:05 +0200 | blanchet | no need for setting up the kodkodi environment since Kodkodi 1.2.9 | changeset | files |
| Fri, 29 Oct 2010 12:49:05 +0200 | blanchet | fixed order of quantifier instantiation in new Skolemizer | changeset | files |
| Fri, 29 Oct 2010 12:49:05 +0200 | blanchet | restructure Skolemization code slightly | changeset | files |
| Fri, 29 Oct 2010 12:49:05 +0200 | blanchet | ensure that MESON correctly preserves the name of variables (needed by the new Skolemizer) | changeset | files |