| Tue, 19 Feb 2013 15:37:42 +0100 | blanchet | interpret "max_facts" argument in a slice-dependent fashion, instead of forcing the same number of facts to all slices | changeset | files |
| Tue, 19 Feb 2013 15:03:36 +0100 | kuncar | delete also predicates on relations when hiding an implementation of an abstract type | changeset | files |
| Tue, 19 Feb 2013 13:37:07 +0100 | blanchet | reintroduced crucial sorting accidentally lost in 962190eab40d | changeset | files |
| Tue, 19 Feb 2013 13:27:33 +0100 | blanchet | compile | changeset | files |
| Tue, 19 Feb 2013 13:21:49 +0100 | blanchet | provide two modes for MaSh driver: linearized or real visibility | changeset | files |
| Mon, 18 Feb 2013 18:34:55 +0100 | blanchet | implement (more) accurate computation of parents | changeset | files |