Updated CHANGELOG

Src-commit: 515422923da89cd2b6f394b89e7022e7d0f53c84

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