From 1f2f4d9bbac6ec7a8e0ea067aaa6f322e8226440 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Mon, 2 Mar 2026 17:47:54 -0500 Subject: [PATCH] Commentary: Changes update --- Changes | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/Changes b/Changes index ca7f1bc7a..0b16e32a8 100644 --- a/Changes +++ b/Changes @@ -13,17 +13,22 @@ Verilator 5.047 devel **Other:** +* Support soft constraint solving (#7124) (#7166). [Yilou Wang] * Add VPI callback support to --main (#7145). -* Add V3LiftExpr pass to lower impure expressions and calls (#7141). [Geza Lore, Testorrent USA, Inc.] +* Add V3LiftExpr pass to lower impure expressions and calls (#7141) (#7164). [Geza Lore, Testorrent USA, Inc.] * Improve assignment-compatibility type check (#2843) (#5666) (#7052). [Pawel Kojma, Antmicro Ltd.] * Optimize size of trace declaration object code (#7150). [Szymon Gizler, Antmicro Ltd.] * Optimize function call return value temporaries (#7152). [Geza Lore, Testorrent USA, Inc.] +* Optimize conditional merging across some impure statements (#7159). [Geza Lore, Testorrent USA, Inc.] * Fix lambda coroutines (#6106) (#7135). [Nick Brereton] * Fix errant integer promotion (#7012). [Todd Strader] +* Fix scheduling non-determinism (#7120) (#7162) (#7165). [Geza Lore, Testorrent USA, Inc.] * Fix parameters inside std::randomize `with` clause (#7140). [Kamil Danecki, Antmicro Ltd.] * Fix forcing unpacked variables (#7149). [Ryszard Rozak, Antmicro Ltd.] * Fix wide conditional short circuiting (#7155). * Fix eliminating assignments to DPI-read variables (#7158). [Geza Lore, Testorrent USA, Inc.] +* Fix std::randomize() in static function with static class members (#7167) (#7169). [Yilou Wang] +* Fix recursive constant function in $unit scope (#7173) (#7174). Verilator 5.046 2026-02-28