From 3dbdb0058ab7e539584d51bb2cfcf7fe10eea2fd Mon Sep 17 00:00:00 2001 From: "Jose F. Morales" Date: Mon, 7 Mar 2022 02:20:07 +0100 Subject: [PATCH] Updated CHANGELOG Src-commit: 515422923da89cd2b6f394b89e7022e7d0f53c84 --- CHANGELOG | 59 ++++++++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 58 insertions(+), 1 deletion(-) diff --git a/CHANGELOG b/CHANGELOG index 42ff5b4..2859b30 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,7 +1,7 @@ [This file was autogenerated by LPdoc, please do not edit.] -This documentation corresponds to version 1.4 (2020/11/18, 6:18:7 CET). +This documentation corresponds to version 1.5 (2022/3/2, 20:34:30 CET). CiaoPP ****** @@ -12,6 +12,63 @@ CHANGELOG_CIAOPP Version/Change Log ================== +Version 1.5 (2022/3/2, 20:34:30 CET) + * ADDED: CiaoPP is included now by default with the `devenv' + bundle. + + * ADDED: Output options in the `output/2' predicate. + + * ADDED: More examples (most of them for verifly). + + * ADDED: Documentation for debugging analyses. + + * ADDED: `ciaoppcl' can start as an active module (flycheck). + + * IMPROVED: Better automatic selection of analysis domains + (covering better the properties to be checked; using mode + domains before type domains, etc.); `dom_sel' flag to decide + whether to automatically select domains for verification. + + * IMPROVED: Refactoring and improving `ctchecks' (compile-time + assertion checking) code: modular ctchecking working again + (i.e., after intermodular fixpoint); report assertions per + module; better messages; many bug fixes. + + * IMPROVED: Reducing boilerplate code in the implementation of + analysis domains using the new `aidomain' package. + + * IMPROVED: Simplified menu, unified menu for analysis and + ctchecks. + + * IMPROVED: Improved precision of (nf,det) analysis domains. + Adding (experimental) new `nfdet' combined analysis domain. + + * CHANGED: Change default setting for entry point selection + from assertions (exported calls by default). + + * CHANGED: Disabled output for `ciaoppcl -V'. + + * CHANGED: Assertion simplification (eliminating statically + proven properties from run-time checks) now enabled by + default during assertion checking. + + * CHANGED: `trust pred' assertions expanded to `check calls', + `trust success' and `trust comp' assertions. + + * CHANGED: Abort `auto_interface' action early if there is a + compilation error. + + * CHANGED: `pp_info' flag (printing analysis infor at literal + level) moved to the naive menu. + + * FIXED: Many bug fixes and performance improvements: + eliminated some dangling choicepoints; avoid printing some + calls assertions twice; wrong use of `denorm_goal_prop/3' + changed to `prop_unapply/3'; missing clause to + `abs_exec_cond:type_of/4' to handle `deftypes' domain. + + * FIXED: Bug in treatment of dynamic predicates. + Version 1.4 (2020/11/18, 6:18:7 CET) * General changes and new features: * LLVM-based frontend improved and moved to its own bundle