From a07b06d5e7b3f5cd9b9c8a1b1a8e7718172c8bbc Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Wed, 3 Aug 2022 13:52:01 +0200
Subject: Update Changelog

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

(limited to 'CHANGELOG')

diff --git a/CHANGELOG b/CHANGELOG
index 341c9957c..fde400117 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -10,6 +10,13 @@ Yosys 0.19 .. Yosys 0.19-dev
  * Various
     - Added support for $modfloor operator to cxxrtl backend
     - Support build on OpenBSD
+    - Fixed smt2 backend use of $shift/$shiftx with negative shift amounts,
+      which affects bit/part-select assignments with a dynamic index. Shift
+      operators were not affected.
+
+ * Verific support
+    - Proper import of port ranges into Yosys, may result in reversed 
+      bit-order of top-level ports for some synthesis flows.
 
 Yosys 0.18 .. Yosys 0.19
 --------------------------
-- 
cgit v1.2.3