equal
deleted
inserted
replaced
15 getters |
15 getters |
16 * Fixed soundness bug related to higher-order constructors |
16 * Fixed soundness bug related to higher-order constructors |
17 * Added cache to speed up repeated Kodkod invocations on the same problems |
17 * Added cache to speed up repeated Kodkod invocations on the same problems |
18 * Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and "SAT4JLight" to |
18 * Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and "SAT4JLight" to |
19 "MiniSat_JNI", "zChaff_JNI", "BerkMin_Alloy", and "SAT4J_Light" |
19 "MiniSat_JNI", "zChaff_JNI", "BerkMin_Alloy", and "SAT4J_Light" |
|
20 * Removed "sym_break", "flatten_prop", "sharing_depth", and "uncurry" options |
20 |
21 |
21 Version 2009-1 |
22 Version 2009-1 |
22 |
23 |
23 * Moved into Isabelle/HOL "Main" |
24 * Moved into Isabelle/HOL "Main" |
24 * Renamed "nitpick_const_def" to "nitpick_def", "nitpick_const_simp" to |
25 * Renamed "nitpick_const_def" to "nitpick_def", "nitpick_const_simp" to |