Commentary: Changes update

Changes

@@ -27,6 +27,8 @@ Verilator 5.053 devel
 * Support multiplicity in SVA shapes that use NFA rings (#8267). [Artur Bieniek, Antmicro Ltd.]
 * Support non-overlapped property implications correctly (#8268). [Artur Bieniek, Antmicro Ltd.]
 * Support logic and set operations on binsof (#8306). [Marco Bartoli]
+* Support `illegal_bins` and `ignore_bins` for cross bins (#8372). [Marco Bartoli]
+* Support `iff` in covergroup bins (#8406) (#8407). [Marco Bartoli]
 * Optimize NBA shadow copies for partial writes (#8266). [Artur Bieniek, Antmicro Ltd.]
 * Optimize recursion depth in DFG circular driver tracing (#8272). [Drew Risinger]
 * Optimize DFG synthesis symbol table ordering (#8282). [Geza Lore, Testorrent USA, Inc.]
@@ -38,10 +40,13 @@ Verilator 5.053 devel
 * Optimize netlist teardown when about to exit (#8294). [Geza Lore, Testorrent USA, Inc.]
 * Optimize DFG algorithms with an open addressing hash table (#8307). [Geza Lore, Testorrent USA, Inc.]
 * Optimize data-type type chain recursion (#8310). [Geza Lore, Testorrent USA, Inc.]
+* Optimize DFG vertex input edge storage (#8313). [Geza Lore, Testorrent USA, Inc.]
 * Optimize unnecessary per-vertex allocations in NFA lowering (#8319). [Artur Bieniek, Antmicro Ltd.]
 * Optimize duplicate lookup in NFA property recursion guard (#8321). [Artur Bieniek, Antmicro Ltd.]
 * Optimize NBA assertions by keeping all writers before readers (#8326). [Artur Bieniek, Antmicro Ltd.]
 * Optimize wide four-state constant operations in V3Number (#8333). [CatalpaEel]
+* Optimize split pass (#8385). [Geza Lore, Testorrent USA, Inc.]
+* Optimize covergroup bin metadata lookup (#8404). [Marco Bartoli]
 * Fix array slice crash when used as a bare value (#5132) (#8262). [Marco Frank]
 * Fix pattern type matching against nested aggregates (#7304).
 * Fix covergroup-internal references multi-threaded ordering (#7779) (#8255). [Matthew Ballance]
@@ -59,11 +64,24 @@ Verilator 5.053 devel
 * Fix parameterized class nested in a parameterized interface (#8328) (#8329). [Kristof Marien]
 * Fix printing signed enums and wide enum names (#8338). [Marco Bartoli]
 * Fix ignoring cross_auto_bin_max instead of hard error (#8340). [Marco Bartoli]
+* Fix wide enum names (#8344) (#8362) (#8365) (#8366). [Marco Bartoli]
 * Fix class-qualified self reference to a typedef in a parameterized class (#8348) (#8349). [Dragon-Git]
+* Fix crash when elaborating a covergroup option through a forward class (#8351) (#8352). [Kristof Marien]
 * Fix missing implicit net for bufif/notif/nmos/pmos data input (#8353) (#8354). [Mike Murunov]
 * Fix %p format on class members (#8360). [Marco Bartoli]
 * Fix V3InstrCount with recursive functions (#8361) (#8327). [Geza Lore, Testorrent USA, Inc.]
 * Fix Docker compilation with --trace-fst (#8370). [Giuseppe Manzoni]
+* Fix NFA rings for bounded SVA delays (#8371). [Artur Bieniek, Antmicro Ltd.]
+* Fix DFG driver tracing of partial assignments (#8377) (#8397). [Geza Lore, Testorrent USA, Inc.]
+* Fix access types of refs and inouts (#8380). [Igor Zaworski, Antmicro Ltd.]
+* Fix copy constructor of classes with constraints (#8381). [Ryszard Rozak, Antmicro Ltd.]
+* Fix C++ clang 18 compiler with -fno-slp-vectorize (#8383). [Geza Lore, Testorrent USA, Inc.]
+* Fix reevaluation of method calls in wait conditions (#8391). [Jesús Alberto López Soto]
+* Fix weighted dist constraints in presence of other constraints (#8392). [Kornel Uriasz, Antmicro Ltd.]
+* Fix error on non-existent interface ports (#8393). [Andrii Andrieiev, Antmicro Ltd.]
+* Fix compile-time blowup forcing large unpacked arrays (#8395). [Jonathan Drolet]
+* Fix covergroup constructor initialization (#8410). [Marco Bartoli]
+* Fix issues with configuring flex during build on MacOS (#8412). [Kaleb Barrett]
 
 
 Verilator 5.052 2026-09-05

docs/spelling.txt

@@ -305,6 +305,7 @@ Mahmoudy
 Makefile
 Makefiles
 Maksymenko
+Manzoni
 Marche
 Markley
 Marquet
@@ -1134,6 +1135,7 @@ shortint
 shortreal
 signame
 signedness
+slp
 sp
 specparam
 splitme
@@ -1258,6 +1260,7 @@ vcddiff
 vcoverage
 vdhotre
 vec
+vectorize
 ventana
 venv
 ver