Commit Graph

  • 511d828abf Optimize away proven redundant case statement assertions Geza Lore 2026-06-12 14:19:45 +0100
  • 5831cc8d46
    Fix timed nested fork block with disable (#6720) (#7743) Marco Bartoli 2026-06-12 16:42:32 +0200
  • 748e48f881
    Fix s_eventually in parameterized interfaces (#7741) Nick Brereton 2026-06-12 10:41:56 -0400
  • dab6889f1e
    Support assert property 'default disable iff` (#4848) (#7723) Artur Bieniek 2026-06-12 16:40:38 +0200
  • e0c4c995b9 Fix crash on overlapping priority case Geza Lore 2026-06-12 12:22:18 +0100
  • 41aa144ad9 Don't fail the entire assertion when RHS of a range window rejects once Artur Bieniek 2026-06-12 15:17:14 +0200
  • 279b425a57
    Internals: Cleanup V3Case (#7769) Geza Lore 2026-06-12 14:15:41 +0100
  • 384a63fade
    CI: Bump codecov/codecov-action from 6 to 7 in the everything group (#7738) dependabot[bot] 2026-06-12 07:13:57 -0400
  • 4e73d1c0fe Internals: Cleanup V3Case Geza Lore 2026-06-11 13:46:42 +0100
  • e6ee6dd106
    Fix bounds checks in expressions with read/write references (#7694) Ryszard Rozak 2026-06-12 12:55:06 +0200
  • 60f729639b
    Fix 'case (_) inside' with x wildcards (#7766) Geza Lore 2026-06-12 07:48:36 +0100
  • 4555c8b23c
    Internals: Cleanup case condition lifting (#7768) Geza Lore 2026-06-12 06:38:21 +0100
  • a8e05c50ba Internals: Cleanup case condition lifting Geza Lore 2026-06-11 13:14:51 +0100
  • 0ee25038ac
    Optimize V3Gate inlining heuristic (#7716) Geza Lore 2026-06-11 20:59:18 +0100
  • b3d658326c Optimize V3Gate inlining heuristic Geza Lore 2026-06-04 09:46:18 +0100
  • 0ee5cbf502 CI: replace deprecated app-id with client-id Geza Lore 2026-06-11 15:47:48 +0100
  • c7a262b05d
    Optimize bit select removal earlier in Dfg (#7762) Geza Lore 2026-06-11 16:00:30 +0100
  • 0da258e1cc Fix 'case (_) inside' with x wildcards Geza Lore 2026-06-11 15:20:42 +0100
  • 28dbecbe8b address comments Edmund Lam 2026-06-11 09:57:10 -0400
  • 4c92c035e7
    Support reduction XOR/AND operations in constraints (#7753) Kornel Uriasz 2026-06-11 15:43:18 +0200
  • c6caa94fe0
    Fix no-scope internal error on virtual interface method calls (#7759) Yilou Wang 2026-06-11 15:04:06 +0200
  • 675ce61b4b add include/AGENTS.md Yilou Wang 2026-06-11 15:02:12 +0200
  • 394c9bc9b2
    Fix FSM detect unchecked casts and variable redeclaration (#7758) Adam Kostrzewski 2026-06-11 14:37:23 +0200
  • 4716153ed8 Apply 'make format' github action 2026-06-11 12:25:07 +0000
  • 1210fdbfff Fix parameter pollution when using class parameter Eric Mejdrich 2026-06-11 07:19:28 -0500
  • 3526564cd8 Rewrite AGENTS files with an orientation guide and a pre-PR checklist Yilou Wang 2026-06-11 13:58:46 +0200
  • 92ca82c9b4 Optimize bit select removal earlier in Dfg Geza Lore 2026-06-10 05:32:14 +0100
  • b2dfd03a17 ci fix, move to final block Yilou Wang 2026-06-11 12:42:10 +0200
  • 901909d3c7
    Optimize conditional patterns sharing common MBSs/LSBs in DfgPeephole (#7760) Geza Lore 2026-06-11 10:52:43 +0100
  • bb2b9bc9b0 Support cover sequence statement Yilou Wang 2026-06-11 10:26:25 +0200
  • e98b105a21 Optimize conditional patterns sharing common MBSs/LSBs in DfgPeephole Geza Lore 2026-06-10 12:58:15 +0100
  • 846f9ab5c2
    Support reduction XOR/AND operations in constraint Kornel Uriasz 2026-06-11 08:41:17 +0200
  • fef5145a06 fix FSM detect unchecked casts and variable redeclaration Adam Kostrzewski 2026-05-19 15:58:51 +0200
  • e2e1bfe8dd
    Internals: Remove unused V3TSP (#7194) (#7757) Shashvat 2026-06-10 23:18:38 +0530
  • 7f36caf90e Internals: Remove unused V3TSP (#7194) Shashvat Prabhu 2026-06-10 18:40:21 +0530
  • 48008a2fc9 Apply 'make format' [ci skip] github action 2026-06-10 16:19:51 +0000
  • dc1e9a8ec6
    Internals: Fix gcc bison warnings (#7719) (#7756) Tracy Narine 2026-06-10 12:18:48 -0400
  • cd86a7d6af Add AGENTS files to guide AI contributions (#7562) Yilou Wang 2026-06-10 17:24:39 +0200
  • d84af81a11
    Optimize Dfg with relaxed live variable analysis (#7739) Geza Lore 2026-06-10 15:59:44 +0100
  • b4c1a87d3b Fixing warnings Tracy Narine 2026-06-10 10:12:47 -0400
  • d9d153a217 Cover virtual interface dispatch in assertion control test Yilou Wang 2026-06-10 15:55:34 +0200
  • 75993ca9ea
    Support assoc array methods with wide value types (#7680) pawelktk 2026-06-10 15:39:43 +0200
  • d1319cf81e
    Fix dpi export pointers (#7742) (#7751) Yilin Li 2026-06-10 15:38:41 +0200
  • d09278f515
    Merge f77c1b88d8 into de0236be2f Lucas Amaral 2026-06-10 15:38:07 +0200
  • b41c14b6d6 remove comments Yilou Wang 2026-06-10 15:37:09 +0200
  • 1d6d921488 Derive the prefix instead of hardcoding TOP__ Yilin Li 2026-06-10 13:19:38 +0200
  • 22cb70a77d formatted Yilin Li 2026-06-10 00:06:24 +0200
  • e3803e3b9a add SPDX-FileCopyright... Yilin Li 2026-06-09 23:30:00 +0200
  • 1b847340e0 fix for dpi_export_unpack Yilin Li 2026-06-09 21:01:30 +0200
  • 7b77505ccd Fix data race on V3TSP edge IDs between parallel sorts (#7194) Shashvat Prabhu 2026-06-10 16:00:24 +0530
  • 59863f43dc lint Edmund Lam 2026-06-09 13:46:58 -0400
  • af121fcb3e struct access Edmund Lam 2026-06-09 13:24:39 -0400
  • dce1c8d165 unify walk into single pass Edmund Lam 2026-06-09 13:11:14 -0400
  • 8f935ec3aa descend into dots used by subDTypes Edmund Lam 2026-06-09 13:08:34 -0400
  • 04eabc62fe descend into dots in typedefs Edmund Lam 2026-06-09 13:07:17 -0400
  • f18aaeea83 fix typedefs Edmund Lam 2026-06-09 13:03:00 -0400
  • e0c55cc296 fix copyright text Edmund Lam 2026-06-09 12:43:43 -0400
  • d5fd2e468f cleanup Edmund Lam 2026-06-09 11:53:49 -0400
  • d33de9680a add name to contributors Edmund Lam 2026-06-09 11:32:06 -0400
  • 7a9563db57 more tests and fixes Edmund Lam 2026-06-09 11:28:39 -0400
  • c76dc5bf24 Optimize Dfg with relaxed live variable analysis Geza Lore 2026-06-08 15:10:01 +0100
  • de0236be2f Tests: Fix race condition in t_udp_nonsequential Geza Lore 2026-06-09 13:01:16 +0100
  • 4f134c514b Testing: Rename UDP test to fix typo Geza Lore 2026-06-09 09:53:32 +0100
  • ad18e0da4d Fix bounds checks in expressions with read/write references Ryszard Rozak 2026-06-02 13:12:55 +0000
  • 04ac61a197 rename enumerators to avoid win32 compilation error Matthew Ballance 2026-06-09 01:51:29 +0000
  • 8b2eb579d5 Apply 'make format' github action 2026-06-09 00:44:06 +0000
  • 2aaf24fd04 Fix-up whitespace Matthew Ballance 2026-06-09 00:42:57 +0000
  • b014161359 Incorporate feedback comments Matthew Ballance 2026-06-09 00:40:21 +0000
  • 9063aa6fff Update impacted gold file Matthew Ballance 2026-06-07 02:02:14 +0000
  • a881bfd4ea Initial step in moving coverage storage to runtime data structures Matthew Ballance 2026-06-07 00:59:22 +0000
  • 9ca4fa417f Reverted unrelated whitespace change Ethan Sifferman 2026-06-08 19:50:13 -0700
  • 873d2c616c format Ethan Sifferman 2026-04-23 17:21:07 -0700
  • 37fa7716f9 fixed whole-array NBA to unpacked array in suspendable process Ethan Sifferman 2026-04-23 17:20:33 -0700
  • 919b66ce83 added -Wno-ZERODLY Ethan Sifferman 2026-02-15 22:55:51 -0800
  • 674a1192bb squash Ethan Sifferman 2026-02-15 21:12:53 -0800
  • b5c2a68215 fix trailing whitespace Nikolai Kumar 2026-06-08 21:23:24 -0500
  • ccff993489 apply make format Nikolai Kumar 2026-06-08 21:18:38 -0500
  • c9ec8730a9
    Merge branch 'verilator:master' into fix/force-unpacked-bitselect Nikolai Kumar 2026-06-08 21:11:01 -0500
  • b101abf84c Fix for forcing unpacked bitselect (#7744) Nikolai Kumar 2026-06-08 21:10:40 -0500
  • f04b441dad fix wsxarcher 2026-06-09 02:03:13 +0200
  • 98dba5bf56 fix wsxarcher 2026-06-09 02:00:58 +0200
  • 550ae15ee3 Fix timed nested fork block with disable (fix #6720) wsxarcher 2026-06-09 01:34:37 +0200
  • f752bb6c9e Fix s_eventually in parameterised interfaces github action 2026-06-08 21:31:09 +0000
  • 1d29f65eae
    Support property case (#7721) Artur Bieniek 2026-06-09 00:16:30 +0200
  • 85348e3979 CI: Attempt to skip RTLMeter run jobs properly Geza Lore 2026-06-08 22:41:41 +0100
  • c5945021c1
    CI: Improve RTLMeter PR report (#7740) Geza Lore 2026-06-08 22:22:52 +0100
  • 4f4e77158e Support assert property `default disable iff` Artur Bieniek 2026-05-29 14:58:14 +0200
  • 698c82bbcd CI: Improve RTLMeter PR report Geza Lore 2026-06-08 19:50:33 +0100
  • 49c05fb0fe Support property case Artur Bieniek 2026-05-29 18:10:06 +0200
  • a3827182c0
    Support `s_until` and `s_until_with` (IEEE1800-2023 16.12.12) (#7722) Artur Bieniek 2026-06-08 20:08:04 +0200
  • f1bb7e731d Support `s_until` and `s_until_with` (IEEE1800-2023 16.12.12) Artur Bieniek 2026-06-01 18:46:03 +0200
  • 96336395d6 Internals: Simplify V3CfgLiveVariables to work only in scoped mode Geza Lore 2026-06-08 14:45:49 +0100
  • ece4d71e5b
    Optimize CReset in Dfg (#7737) Geza Lore 2026-06-08 17:01:50 +0100
  • 0278b1e475 Optimize CReset in Dfg Geza Lore 2026-06-05 13:36:24 +0100
  • e6a070b93b CI: Turn off bash tracing in pages.yml - missed Geza Lore 2026-06-08 16:47:37 +0100
  • 487437f87d CI: Turn off bash tracing in pages.yml Geza Lore 2026-06-08 16:44:34 +0100
  • 34aa31beca Fix No-scope internal error on virtual interface method calls Yilou Wang 2026-06-03 19:23:53 +0200
  • 408c04085f
    Bump codecov/codecov-action from 6 to 7 in the everything group dependabot[bot] 2026-06-08 13:48:35 +0000
  • e8489cd38b CI: Fix max-parallel factor for RTLMeter runs Geza Lore 2026-06-08 13:14:36 +0100
  • 8fef7989d7 CI: Fail RTLMeter runs fast for PRs Geza Lore 2026-06-08 13:10:32 +0100