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/8146/merge at luke/verilator from mirror 2026-08-19 12:48:24 +02:00
c4dd731667 Merge d3b6aca587787383bc41ca3c5eed7bd726673c02 into f5ae58ddab32c023ecb1a27340f37c496325df7f
f5ae58ddab Fix unpacked array passing to logic task arg error (#8148)
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
8a29360ade Fix NFA assertion crash and mis-counted property if/case (#8074)
b032379de2 Support coverpoint and cross iff (#8125)
Compare 6 commits »
luke synced commits to refs/heads/refs/pull/8150/merge at luke/verilator from mirror 2026-08-19 12:48:24 +02:00
669e28e89f Merge 5a9346c1b979158c3c041b907951dd884081b26d into 88e87b8abbf46e866497502ac92edf93e00c6b13
88e87b8abb Fix segmentation fault on parameters (#8102) (#8149)
7628a540af Fix invalid C++ on cast (#8113)
06ee8b7261 Use unsigned in NFA, guard against overflow using V3Width. (#8152)
f5ae58ddab Fix unpacked array passing to logic task arg error (#8148)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/8153/head at luke/verilator from mirror 2026-08-19 12:48:24 +02:00
d4ccdd11ad Address review: drop the call graph pass, collect during the main traversal
luke synced commits to refs/heads/refs/pull/8153/merge at luke/verilator from mirror 2026-08-19 12:48:24 +02:00
1cc1348ea0 Merge d4ccdd11adbbb025e1328417c68b728197924dd1 into 7523a0cd8e3bb564f3cb2ae4598e6152e1d39f02
d4ccdd11ad Address review: drop the call graph pass, collect during the main traversal
7523a0cd8e Fix exponential expansion of nested selects (#8137) (#8151)
8c2b7410f0 Optimize NFA delay-ring edge traversal, drop complexity to linear (#8145)
70b5ce802b Apply 'make format' [ci skip]
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/8119/merge at luke/verilator from mirror 2026-08-19 12:48:23 +02:00
6a15b784a7 Merge e2e2f1d00981fa59c39b091b54c2818320da1c37 into f5ae58ddab32c023ecb1a27340f37c496325df7f
f5ae58ddab Fix unpacked array passing to logic task arg error (#8148)
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
8a29360ade Fix NFA assertion crash and mis-counted property if/case (#8074)
b032379de2 Support coverpoint and cross iff (#8125)
Compare 6 commits »
luke synced commits to refs/heads/refs/pull/8128/merge at luke/verilator from mirror 2026-08-19 12:48:23 +02:00
76a1d10cff Merge ba07c337df47994cc603b7bdca9c9f7a5d4a99f3 into 7628a540af0db3adf7bddf5e8e27fe6b1ca03674
7628a540af Fix invalid C++ on cast (#8113)
06ee8b7261 Use unsigned in NFA, guard against overflow using V3Width. (#8152)
f5ae58ddab Fix unpacked array passing to logic task arg error (#8148)
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
Compare 16 commits »
luke synced commits to refs/heads/refs/pull/8136/merge at luke/verilator from mirror 2026-08-19 12:48:23 +02:00
69a8f2ce68 Merge c40bf021b2e559cd91e2ced8733e2d3497c96bf7 into 7628a540af0db3adf7bddf5e8e27fe6b1ca03674
7628a540af Fix invalid C++ on cast (#8113)
06ee8b7261 Use unsigned in NFA, guard against overflow using V3Width. (#8152)
f5ae58ddab Fix unpacked array passing to logic task arg error (#8148)
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
Compare 6 commits »
luke synced commits to refs/heads/refs/pull/8114/merge at luke/verilator from mirror 2026-08-19 12:48:22 +02:00
bc09dc4056 Merge 4d3276506535dfaf911385225143d3c41c2df6a0 into f5ae58ddab32c023ecb1a27340f37c496325df7f
f5ae58ddab Fix unpacked array passing to logic task arg error (#8148)
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
8a29360ade Fix NFA assertion crash and mis-counted property if/case (#8074)
b032379de2 Support coverpoint and cross iff (#8125)
Compare 14 commits »
luke synced commits to refs/heads/refs/pull/8117/head at luke/verilator from mirror 2026-08-19 12:48:22 +02:00
18220df644 Address review: p-suffix naming, x[0].a regression, top-level queue gap
ef7dc3410e Merge remote-tracking branch 'origin/master' into fix-2darray-neq-constraint
b032379de2 Support coverpoint and cross iff (#8125)
ba893abb2c Optimize circular logic in Dfg (#7902)
94a63dd407 Fix streaming concatenation uninitialized RMW access (#8143)
Compare 16 commits »
luke synced commits to refs/heads/refs/pull/8117/merge at luke/verilator from mirror 2026-08-19 12:48:22 +02:00
512ca2cbd5 Merge 18220df64406e0ef92090816282ff22285b0be4f into 70b5ce802bf02544e7398838b9570a53984804e1
18220df644 Address review: p-suffix naming, x[0].a regression, top-level queue gap
70b5ce802b Apply 'make format' [ci skip]
88e87b8abb Fix segmentation fault on parameters (#8102) (#8149)
7628a540af Fix invalid C++ on cast (#8113)
Compare 10 commits »
luke synced commits to refs/heads/refs/pull/8042/merge at luke/verilator from mirror 2026-08-19 12:48:21 +02:00
f0892b190b Merge 4c27e0ebb9d2e018cf86c08e98124aa62e434edc into 7523a0cd8e3bb564f3cb2ae4598e6152e1d39f02
4c27e0ebb9 Add Unigen2 constrained randomization algorithm
7523a0cd8e Fix exponential expansion of nested selects (#8137) (#8151)
8c2b7410f0 Optimize NFA delay-ring edge traversal, drop complexity to linear (#8145)
70b5ce802b Apply 'make format' [ci skip]
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/8081/merge at luke/verilator from mirror 2026-08-19 12:48:21 +02:00
3db08b1e04 Merge 56d42905d45cee06d11d025b5565195ee17cd882 into 8c2b7410f01340dcb18bfc8cdd795621d4e72172
8c2b7410f0 Optimize NFA delay-ring edge traversal, drop complexity to linear (#8145)
70b5ce802b Apply 'make format' [ci skip]
88e87b8abb Fix segmentation fault on parameters (#8102) (#8149)
7628a540af Fix invalid C++ on cast (#8113)
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/8100/merge at luke/verilator from mirror 2026-08-19 12:48:21 +02:00
3e29f4f7a6 Merge 24c21cb72f91b632c492d48bfcea18cfc8edcc06 into f5ae58ddab32c023ecb1a27340f37c496325df7f
f5ae58ddab Fix unpacked array passing to logic task arg error (#8148)
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
8a29360ade Fix NFA assertion crash and mis-counted property if/case (#8074)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/7966/merge at luke/verilator from mirror 2026-08-19 12:48:20 +02:00
8fdba710ab Merge 8c36ca3e5c833a94d0f548e59c018e2f8e454530 into 7523a0cd8e3bb564f3cb2ae4598e6152e1d39f02
7523a0cd8e Fix exponential expansion of nested selects (#8137) (#8151)
8c2b7410f0 Optimize NFA delay-ring edge traversal, drop complexity to linear (#8145)
70b5ce802b Apply 'make format' [ci skip]
88e87b8abb Fix segmentation fault on parameters (#8102) (#8149)
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/8010/head at luke/verilator from mirror 2026-08-19 12:48:20 +02:00
d8bf7cbeec Fix force of a struct-member unpacked array element (#8010)
d56bf887f9 Add tests for force of struct-member unpacked array elements (#8010)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8010/merge at luke/verilator from mirror 2026-08-19 12:48:20 +02:00
6fa3f7ea28 Merge d8bf7cbeec7998031eff76e46dc133736aa1da25 into 86b7cfb05cc6b3df965c6ec3ac351c106fdcfabb
d8bf7cbeec Fix force of a struct-member unpacked array element (#8010)
d56bf887f9 Add tests for force of struct-member unpacked array elements (#8010)
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
8a29360ade Fix NFA assertion crash and mis-counted property if/case (#8074)
Compare 6 commits »
luke synced commits to refs/heads/refs/pull/8042/head at luke/verilator from mirror 2026-08-19 12:48:20 +02:00
4c27e0ebb9 Add Unigen2 constrained randomization algorithm
8c2b7410f0 Optimize NFA delay-ring edge traversal, drop complexity to linear (#8145)
70b5ce802b Apply 'make format' [ci skip]
88e87b8abb Fix segmentation fault on parameters (#8102) (#8149)
7628a540af Fix invalid C++ on cast (#8113)
Compare 9 commits »
luke synced commits to refs/heads/master at luke/verilator from mirror 2026-08-19 12:48:19 +02:00
7523a0cd8e Fix exponential expansion of nested selects (#8137) (#8151)
8c2b7410f0 Optimize NFA delay-ring edge traversal, drop complexity to linear (#8145)
70b5ce802b Apply 'make format' [ci skip]
88e87b8abb Fix segmentation fault on parameters (#8102) (#8149)
7628a540af Fix invalid C++ on cast (#8113)
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/7437/merge at luke/verilator from mirror 2026-08-19 12:48:19 +02:00
cf93bb219a Merge 56f96c7b537b355c5e2be8aa796d7387841b76d5 into 7523a0cd8e3bb564f3cb2ae4598e6152e1d39f02
7523a0cd8e Fix exponential expansion of nested selects (#8137) (#8151)
8c2b7410f0 Optimize NFA delay-ring edge traversal, drop complexity to linear (#8145)
70b5ce802b Apply 'make format' [ci skip]
88e87b8abb Fix segmentation fault on parameters (#8102) (#8149)
Compare 14 commits »
luke synced commits to refs/heads/refs/pull/7748/merge at luke/verilator from mirror 2026-08-19 12:48:19 +02:00
e0275bb502 Merge 1954b25cc5f60c2d271b2ec32332e7f8f84d9cf8 into 8c2b7410f01340dcb18bfc8cdd795621d4e72172
8c2b7410f0 Optimize NFA delay-ring edge traversal, drop complexity to linear (#8145)
70b5ce802b Apply 'make format' [ci skip]
88e87b8abb Fix segmentation fault on parameters (#8102) (#8149)
7628a540af Fix invalid C++ on cast (#8113)
Compare 7 commits »