aboutsummaryrefslogtreecommitdiffstats
path: root/CHANGELOG
diff options
context:
space:
mode:
Diffstat (limited to 'CHANGELOG')
-rw-r--r--CHANGELOG16
1 files changed, 15 insertions, 1 deletions
diff --git a/CHANGELOG b/CHANGELOG
index 18874a04e..80672a8cc 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -2,9 +2,23 @@
List of major changes and improvements between releases
=======================================================
-Yosys 0.26 .. Yosys 0.26-dev
+Yosys 0.27 .. Yosys 0.27-dev
--------------------------
+Yosys 0.26 .. Yosys 0.27
+--------------------------
+ * New commands and options
+ - Added option "-make_assert" to "equiv_make" pass.
+ - Added option "-coverenable" to "chformal" pass.
+
+ * Verilog
+ - Resolve package types in interfaces.
+ - Handle range offsets in packed arrays within packed structs.
+ - Support for data and array queries on struct/union item expressions.
+
+ * GateMate support
+ - Enable register initialization.
+
Yosys 0.25 .. Yosys 0.26
--------------------------
* New commands and options