ACP version 0.74 (CoCo 2024)
============================
* Certification output for the commutativity criteria are revised for the compatiblity with CeTA 3.2.

ACP version 0.73 (CoCo 2024)
============================
* UNR proving methods are extended.
* Certification output added for a commutativity criterion. 

ACP version 0.72 (CoCo 2023-fullrun)
============================
* Certification output is fixed and revised.

ACP version 0.71 (CoCo 2023)
============================
* Certification output is added for some commutativity criteria.
* Capability of UNR (dis)proving is added.
* A bug in weight-decreasing joinability is fixed.
* A bug in non-commutativity check is fixed.
* The option to use decision procedure for shallow TRSs has changed.

ACP version 0.70 (CoCo 2019)
============================
* The problem that some --enable-* options did not work correctly is fixed.
* A bug in checking strongly-weight-preserving criterion is fixed.
* Capability of (dis)proving commutation is added.
* A decision procedure of UNC for shallow TRSs is added.
* A confluence proving based on ordered rewriting is added.
* Capability of proving confluence of CTRSs is added.

ACP version 0.62 (2018-5-9)
============================

* Extended with modular proof approaches for UNC.

ACP version 0.61 (2018-4-24)
============================

* New UNC criteria by conditional linearization are added.
* Capability of confluence of CTRSs is added.

ACP version 0.60 (2018-1-21)
============================

* Capability of UNC (dis)proving is added.

ACP version 0.51 (2015-7-23)
============================

* Certification output is added for few criteria. 
* http://www.nue.ie.niigata-u.ac.jp/toyama/tools/acp/index.html

ACP version 0.50 (2015-7-2)
============================

* Confluence criterion for quasi-linear term rewriting systems 
  and strongly quasi-linear term rewriting systems are added.

ACP version 0.41 (2014-7-1)
ACP version 0.40 (2013-6-10)
============================

* Following crieria and methods are added
 - Strongly weight-preserving/depth-preserving root-E-closed TRSs (Gomi&Oyamaguchi&Ohta,1998) 
 - Weakly-non-overlapping non-collapsing shallow TRSs (Sakai&Ogawa,2010) 
 - Quasi-left-linear and parallel-closed TRSs (Suzuki&Aoto&Toyama,2013)
 - Disproving by direct approximations using tcap/root 
 - Disproving by tree-automata (growing) approximation (Jacquemard,1996)-(Durand&Middeldorp,1997)
 - Disproving by interpretation and ordering (Aoto,to appear in 2013) 

* http://www.nue.ie.niigata-u.ac.jp/toyama/tools/acp/index-v041.html

ACP version 0.31 (2012-5-23)
ACP version 0.30 (2012-5-16)
============================

* Reduction-preserving completion (Aoto&Toyama,2012) is added.

* http://www.nue.ie.niigata-u.ac.jp/toyama/tools/acp/index-v031.html

ACP version 0.20 (2010-4-10)
============================

* http://www.nue.ie.niigata-u.ac.jp/toyama/tools/acp/index-v020.html

ACP version 0.11a (2009-4-13)
ACP version 0.10 (2009-2-6)
============================

* http://www.nue.ie.niigata-u.ac.jp/toyama/tools/acp/index-v011a.html
