aboutsummaryrefslogtreecommitdiffstats
path: root/CHANGELOG
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2022-11-07 13:16:38 +0100
committerMiodrag Milanovic <mmicko@gmail.com>2022-11-07 13:16:38 +0100
commitcff42f0af5953b66760df293bfce5d0f37a8504c (patch)
tree1d0db41e2d3269bdfd54d9efb15544b0f4562ef1 /CHANGELOG
parent96df99dafa5a175200036015030c3427758b872c (diff)
downloadyosys-cff42f0af5953b66760df293bfce5d0f37a8504c.tar.gz
yosys-cff42f0af5953b66760df293bfce5d0f37a8504c.tar.bz2
yosys-cff42f0af5953b66760df293bfce5d0f37a8504c.zip
Update CHANGELOG
Diffstat (limited to 'CHANGELOG')
-rw-r--r--CHANGELOG6
1 files changed, 5 insertions, 1 deletions
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.