luke

0 Followers · 0 Following

• Joined on 2024-06-02

Repositories

27

Projects Packages Public Activity Starred Repositories

luke synced commits to refs/heads/refs/pull/7927/merge at luke/verilator from mirror 2026-07-19 04:34:57 +02:00

83433028fa Merge c5865d03955db3f17e56bab69bb4edfc85c73fcb into 796d5174f385125958e64a3f49e1257fc8fc4222

796d5174f3 Fix sampled-value clocks in repeated assertions (#7944)

cc1b36bafd Fix FSM detection of coverage-only branches (#7941) (#7942)

255bcff3ac Support [*N:$] consecutive repetition (#7940)

877fc1e812 Fix dropping variable writes across opaque calls (#7921) (#7933)

Compare 13 commits »

luke synced commits to refs/heads/refs/pull/7878/head at luke/verilator from mirror 2026-07-19 04:34:56 +02:00

05724fee89 resolve conflicts

22050b97a7 Internals: Refactor dist constraint lowering helpers from lowerDistConstraints (#7878 prepull) (#7954)

3d7138a4c6 Strengthen frozen dist tests with distribution counts and rand_mode restore, assert internal mode-array invariants

7e1efe6d76 Support dynamic containers in unique constraints (#7947)

f39c1799d2 Commentary: Fix the verilator_coverage -filter-type documentation (#7949)

Compare 37 commits »

luke synced commits to refs/heads/refs/pull/7878/merge at luke/verilator from mirror 2026-07-19 04:34:56 +02:00

4c20bf3ed5 Merge 05724fee895b63358db3fa143f8b93ed894861a5 into 22050b97a73ea2ca1f9febaf9df254d9796bb6ee

05724fee89 resolve conflicts

22050b97a7 Internals: Refactor dist constraint lowering helpers from lowerDistConstraints (#7878 prepull) (#7954)

3d7138a4c6 Strengthen frozen dist tests with distribution counts and rand_mode restore, assert internal mode-array invariants

7e1efe6d76 Support dynamic containers in unique constraints (#7947)

Compare 18 commits »

luke synced commits to refs/heads/refs/pull/7902/merge at luke/verilator from mirror 2026-07-19 04:34:56 +02:00

6b219c0b5a Merge 1364f402daf9b5906f9876f957d6799ef3557c7d into 796d5174f385125958e64a3f49e1257fc8fc4222

796d5174f3 Fix sampled-value clocks in repeated assertions (#7944)

cc1b36bafd Fix FSM detection of coverage-only branches (#7941) (#7942)

255bcff3ac Support [*N:$] consecutive repetition (#7940)

877fc1e812 Fix dropping variable writes across opaque calls (#7921) (#7933)

Compare 10 commits »

luke synced commits to refs/heads/refs/pull/7909/merge at luke/verilator from mirror 2026-07-19 04:34:56 +02:00

1e2ee56a7c Merge 4df63cbeab5cb46aca954a6253d507708b90bc70 into 877fc1e812d47ccec9c56d4793614cf716667d8c

877fc1e812 Fix dropping variable writes across opaque calls (#7921) (#7933)

affe4cde57 Fix class parameter resolution (#7935)

232b2eb04c Fix dynamic array handling in solve...before (#7922)

baf012cf6a Fix streaming concat as output-port lvalue into unpacked struct (#7918)

Compare 7 commits »

luke synced commits to refs/heads/refs/pull/7911/head at luke/verilator from mirror 2026-07-19 04:34:56 +02:00

6a8c3cee79 Fix randomization of unreferenced rand members of unpacked structs (#7910)

luke synced commits to refs/heads/refs/pull/7911/merge at luke/verilator from mirror 2026-07-19 04:34:56 +02:00

edbd0bd080 Merge 6a8c3cee79c4100938e156649125c45c045e91eb into f39c1799d2337c6851c7407829722a43ce0a3ebd

6a8c3cee79 Fix randomization of unreferenced rand members of unpacked structs (#7910)

f39c1799d2 Commentary: Fix the verilator_coverage -filter-type documentation (#7949)

cf27c63b2d Fix type resolution when a local name shadows a type name (#7915)

796d5174f3 Fix sampled-value clocks in repeated assertions (#7944)

Compare 15 commits »

luke synced commits to refs/heads/refs/pull/7918/head at luke/verilator from mirror 2026-07-19 04:34:56 +02:00

f882f080bc Address review comments.

luke synced commits to refs/heads/refs/pull/7922/head at luke/verilator from mirror 2026-07-19 04:34:56 +02:00

eb3ace2f67 Add dynamic array handling in solve...before

d9fdc20492 Internals: V3Randomize.cpp cleanup (#7937). No functional change.

5ead758f28 Internals: Use addNextNull. No functional change intended.

34603ebd60 Commentary: Changes update

3b43b304a3 Add error on static virtual functions (#7932)

Compare 8 commits »

luke synced commits to refs/heads/refs/pull/7923/head at luke/verilator from mirror 2026-07-19 04:34:56 +02:00

9ad7431fc7 Fix unlinked error with function call in derived class parameter

5ead758f28 Internals: Use addNextNull. No functional change intended.

34603ebd60 Commentary: Changes update

3b43b304a3 Add error on static virtual functions (#7932)

3afb7e1a21 Internals: Refactor disable process queue plumbing (#7919)

Compare 7 commits »

luke synced and deleted reference refs/tags/refs/pull/7915/merge at luke/verilator from mirror 2026-07-19 04:34:55 +02:00

luke synced and deleted reference refs/tags/refs/pull/7918/merge at luke/verilator from mirror 2026-07-19 04:34:55 +02:00

luke synced and deleted reference refs/tags/refs/pull/7922/merge at luke/verilator from mirror 2026-07-19 04:34:55 +02:00

luke synced and deleted reference refs/tags/refs/pull/7933/merge at luke/verilator from mirror 2026-07-19 04:34:55 +02:00

luke synced and deleted reference refs/tags/refs/pull/7935/merge at luke/verilator from mirror 2026-07-19 04:34:55 +02:00

luke synced commits to refs/heads/refs/pull/7437/head at luke/verilator from mirror 2026-07-19 04:34:55 +02:00

cfbbac31c0 Four-state logic squash - signals interleave

0724c64006 Four-state logic squash

Compare 2 commits »

luke synced commits to refs/heads/refs/pull/7601/merge at luke/verilator from mirror 2026-07-19 04:34:55 +02:00

0cf2441a29 Merge 13ad58351a1e50576e475ffeb9374385336e9b40 into 255bcff3ac5a1aee2dc0440e9dc51707439944d9

255bcff3ac Support [*N:$] consecutive repetition (#7940)

877fc1e812 Fix dropping variable writes across opaque calls (#7921) (#7933)

affe4cde57 Fix class parameter resolution (#7935)

232b2eb04c Fix dynamic array handling in solve...before (#7922)

Compare 11 commits »

luke synced commits to refs/heads/refs/pull/7643/merge at luke/verilator from mirror 2026-07-19 04:34:55 +02:00

22334c358a Merge 0af3cb9dc0887a007b5ad04dcafc6d9b314680ad into 796d5174f385125958e64a3f49e1257fc8fc4222

796d5174f3 Fix sampled-value clocks in repeated assertions (#7944)

cc1b36bafd Fix FSM detection of coverage-only branches (#7941) (#7942)

255bcff3ac Support [*N:$] consecutive repetition (#7940)

877fc1e812 Fix dropping variable writes across opaque calls (#7921) (#7933)

Compare 10 commits »

luke synced commits to refs/heads/refs/pull/7748/head at luke/verilator from mirror 2026-07-19 04:34:55 +02:00

42e41f782a Update src/V3Param.cpp

luke synced commits to refs/heads/refs/pull/7748/merge at luke/verilator from mirror 2026-07-19 04:34:55 +02:00

86c3c574c4 Merge 42e41f782a481f488e7877d419948d31d6cf1cb2 into f39c1799d2337c6851c7407829722a43ce0a3ebd

f39c1799d2 Commentary: Fix the verilator_coverage -filter-type documentation (#7949)

cf27c63b2d Fix type resolution when a local name shadows a type name (#7915)

796d5174f3 Fix sampled-value clocks in repeated assertions (#7944)

cc1b36bafd Fix FSM detection of coverage-only branches (#7941) (#7942)

Compare 13 commits »