Commit Graph

  • d7d8fdedf3
    Merge 4f8c094f6e into e63c4f563e Nick Brereton 2026-04-08 17:08:13 +0200
  • 66e49ed3fc
    Merge 566e6513eb into e63c4f563e em2machine 2026-04-08 10:28:02 -0400
  • e63c4f563e
    Support consecutive repetition [*N:M], [+], and [*] in sequence expressions (#7379) master Yilou Wang 2026-04-08 16:26:03 +0200
  • 566e6513eb Apply 'make format' github action 2026-04-08 14:04:09 +0000
  • 43b6876c88 promote downward instead of upward em2machine 2026-04-08 16:03:02 +0200
  • 0c12f214c8
    Merge 199cb3dc14 into 7dcf586807 Matthew Ballance 2026-04-08 06:46:50 -0700
  • c4d0aa8382
    Merge 2d4073999a into 7dcf586807 Marco Bartoli 2026-04-08 06:25:31 -0700
  • ab75ee6b82
    Merge e8fcbb0fa0 into 7dcf586807 Todd Strader 2026-04-08 15:11:46 +0200
  • db1dd74404 Merge upstream/master and resolve conflicts Yilou Wang 2026-04-08 13:58:28 +0200
  • 7dcf586807
    Fix sampling of hierarchical references (#7386) Ryszard Rozak 2026-04-08 13:09:25 +0200
  • 6f0fb5b039
    Merge fdf462ff3c into 141fe8bdad Nick Brereton 2026-04-08 12:42:42 +0200
  • 3427b631ff
    Merge 2e25ccec30 into 141fe8bdad Artur Bieniek 2026-04-08 11:27:08 +0200
  • bdbc0b3bae Change test to use hierarchical references Ryszard Rozak 2026-04-08 11:19:10 +0200
  • d09e83dc35 Fix sampling of hierarchical references Ryszard Rozak 2026-04-08 11:16:21 +0200
  • 448c5a9f34
    Merge ec90294e9f into 141fe8bdad Todd Strader 2026-04-08 11:00:39 +0200
  • 0e407bf348
    Merge edea97a63f into 141fe8bdad Ali Hammoud 2026-04-08 09:56:33 +0200
  • f3d2aadb60
    Merge c66d4729c2 into 141fe8bdad Kamil Danecki 2026-04-08 09:37:35 +0200
  • 80b0a94432
    Merge a80fe1fe45 into 141fe8bdad Yilou Wang 2026-04-08 09:36:31 +0200
  • 141fe8bdad
    Support sequence intersect operator (#7374) Yilou Wang 2026-04-08 09:31:54 +0200
  • 9b323b7786
    Merge b998721513 into 2736262b98 Geza Lore 2026-04-07 22:16:24 -0700
  • cf2304b794
    Merge fc28f76ef4 into 2736262b98 Yu-Sheng Lin 2026-04-08 00:21:50 -0400
  • 2736262b98
    Fix resolving default/nondefault type-of-type parameters (#7380) (#7385) em2machine 2026-04-07 17:58:36 -0400
  • 987771dc87 improve lcov to 100 Yilou Wang 2026-04-07 22:19:31 +0200
  • 610f4f1366 restart ci Yilou Wang 2026-04-07 17:46:19 +0200
  • e80c377db8 add lcov ignore comments Yilou Wang 2026-04-07 17:45:20 +0200
  • 54066db2ba Apply 'make format' github action 2026-04-07 15:44:47 +0000
  • 2933ea0a18 Support sequence intersect operator Yilou Wang 2026-04-07 17:43:45 +0200
  • fd3f70bf1a Apply 'make format' github action 2026-04-07 14:49:11 +0000
  • f303f05dd5 better comparing an explicit type parameter against its default em2machine 2026-04-07 16:48:08 +0200
  • aea1d13b7d sva: add [*1] and [*] SExpr test cases for line coverage Yilou Wang 2026-04-07 14:27:35 +0200
  • 8c11d0d0bd
    Support rise/fall delays (#7368) Artur Bieniek 2026-04-07 12:44:52 +0200
  • 006fcf28bd [#93282] Add support for rise/fall delay Artur Bieniek 2026-03-26 19:35:57 +0100
  • 3760eb9ecc Merge origin/master and resolve conflicts Yilou Wang 2026-04-07 10:03:28 +0200
  • dfb7b034a5
    Support sequence 'throughout' operator (#7378) Yilou Wang 2026-04-06 23:12:22 +0200
  • 72b2ca5585
    Support ##[*], ##[+], ##[M:$] unbounded cycle delays in SVA properties (#7377) Yilou Wang 2026-04-06 22:31:43 +0200
  • 2b1d197401 restart ci check Yilou Wang 2026-04-06 21:58:25 +0200
  • 8e8596d3fa Apply 'make format' github action 2026-04-06 19:53:28 +0000
  • 16df486650 improve line coverage Yilou Wang 2026-04-06 21:47:48 +0200
  • a80fe1fe45 merge find and get to one Yilou Wang 2026-04-06 21:42:14 +0200
  • 0ddbb88b62 Add negative-min unbounded test for line coverage Yilou Wang 2026-04-06 21:35:00 +0200
  • 16e5da5de4 Apply 'make format' github action 2026-04-06 19:28:29 +0000
  • 8bee528319 fix rand_mode subobj case Yilou Wang 2026-04-06 21:22:37 +0200
  • f270402871
    Merge 712496671b into 0df0064d64 Nick Brereton 2026-04-06 08:57:15 -0700
  • fec86d3fec
    Merge 7236ffa38a into 0df0064d64 Todd Strader 2026-04-06 11:28:38 -0400
  • 0df0064d64
    Fix VPI access to Verilog `force`-ed signals (#7381) Christian Hecken 2026-04-06 16:51:01 +0200
  • 3e50a2e69e Fix VPI access to SV forced non-forceable signals Christian Hecken 2026-03-22 04:31:28 +0000
  • 09daa8a837
    Merge 6302862c08 into 9f4546fcb9 Krzysztof Bieganski 2026-04-06 20:18:41 +0800
  • 6c43908ea3
    Merge 60e06ddcc3 into 9f4546fcb9 Charitha Jeewanka 2026-04-06 20:18:41 +0800
  • 5ef5ddc2f9
    Merge a38c513fe5 into 9f4546fcb9 Todd Strader 2026-04-06 20:18:41 +0800
  • 199cb3dc14 Increase dump coverage Matthew Ballance 2026-04-05 23:35:45 +0000
  • 4569224be7 add DFG switch Yilou Wang 2026-04-06 01:18:55 +0200
  • eca9cf0009 Address review: use CRC signals in tests, update comments Yilou Wang 2026-04-06 00:59:48 +0200
  • 94d9b0f8c3 rename AstSExprThroughout->AstSThroughout (AstNodeBiop), AstSExprGotoRep->AstSGotoRep; use emitVerilog() over V3EmitV visitor; collapse VL_RESTORER Yilou Wang 2026-04-06 00:57:37 +0200
  • f81f93c898 Fix whitespace issues Matthew Ballance 2026-04-05 17:26:04 +0000
  • 71bc885db5 Apply 'make format' github action 2026-04-05 16:25:06 +0000
  • e710f1b6b3 Improve code coverage and add coverage report production to more tests Matthew Ballance 2026-04-05 16:23:49 +0000
  • f1389497c1 Checkpoint on closing coverage holes Matthew Ballance 2026-03-27 21:27:08 +0000
  • d5f8790d1c Combine/minimize cross and transition tests Matthew Ballance 2026-03-27 00:59:20 +0000
  • 8b40d7a407 Update t_vlcov_covergroup to produce its own data instead of relying on a cached file Matthew Ballance 2026-03-27 00:43:03 +0000
  • ae7258f365 Adjust code patterns based on PR feedback Matthew Ballance 2026-03-27 00:18:30 +0000
  • 07db7608b1 Apply 'make format' github action 2026-03-26 16:59:22 +0000
  • 7e87abb4fd Fix t_debug_emitv golden file: update while-loop emit after upstream unroll change Matthew Ballance 2026-03-26 16:57:00 +0000
  • 5b3f5e3f75 Fix golden file: update BASICDTYPE 'logic' to 'bit' after upstream four-state cleanup Matthew Ballance 2026-03-26 16:34:19 +0000
  • 9f4ba736ef Added verilator_coverage test for covergroups Matthew Ballance 2026-03-26 16:20:19 +0000
  • bf035d17f3 Apply 'make format' github action 2026-03-25 19:47:34 +0000
  • 6634a399e6 Fix warnings Matthew Ballance 2026-03-25 19:46:28 +0000
  • 45de7acffd Move AST building from parser proper to LinkParse ; simplify Coverpoint construction Matthew Ballance 2026-03-25 16:28:03 +0000
  • fd6311a74b Clean up unneeded dump() Matthew Ballance 2026-03-25 16:05:00 +0000
  • df03614a24 Refactor visitor structure to successively collect state vs having multiple flag-controlled passes Matthew Ballance 2026-03-25 15:06:01 +0000
  • 3ca51092cd Correct use of deleteTree Matthew Ballance 2026-03-25 14:49:16 +0000
  • cb3d8ebb72 const-ify variables Matthew Ballance 2026-03-25 14:42:59 +0000
  • 47d5f536bc Add coverage report output for covergroup Matthew Ballance 2026-03-25 14:29:19 +0000
  • 73332329be Apply 'make format' github action 2026-03-19 22:36:40 +0000
  • 2c371c88bd Update unsupported and clean up warnings Matthew Ballance 2026-03-19 22:35:38 +0000
  • cbf6c64d05 Update format of unsupported messages for consistency Matthew Ballance 2026-03-19 14:48:02 +0000
  • 9e70f0a2ae Removed redundant local teml Matthew Ballance 2026-03-19 14:12:20 +0000
  • a6acde41a8 Apply 'make format' github action 2026-03-19 04:07:12 +0000
  • 65ee9cd865 Format fixes Matthew Ballance 2026-03-19 13:56:11 +0000
  • 601e05615d Apply 'make format' github action 2026-03-18 01:45:25 +0000
  • 8eb03568fd Cleanup mis-merge ; move initial Ast manipulation out of Grammar Matthew Ballance 2026-03-19 04:04:30 +0000
  • 94a65f8e64 Comment new Ast classes, clean up accidentally added members, clean up a few interim workarounds, and adjust approach to stay out of sensitive paths Matthew Ballance 2026-03-18 01:44:17 +0000
  • fe26b9212e Clean up comments Matthew Ballance 2026-03-15 19:33:46 +0000
  • ebf553021b Apply 'make format' github action 2026-03-15 14:28:54 +0000
  • ad89a6c8f4 Aligned with C++14 and fixed a couple non-ascii characters Matthew Ballance 2026-03-15 15:18:20 +0000
  • 777e6b0c29 cleanup Matthew Ballance 2026-03-15 01:51:29 +0000
  • a30e729852 Refactor loops in V3Active ; add three tests to vlt_all, so they run with threading Matthew Ballance 2026-03-14 19:41:49 +0000
  • 1ec09f9d2d Remove low-value tests ; Rename tests to better-align with their purpose ; Move to using coverage.dat to assess correctness Matthew Ballance 2026-03-14 16:59:55 +0000
  • e5594e9c6c Fix constifyParamsEdit regression in visit(AstInsideRange*) Matthew Ballance 2026-03-11 00:01:20 +0000
  • 4c4d3e91bc Add missing SPDX-FileCopyrightText headers to covergroup test files Matthew Ballance 2026-03-10 23:27:00 +0000
  • ae10856ec0 Update golden files after rebase onto upstream/master Matthew Ballance 2026-03-10 22:47:30 +0000
  • b4ff2f7704 Fix non-ASCII characters in V3Covergroup.cpp comment Matthew Ballance 2026-03-07 15:44:32 +0000
  • a18fdb1c4b Restore t_covergroup_with_sample_args_too_many_bad test Matthew Ballance 2026-03-07 15:22:33 +0000
  • 4eb676cb49 Convert 'if' tests to assertion macros Matthew Ballance 2026-03-07 04:07:50 +0000
  • 7475dea9f3 Apply 'make format' github action 2026-03-07 03:00:29 +0000
  • 06d34cc4cf Cleaned up coverpoint-bin warning around 'excessive size' Matthew Ballance 2026-03-07 02:59:36 +0000
  • bcf6e6ac72 Update debug_emitv to include covergroup constructs ; update emit of covergroup debug content Matthew Ballance 2026-03-07 01:31:05 +0000
  • 464be2c85b Test clean-ups, resolve an internal error masked by the checking strategy, and add 'automatic' to remove warnings Matthew Ballance 2026-03-07 00:53:20 +0000
  • affe776463 t_covergroup_with_sample_args_too_many_bad: remove redundant test Matthew Ballance 2026-03-05 14:38:20 +0000
  • dda0405fce V3Covergroup: initialize bin counters to 0, not random Matthew Ballance 2026-03-05 14:28:20 +0000
  • a3a456779d Fix V3Fork lifetime assertion by restoring V3LinkInc temp var lifetime Matthew Ballance 2026-03-05 04:49:38 +0000