Commentary: Changes update

Changes

@@ -44,6 +44,7 @@ Verilator 5.043 devel
 * Support general global constraints (#6709) (#6711). [Yilou Wang]
 * Support complex std::randomize patterns (#6736) (#6737). [Yilou Wang]
 * Support `rand_mode` in global constraint gathering (#6740) (#6752). [Yilou Wang]
+* Support reduction or in constraints (#6840). [Pawel Kojma, Antmicro Ltd.]
 * Optimize away calls to empty functions (#6626). [Geza Lore]
 * Optimize redundant headers in Syms implementation files. [Geza Lore, Fractile Ltd.]
 * Optimize constructor/destructor VerilatedModules (#6660). [Geza Lore, Fractile Ltd.]
@@ -56,6 +57,7 @@ Verilator 5.043 devel
 * Fix generate function(s) inside of generate blocks (#1011) (#6789). [em2machine]
 * Fix typedef derived from type defined inside interface (#3441) (#6776). [em2machine]
 * Fix extern function that returns parameterized class (#4924).
+* Fix type deduction for variable parameterized classes (#6281) (#6813). [em2machine]
 * Fix randomize called within func/task (#6144) (#6753). [Yilou Wang]
 * Fix pre/post_randomize on extended classes (#6467). [Alex Solomatnikov]
 * Fix expression short circuiting (#6483). [Todd Strader]
@@ -92,7 +94,8 @@ Verilator 5.043 devel
 * Fix fork scheduling semantics (#6730). [Artur Bieniek, Antmicro Ltd.]
 * Fix internal fault when cross-class calling with DPI (#6735) (#6742). [Matthew Ballance]
 * Fix write variable placement for global constraints (#6740) (#6750) (#6797). [Yilou Wang]
-* Fix resolution of specialized typedefs (#6754) (#6808). [em2machine]
+* Fix JSON dump missing output ports (#6751) (#6831). [Oleh Maksymenko]
+* Fix resolution of specialized typedefs (#6754) (#6808) (#6834). [em2machine]
 * Fix UNSUPPORTED on force / release with complex selects (#6755). [Ryszard Rozak, Antmicro Ltd.]
 * Fix select assignment expansion (#6757). [Geza Lore]
 * Fix `--lib-create` with multi-bit clocks (#6759). [Geza Lore]
@@ -108,9 +111,12 @@ Verilator 5.043 devel
 * Fix `disable iff` in simple properties (#6783). [Ryszard Rozak, Antmicro Ltd.]
 * Fix input sampling of clocking block signals (#6788). [Pawel Kojma, Antmicro Ltd.]
 * Fix O(n*2) analysis in const-bit-op-tree (#6791). [Geza Lore]
-* Fix nested struct within parameter port list (#6818) (#6824). [Luca Colagrande]
+* Fix member select of variable without randmode (#6800) (#6833). [Yilou Wang]
 * Fix duplicate name error with interface initial blocks (#6804) (#6805). [Thomas Dybdahl Ahle]
+* Fix nested struct within parameter port list (#6818) (#6824). [Luca Colagrande]
+* Fix setting thread count in VerilatedContext (#6826 partial) (#6841). [Yangyu Chen]
 * Fix firing array selects of events (#6829). [Amal Araweelo Almis]
+* Fix false IMPLICITSTATIC on localparam (#6835). [Geza Lore]
 * Fix randcase under fork (#6843). [Amal Araweelo Almis]
 
 
@@ -552,6 +558,7 @@ Verilator 5.034 2025-02-24
 * Optimize labels as final `if` block statements (#5744).
 * Optimize empty function definition bodies (#5750).
 * Optimize splitting trigger computation and dump (#5798). [Geza Lore]
+* Optimize some DFG multiplexers (#6822). [Yangyu Chen]
 * Fix error message when call task as a function (#3089). [Matthew Ballance]
 * Fix force VPI public signal visibility (#5225). [Frédéric Requin]
 * Fix VPI iteration over hierarchy (#5314) (#5731). [Natan Kreimer]

docs/guide/exe_verilator.rst

@@ -2495,8 +2495,8 @@ The grammar of control commands is as follows:
    converted into ``begin``/``end`` blocks.
 
    Similar to :option:`/*verilator&32;timing_on*/`,
-   :option:`/*verilator&32;timing_off*/` metacomments, but interpreted
-   independtly. If either a control file, or metacommets disable timing
+   :option:`/*verilator&32;timing_off*/` meta-comments, but interpreted
+   independently. If either a control file, or meta-comments disable timing
    constructs, they will be disabled.
 
    .. t_dist_docs_style ignore tracing_on

docs/spelling.txt

@@ -4,6 +4,8 @@ Accellera
 Affe
 Aleksander
 Alexandre
+Almis
+Amal
 Ami
 Amir
 Anastasiadis
@@ -13,6 +15,7 @@ Antmicro
 Antonin
 Antwerpen
 Arasanipalai
+Araweelo
 Arjen
 Arshid
 Asciidoc
@@ -986,6 +989,7 @@ qrqiuren
 radix
 randc
 randcase
+randmode
 randsequence
 randstate
 raphmaster