Commit Graph

  • bbee65ed4b Internals: Add new VL_RESTORER flavours Geza Lore 2026-07-04 13:24:53 +0100
  • c66e901171 Mark VlRandomAssocKeyWidths final for portability lint Yilou Wang 2026-07-04 13:56:34 +0200
  • c618361fa2 merge upstream master and resolve conflicts Yilou Wang 2026-07-04 13:52:01 +0200
  • ba1b35d733 Trim comments in shift chain lowering Yilou Wang 2026-07-04 13:37:09 +0200
  • 1fc3771cf3 fix ci dist test Yilou Wang 2026-07-04 13:35:36 +0200
  • e943beaa9e Split error tests from unsupported tests per review Yilou Wang 2026-07-04 11:14:38 +0200
  • d996b4a70e Merge remote-tracking branch 'upstream/master' into fix/7797-seq-event Yilou Wang 2026-07-04 10:49:13 +0200
  • 2d88c088ce Reject automatic sequence event arguments per IEEE 9.4.2.4 and apply test review feedback Yilou Wang 2026-07-04 10:49:13 +0200
  • 06907c5358 Fix dist constraint on a frozen variable failing randomization Yilou Wang 2026-07-04 10:48:22 +0200
  • 59414eda71 Fix scoped randomize with array members under rand_mode Yilou Wang 2026-07-04 10:48:04 +0200
  • 648169b6f4 Fix solve-before over array variables failing randomization Yilou Wang 2026-07-04 10:47:46 +0200
  • cc0d06c87b Fix mixed-width inside and dist range bounds emitting malformed constraint SMT Yilou Wang 2026-07-04 10:47:26 +0200
  • a044cd1dbc
    Merge caa3d6512f into f82f59a024 Marco Bartoli 2026-07-04 00:00:32 -0700
  • 021c8be67c Complete mid-window disable across counter-FSM and and-combiner, pack b[*N] and chunk over-64-bit shift chains Yilou Wang 2026-07-03 22:09:47 +0200
  • 951404eac7 Lower sequence event controls via the cover sequence path Yilou Wang 2026-07-03 22:01:16 +0200
  • 55e0f57686 Also pack b[*N] repetition into shift vectors and chunk over-64-bit chains Yilou Wang 2026-07-03 20:56:54 +0200
  • f82f59a024 Commentary: Changes update Wilson Snyder 2026-07-03 13:01:05 -0400
  • 12fab5d5d7 Tests: Cleanup some cross-simulator test differences Wilson Snyder 2026-07-03 13:00:23 -0400
  • 7ece66d06e
    Fix unique0 case side effects (#7787) Pawel Klopotek 2026-07-03 18:49:21 +0200
  • a64234e897
    Add comments as a branch description in coverage .info files (#7843) Eryk Szpotański 2026-07-03 17:18:29 +0200
  • 6a7314fd2c Use comments as a branch description for BRDA events in coverage .info files Eryk Szpotanski 2026-06-25 12:27:17 +0200
  • 9ca9f07904 Fix unique0 case side effects Pawel Klopotek 2026-06-26 11:55:40 +0200
  • 58bd13b623
    Fix heap-use-after-free in `VlRNG::VlRNG()` (#7865) Dragon-Git 2026-07-03 18:38:48 +0800
  • b97df914dd
    Fix clang++ ambiguous overload of '==' operator (#7863) Pawel Kojma 2026-07-03 12:37:48 +0200
  • b92ec9f3d7 Apply suggestions Pawel Kojma 2026-07-03 10:22:07 +0200
  • f464ee499d
    Restore deleted blank lines by mistake Dragon-Git 2026-07-03 10:54:09 +0800
  • 81a727648b
    Fix type Dragon-Git 2026-07-03 10:11:45 +0800
  • 54d715fc44 Fix heap-use-after-free in VlRNG::VlRNG() due to dangling thread-local t_currentp Dragon-Git 2026-07-03 09:18:05 +0800
  • 42ff4772f7 Apply 'make format' [ci skip] github action 2026-07-02 23:39:37 +0000
  • 189cf47393 string -> V3Hash Todd Strader 2026-07-02 17:12:13 -0400
  • 0e371d6e5c Fix cleaning purity cache after assertions Geza Lore 2026-07-02 17:47:09 +0100
  • 1106e89c84 Optimize random initialization Geza Lore 2026-07-02 14:50:55 +0100
  • 55de902d55 address comments Edmund Lam 2026-07-02 10:55:17 -0400
  • 02e0332d12 Add test Pawel Kojma 2026-07-02 10:36:58 +0200
  • 506f703da5
    Internals: Remove unused variables in verilated_funcs.h (#7862) Jakub Michalski 2026-07-02 13:16:42 +0200
  • 853ee5df17
    Fix DFG misoptimizing bound checks (#7755) Jakub Michalski 2026-07-02 12:33:38 +0200
  • 73fa2f025d Add additional overloads to disambiguate Pawel Kojma 2026-06-30 11:21:19 +0200
  • 067fbef396
    Merge b498f1db3f into 964474837f Igor Zaworski 2026-07-02 09:58:57 +0200
  • 86fb4418cb Remove unused variables in verilated_funcs.h Jakub Michalski 2026-07-01 12:28:41 +0200
  • 76e204f261 Fix DFG misoptimizing bound checks Jakub Michalski 2026-06-23 14:08:03 +0200
  • 964474837f Commentary Wilson Snyder 2026-07-01 19:37:12 -0400
  • ce4be92a67 devel release Wilson Snyder 2026-07-01 18:31:23 -0400
  • 3d2421f3bf Merge from master for release. stable Wilson Snyder 2026-07-01 18:30:39 -0400
  • 848d926ebd Version bump v5.050 Wilson Snyder 2026-07-01 18:17:03 -0400
  • bb9cad507f Commentary: Changes update Wilson Snyder 2026-07-01 18:15:56 -0400
  • 28c006ee8c Merge from master for release. Wilson Snyder 2026-07-01 18:26:56 -0400
  • 193b1d2c9f Version bump Wilson Snyder 2026-07-01 18:17:03 -0400
  • 147fe4ee9f Commentary: Changes update Wilson Snyder 2026-07-01 18:15:56 -0400
  • 9c655d379a Apply 'make format' [ci skip] github action 2026-07-01 19:59:37 +0000
  • 1ea10ba71c
    Fix class scope '::' reference through an inherited type parameter (#7844) Sergey Chusov 2026-07-01 22:58:35 +0300
  • d85f04ec4b whitespace Todd Strader 2026-07-01 12:58:59 -0400
  • ab53dad0ba c++14 Todd Strader 2026-07-01 12:47:01 -0400
  • d0cb643a84 fix rebase Todd Strader 2026-07-01 12:37:47 -0400
  • 63ec401644 Fully qualified publics in verilator control files Todd Strader 2026-06-03 11:52:39 -0400
  • c40b64ad70 V3LinkDot: Reduce comment verbosity serge06 2026-07-01 19:06:53 +0300
  • 51c3681859 Inherit default clocking for a sequence used as an event control Yilou Wang 2026-07-01 15:55:19 +0200
  • 4ccf6847a5 Fix mid-window disable iff and pack pure delay chains into a shift vector Yilou Wang 2026-07-01 15:54:51 +0200
  • 008d612dad Optimize VCD vector zero trimming Muzaffer Kal 2026-06-28 22:28:15 -0700
  • 6b3e2ce971 Commentary: Changes update Wilson Snyder 2026-06-29 22:00:10 -0400
  • e80329a57b
    CI: Bump actions/cache from 5.0.5 to 6.1.0 in the everything group (#7854) dependabot[bot] 2026-06-29 11:03:22 -0400
  • 514fa120f5 Apply 'make format' [ci skip] github action 2026-06-29 14:58:00 +0000
  • cf7e3f791a
    Fix covergroups without --coverage (#7848) (#7849) Joshua Leahy 2026-06-29 15:56:59 +0100
  • 6051e29091
    CI: Bump actions/cache from 5.0.5 to 6.1.0 in the everything group dependabot[bot] 2026-06-29 13:45:07 +0000
  • 3f4c6d34f8 Fix covergroups without --coverage (#7848) Joshua Leahy 2026-06-27 15:39:50 +0100
  • b498f1db3f Four-state logic squash - signals interleave Igor Zaworski 2026-04-22 10:19:37 +0200
  • e5dcf11cb8 Four-state logic squash Igor Zaworski 2026-04-22 10:19:37 +0200
  • b7362d7017 Optimize VCD vector zero trimming Muzaffer Kal 2026-06-28 22:28:15 -0700
  • 276f2f344d Commentary: Changes update Wilson Snyder 2026-06-28 16:15:54 -0400
  • 6006f91e2e Tests: Add t_queue_array (#6921 test) Wilson Snyder 2026-06-28 16:07:37 -0400
  • c4f63583bc Tests: Fix t_cover_expr_fork data location Wilson Snyder 2026-06-28 15:40:10 -0400
  • 657d5f6abf Tests: Add t_initial_dlyass2 (#5210). Wilson Snyder 2026-06-28 15:34:50 -0400
  • 8bce24c7dc
    Merge 6e13a45a3c into 59b85f670b Matthew Ballance 2026-06-28 08:18:23 -0700
  • 9448e4366c Fix MSVC warning. No functional change. Wilson Snyder 2026-06-28 09:42:01 -0400
  • 59b85f670b
    Fix constant pool recache after dead scope removal (#7845) Nick Brereton 2026-06-28 09:30:48 -0400
  • d023b3b075
    Support dynamic loading of VPI extensions (#7727) Matthew Ballance 2026-06-28 06:28:09 -0700
  • 88147b01cf Rename const pool cache rebuild (#7845) Nick Brereton 2026-06-26 17:27:30 -0400
  • 6668d92c74 ready for pr Yilou Wang 2026-06-26 21:55:51 +0200
  • 6e13a45a3c Apply 'make format' [ci skip] github action 2026-06-26 15:29:47 +0000
  • 8271a1bc0e Add runtime covergroup support for cross-points Matthew Ballance 2026-06-26 15:28:31 +0000
  • 3b97c7fd4d Fix const pool recache after dead scope removal Nick Brereton 2026-06-26 13:07:02 -0400
  • 039c453164 Fix class scope '::' reference through an inherited type parameter serge06 2026-06-19 16:47:58 +0300
  • d607a771e9 Cover sequence-referenced-outside-assertion message via nested sequence test Yilou Wang 2026-06-26 13:30:48 +0200
  • caa3d6512f Fix external clock driven coverage capture wsxarcher 2026-06-26 12:22:35 +0200
  • 3853301367
    Fix disable iff ignored when its condition is held continuously true (#7841) Yilou Wang 2026-06-26 12:00:44 +0200
  • 128d999871 Fix gcc array-bounds false positive in sequence event lowering Yilou Wang 2026-06-26 10:45:54 +0200
  • 0019a967b4 merge upstream master and resolve conflicts Yilou Wang 2026-06-26 10:13:46 +0200
  • 2d157b29b0 Optimize assetOn checks furter Geza Lore 2026-06-25 20:12:49 +0100
  • 2b836858ef Support a sequence used as an event control Yilou Wang 2026-06-25 20:49:32 +0200
  • f0f1c44dd6
    Fix object randomization skipped by an unrelated global constraint (#7833) (#7838) Yilou Wang 2026-06-25 15:30:05 +0200
  • b73a897db3
    Optimize module inlining heuristic (#7837) Geza Lore 2026-06-25 14:14:15 +0100
  • 3cdb52c102 simply comments Yilou Wang 2026-06-25 14:41:07 +0200
  • 8bf2f62e80 Resize size-constrained array after solver for global-constraint owners and consolidate subobj tests Yilou Wang 2026-06-25 14:07:12 +0200
  • 000afcf52d
    Support variable-length intersect in SVA sequences (#7835) Yilou Wang 2026-06-25 13:41:53 +0200
  • 007eac25fd Support embedded covergroup member references wsxarcher 2026-06-25 12:48:32 +0200
  • f528c96ab1 address review and fix combiner over-acceptance Yilou Wang 2026-06-25 12:24:45 +0200
  • 79fcd07194 Handle multiple same-type sub-objects under a global constraint Yilou Wang 2026-06-25 11:44:04 +0200
  • 2ff2329b6c Fix disable iff ignored when its condition is held continuously true Yilou Wang 2026-06-25 09:50:48 +0200
  • d860210111 Fix object randomization skipped by an unrelated global constraint Yilou Wang 2026-06-25 09:50:03 +0200
  • 0ebae43713 Apply 'make format' [ci skip] github action 2026-06-25 02:44:28 +0000
  • 249608a42f
    Fix performance on large package-scoped structs (#7830) Wolfgang Mayerwieser 2026-06-25 04:43:24 +0200