equal
deleted
inserted
replaced
5 "nitpick_simp", "nitpick_const_psimp" to "nitpick_psimp", and |
5 "nitpick_simp", "nitpick_const_psimp" to "nitpick_psimp", and |
6 "nitpick_ind_intro" to "nitpick_intro" |
6 "nitpick_ind_intro" to "nitpick_intro" |
7 * Replaced "special_depth" and "skolemize_depth" options by "specialize" |
7 * Replaced "special_depth" and "skolemize_depth" options by "specialize" |
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 |
|
11 the formula to falsify |
10 * Fixed monotonicity check |
12 * Fixed monotonicity check |
11 |
13 |
12 Version 1.2.2 (16 Oct 2009) |
14 Version 1.2.2 (16 Oct 2009) |
13 |
15 |
14 * Added and implemented "star_linear_preds" option |
16 * Added and implemented "star_linear_preds" option |