From 5f33c0e0b24a96b77b0ac68b249546a87d2592ae Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Wed, 8 Feb 2023 10:11:47 +0100
Subject: [PATCH] Updated changelog

---
 CHANGELOG                 | 18 ++++++++++++++++++
 passes/techmap/bmuxmap.cc |  3 +++
 2 files changed, 21 insertions(+)

diff --git a/CHANGELOG b/CHANGELOG
index 5e24e528f..39be0bf69 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -4,7 +4,25 @@ List of major changes and improvements between releases
 
 Yosys 0.25 .. Yosys 0.25-dev
 --------------------------
+ * New commands and options
+    - Added "bwmuxmap" pass to replace $bwmux cells with equivalent logic.
+    - Added "xprop" pass for formal x propagation.
+    - Added "splitcells" pass to split up multi-bit cells.
+    - Added "viz" pass to visualize data flow graph.
+    - Added option "-make_cover" to "miter" pass.
+    - Added option "-noparallelcase" to "write_verilog" pass.
+    - Added option "-chain" to "insbuf" pass.
+    - Added options "-hierarchy" and "-assume" to "formalff" pass.
+    - Added options "-append" and "-summary" to "sim" pass.
+    - Added option "-ywmap" to "write_btor" pass.
+    - Added option "-ignore-self-reset" to "fsm_detect" pass.
+
+ * Verilog
+    - Support for struct members of union type.
+    - Support for struct member package types.
+
  * Various
+    - Added Yosys witness (.yw) cosimulation.
     - GCC 4.8 is deprecated, compiler with full C++11 support is required.
 
 Yosys 0.24 .. Yosys 0.25
diff --git a/passes/techmap/bmuxmap.cc b/passes/techmap/bmuxmap.cc
index 15b149239..7aa67d3c0 100644
--- a/passes/techmap/bmuxmap.cc
+++ b/passes/techmap/bmuxmap.cc
@@ -33,6 +33,9 @@ struct BmuxmapPass : public Pass {
 		log("\n");
 		log("This pass transforms $bmux cells to trees of $mux cells.\n");
 		log("\n");
+		log("    -pmux\n");
+		log("        transform to $pmux instead of $mux cells.\n");
+		log("\n");
 	}
 	void execute(std::vector<std::string> args, RTLIL::Design *design) override
 	{