aboutsummaryrefslogtreecommitdiffstats
path: root/CHANGELOG
diff options
context:
space:
mode:
authorJannis Harder <me@jix.one>2022-07-04 13:54:49 +0200
committerJannis Harder <me@jix.one>2022-07-04 13:54:49 +0200
commit5343911263ea10dc9d0fd308297314b4b42989d2 (patch)
treeb655f824defb74bc62ab40ca57c5296eb06115b5 /CHANGELOG
parent59b96bb1f82b6cf83e004488267e5576dbcfad4b (diff)
downloadyosys-5343911263ea10dc9d0fd308297314b4b42989d2.tar.gz
yosys-5343911263ea10dc9d0fd308297314b4b42989d2.tar.bz2
yosys-5343911263ea10dc9d0fd308297314b4b42989d2.zip
Mention smtlib2_module in README.md and CHANGELOG
Diffstat (limited to 'CHANGELOG')
-rw-r--r--CHANGELOG7
1 files changed, 4 insertions, 3 deletions
diff --git a/CHANGELOG b/CHANGELOG
index 16c746957..97572c35d 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -4,9 +4,6 @@ List of major changes and improvements between releases
Yosys 0.18 .. Yosys 0.18-dev
--------------------------
- * Various
- - Added support for $pos cell in btor backend
-
* New commands and options
- Added option "-rom-only" to "memory_libmap" pass
- Added option "-smtcheck" to "hierarchy" pass
@@ -14,6 +11,10 @@ Yosys 0.18 .. Yosys 0.18-dev
- Added option "-suffix" to "rename" pass
- Added "gatemate_foldinv" pass
+ * Formal Verification
+ - Added support for $pos cell in btor backend
+ - Added the "smtlib2_module" and "smtlib2_comb_expr" attributes
+
* GateMate support
- Added LUT tree mapping