NEWS
changeset 37260 dde817e6dfb1
parent 37158 c96e119b7fe9
child 37264 8b931fb51cc6
equal deleted inserted replaced
37259:a66851c4c5f8 37260:dde817e6dfb1
   425   - Improved efficiency of "destroy_constrs" optimization.
   425   - Improved efficiency of "destroy_constrs" optimization.
   426   - Fixed soundness bugs related to "destroy_constrs" optimization and
   426   - Fixed soundness bugs related to "destroy_constrs" optimization and
   427     record getters.
   427     record getters.
   428   - Fixed soundness bug related to higher-order constructors
   428   - Fixed soundness bug related to higher-order constructors
   429   - Improved precision of set constructs.
   429   - Improved precision of set constructs.
       
   430   - Added "atoms" option.
   430   - Added cache to speed up repeated Kodkod invocations on the same
   431   - Added cache to speed up repeated Kodkod invocations on the same
   431     problems.
   432     problems.
   432   - Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and
   433   - Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and
   433     "SAT4JLight" to "MiniSat_JNI", "zChaff_JNI", "BerkMin_Alloy", and
   434     "SAT4JLight" to "MiniSat_JNI", "zChaff_JNI", "BerkMin_Alloy", and
   434     "SAT4J_Light".  INCOMPATIBILITY.
   435     "SAT4J_Light".  INCOMPATIBILITY.