From 59b96bb1f82b6cf83e004488267e5576dbcfad4b Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 4 Jul 2022 11:09:06 +0200
Subject: Upadte documentation and changelog

---
 CHANGELOG | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'CHANGELOG')

diff --git a/CHANGELOG b/CHANGELOG
index e32d9d053..16c746957 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -4,6 +4,21 @@ 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
+    - Added option "-keepdc" to "memory_libmap" pass
+    - Added option "-suffix" to "rename" pass
+    - Added "gatemate_foldinv" pass
+
+ * GateMate support
+    - Added LUT tree mapping
+
+ * Verific support
+    - Added option "-pp" to "verific -import"
 
 Yosys 0.17 .. Yosys 0.18
 --------------------------
-- 
cgit v1.2.3