From 5343911263ea10dc9d0fd308297314b4b42989d2 Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Mon, 4 Jul 2022 13:54:49 +0200
Subject: Mention smtlib2_module in README.md and CHANGELOG

---
 CHANGELOG | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'CHANGELOG')

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
 
-- 
cgit v1.2.3