| 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 |
| Fri, 29 Oct 2010 12:49:05 +0200 | blanchet | more work on new Skolemizer without Hilbert_Choice | changeset | files |
| Fri, 29 Oct 2010 12:49:05 +0200 | blanchet | fix cluster numbering in the absense of Hilbert_Choice (reverts acde1b606b0e, effectively reintroducing most of 0bfaaa81fc62) | changeset | files |