From 9470ef9efebc1041c5cbbcb2c5fdf0e9125b6014 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 7 Nov 2022 12:13:19 +0100
Subject: [PATCH] Update CHANGELOG

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

diff --git a/CHANGELOG b/CHANGELOG
index bb55c0c59..47bc7c2b9 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -4,7 +4,18 @@ List of major changes and improvements between releases
 
 Yosys 0.22 .. Yosys 0.22-dev
 --------------------------
+ * New commands and options
+    - Added option "-cross" to "miter" pass.
+    - Added option "-nocheck" to "equiv_opt" pass.
+
+ * Verific support
+    - Added support for reading Liberty files using Verific library.
+      (Optinally enabled with ENABLE_VERIFIC_LIBERTY)
+    - Added option "-cells" to "verific -import" enabling import of
+      all cells from verific design.
+
  * Various
+    - 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.