equal
deleted
inserted
replaced
423 - Added support for term postprocessors. |
423 - Added support for term postprocessors. |
424 - Optimized "Multiset.multiset" and "FinFun.finfun". |
424 - Optimized "Multiset.multiset" and "FinFun.finfun". |
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 - Fixed soundness bug when "full_descrs" is enabled. |
429 - Improved precision of set constructs. |
430 - Improved precision of set constructs. |
430 - Added "atoms" option. |
431 - Added "atoms" option. |
431 - Added cache to speed up repeated Kodkod invocations on the same |
432 - Added cache to speed up repeated Kodkod invocations on the same |
432 problems. |
433 problems. |
433 - Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and |
434 - Renamed "MiniSatJNI", "zChaffJNI", "BerkMinAlloy", and |