diff options
author | Jannis Harder <me@jix.one> | 2022-07-04 13:54:49 +0200 |
---|---|---|
committer | Jannis Harder <me@jix.one> | 2022-07-04 13:54:49 +0200 |
commit | 5343911263ea10dc9d0fd308297314b4b42989d2 (patch) | |
tree | b655f824defb74bc62ab40ca57c5296eb06115b5 /CHANGELOG | |
parent | 59b96bb1f82b6cf83e004488267e5576dbcfad4b (diff) | |
download | yosys-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-- | CHANGELOG | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -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 |