Commentary: Changes update

Changes

@@ -15,10 +15,13 @@ Verilator 5.041 devel
 
 * Add error on non-packed struct randc (#5999). [Seth Pellegrino]
 * Add configure `--enable-asan` to compile verilator_bin with the address sanitizer (#6404). [Geza Lore]
+* Support pure functions in sensitivity lists (#6393). [Krzysztof Bieganski, Antmicro Ltd.]
 * Improve automatic selection of logic for DFG synthesis (#6370). [Geza Lore]
 * Improve `covergroup with function sample` handling  (#6387). [Jakub Wasilewski]
 * Improve DFG type system (#6390). [Geza Lore]
+* Improve DFG variable removal and temporary insertion (#6401). [Geza Lore]
 * Optimize dead functions without references (#6380). [Artur Bieniek, Antmicro Ltd.]
+* Optimize constant folding in wide expression expansion (#6381). [Geza Lore]
 * Fix false CONSTVAR error on initializers (#4992).
 * Fix cell scoping performance (#6059). [Jerry Tianchen]
 * Fix while loop hang on timing-delayed assignment (#6343) (#6354). [Krzysztof Bieganski, Antmicro Ltd.]
@@ -27,14 +30,15 @@ Verilator 5.041 devel
 * Fix cmake APPLE variable (#6351). [Lan Zongwei]
 * Fix randomize local after parameters applied (#6371). [Alex Solomatnikov]
 * Fix package imports not found after parameters applied (#6373). [Alex Solomatnikov]
+* Fix deep shift pattern performance (#6379) (#6420). [Geza Lore]
 * Fix COVERAGEIGN-ignored `get_inst_coverage` and other covergroup methods (#6383). [Alex Solomatnikov]
 * Fix error when modport variable is unresolved (#6386). [Ryszard Rozak, Antmicro Ltd.]
 * Fix wire array with initial assignment (#6391). [Alex Solomatnikov]
-* Fix import of class with default params (#6396). [Krzysztof Bieganski, Antmicro Ltd.]
+* Fix import of class with default params (#6396) (#6410) (#6413). [Krzysztof Bieganski, Antmicro Ltd.]
 * Fix use after free in elaboration (#6403). [Geza Lore]
 * Fix address sanitizer issues (#6406). [Geza Lore]
 * Fix timing control under fork under function (#6407). [Krzysztof Bieganski, Antmicro Ltd.]
-* Fix memory leaks (#6411). [Geza Lore]
+* Fix memory leaks (#6411) (#6417) (#6419). [Geza Lore]
 * Fix parameter implicit type from string (#6414). [Alex Solomatnikov]
 
 

docs/guide/contributors.rst

@@ -13,8 +13,8 @@ When possible, please instead report bugs at `Verilator Issues
 
 The primary author is Wilson Snyder <wsnyder@wsnyder.org>.
 
-Major concepts by Paul Wasson, Duane Galbi, John Coiner, Geza Lore, Yutetsu
-Takatsukasa, and Jie Xu.
+Major concepts by Krzysztof Bieganski, John Coiner, Duane Galbi, Geza Lore,
+Ryszard Rozak, Yutetsu Takatsukasa, Paul Wasson, and Jie Xu.
 
 
 Contributors

docs/guide/install.rst

@@ -97,11 +97,10 @@ OS Requirements
 ---------------
 
 Verilator is developed and has primary testing on Ubuntu, with additional
-testing on FreeBSD and Apple OS-X. Versions have also been built on Red Hat
-Linux, other flavors of GNU/Linux-ish platforms, Windows Subsystem for
-Linux (WSL2), Windows under Cygwin, and Windows under MinGW (gcc
--mno-cygwin). Verilated output (not Verilator itself) compiles under all
-the options above, plus using MSVC++.
+testing on Apple OS-X, FreeBSD and Windows MSVC. Versions have also been
+built on Red Hat Linux, other flavors of GNU/Linux-ish platforms, Windows
+Subsystem for Linux (WSL2), Windows under Cygwin, and Windows under MinGW
+(gcc -mno-cygwin).
 
 
 Install Prerequisites

docs/guide/verilating.rst

@@ -18,9 +18,8 @@ Verilator may be used in five major ways:
 * With the :vlopt:`--lint-only` option, Verilator will lint the design to
   check for warnings but will not typically create any output files.
 
-* With the :vlopt:`--xml-only` option, Verilator will create XML output
-  that may be used to feed into other user-designed tools.  See
-  :file:`docs/xml.rst` in the distribution.
+* With the :vlopt:`--json-only` option, Verilator will create JSON output
+  that may be used to feed into other user-designed tools.
 
 * With the :vlopt:`-E` option, Verilator will preprocess the code according
   to IEEE preprocessing rules and write the output to standard out. This