From cff42f0af5953b66760df293bfce5d0f37a8504c Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 7 Nov 2022 13:16:38 +0100
Subject: Update CHANGELOG

---
 CHANGELOG | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG b/CHANGELOG
index 47bc7c2b9..d925ccd2c 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -8,6 +8,10 @@ Yosys 0.22 .. Yosys 0.22-dev
     - Added option "-cross" to "miter" pass.
     - Added option "-nocheck" to "equiv_opt" pass.
 
+ * Formal Verification
+    - yosys-smtbmc: Added "--detect-loops" option for checking if states are
+      unique in temporal induction counter examples.
+
  * Verific support
     - Added support for reading Liberty files using Verific library.
       (Optinally enabled with ENABLE_VERIFIC_LIBERTY)
@@ -15,7 +19,7 @@ Yosys 0.22 .. Yosys 0.22-dev
       all cells from verific design.
 
  * Various
-    - MinGW build (Windows) plugin support
+    - MinGW build (Windows) plugin support.
     - Added YOSYS_ABORT_ON_LOG_ERROR environment variable for debugging.
       Setting it to 1 causes abort() to be called when Yosys terminates with an
       error message.
-- 
cgit v1.2.3