Merge pull request #3310 from robinsonb5-PRs/master
[yosys.git] / CHANGELOG
index 4ca448ab0295dcdffe8a821f7cec140c7efbd79b..4004c534b8e1e75e330f17ee3d87f704a5fab854 100644 (file)
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -2,7 +2,20 @@
 List of major changes and improvements between releases
 =======================================================
 
-Yosys 0.15 .. Yosys 0.15-dev
+Yosys 0.17 .. Yosys 0.17-dev
+--------------------------
+
+Yosys 0.16 .. Yosys 0.17
+--------------------------
+ * New commands and options
+    - Added "write_jny" ( JSON netlist metadata format )
+    - Added "tribuf -formal"
+
+ * SystemVerilog
+    - Fixed automatic `nosync` inference for local variables in `always_comb`
+      procedures not applying to nested blocks and blocks in functions
+
+Yosys 0.15 .. Yosys 0.16
 --------------------------
  * Various
     - Added BTOR2 witness file co-simulation.