equal
deleted
inserted
replaced
8 and "skolemize" |
8 and "skolemize" |
9 * Renamed "coalesce_type_vars" to "merge_type_vars" |
9 * Renamed "coalesce_type_vars" to "merge_type_vars" |
10 * Optimized Kodkod encoding of datatypes whose constructors don't appear in |
10 * Optimized Kodkod encoding of datatypes whose constructors don't appear in |
11 the formula to falsify |
11 the formula to falsify |
12 * Added support for codatatype view of datatypes |
12 * Added support for codatatype view of datatypes |
|
13 * Fixed soundness bug related to sets of sets |
13 * Fixed monotonicity check |
14 * Fixed monotonicity check |
14 * Fixed error in display of uncurried constants |
15 * Fixed error in display of uncurried constants |
15 * Speeded up scope enumeration |
16 * Speeded up scope enumeration |
16 |
17 |
17 Version 1.2.2 (16 Oct 2009) |
18 Version 1.2.2 (16 Oct 2009) |