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/7412/merge at luke/verilator from mirror 2026-04-20 15:07:21 +02:00
e561d5dbd5 Merge f2ccffe4553e2a91080c2d847cfff3ce8635e88f into 935b2564eb
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/7117/merge at luke/verilator from mirror 2026-04-20 15:07:20 +02:00
c4654e7bf5 Merge 1117a11d4d1244e76db4f9f28aaac697464a8ad1 into e82bd52fa3
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
f7a349c5a7 Fix uvm_hdl_release_and_read not reading release value or checking for success (#7425)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/7189/merge at luke/verilator from mirror 2026-04-20 15:07:20 +02:00
d834dc1a7c Merge a38c513fe5 into 935b2564eb
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/7193/head at luke/verilator from mirror 2026-04-20 15:07:20 +02:00
42fe76d956 Merge branch 'master' into feature/4_state_logic_two_vars_sq
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/7193/merge at luke/verilator from mirror 2026-04-20 15:07:20 +02:00
d11640fc83 Merge 42fe76d9564e4b0857f2e747f22853b37e314f25 into 935b2564eb
42fe76d956 Merge branch 'master' into feature/4_state_logic_two_vars_sq
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
Compare 6 commits »
luke synced commits to refs/heads/refs/pull/6918/merge at luke/verilator from mirror 2026-04-20 15:07:19 +02:00
0db77d7de5 Merge 37c18031d3 into 935b2564eb
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/7075/merge at luke/verilator from mirror 2026-04-20 15:07:19 +02:00
b61f618f45 Merge 60e06ddcc3 into 935b2564eb
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
Compare 9 commits »
luke synced and deleted reference refs/tags/refs/pull/7430/merge at luke/verilator from mirror 2026-04-20 15:07:18 +02:00
luke synced commits to refs/heads/master at luke/verilator from mirror 2026-04-20 15:07:18 +02:00
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
luke synced commits to refs/heads/refs/pull/6849/merge at luke/verilator from mirror 2026-04-20 15:07:18 +02:00
31d62a496f Merge 23cf8fae69 into 935b2564eb
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
Compare 29 commits »
luke synced and deleted reference refs/tags/refs/pull/8759/merge at luke/sbt from mirror 2026-04-20 07:27:38 +02:00
luke synced and deleted reference refs/tags/refs/pull/9052/merge at luke/sbt from mirror 2026-04-20 07:27:38 +02:00
luke synced commits to refs/heads/refs/pull/9056/merge at luke/sbt from mirror 2026-04-20 07:27:38 +02:00
a56beca8f5 Merge 463c006699 into d2da9ce1e6
luke synced commits to refs/heads/refs/pull/4044/merge at luke/yosys from mirror 2026-04-20 07:27:29 +02:00
dd6f6b2761 Merge 6b5fbe37f0 into 413169663d
413169663d Merge pull request #5753 from YosysHQ/nella/carry-save-adders
4506dffa9f Fix use after free.
fc71719e6e Rename csa_tree to arith_tree.
c3c577f333 Fix test cases.
Compare 83 commits »
luke synced commits to refs/heads/refs/pull/7438/merge at luke/verilator from mirror 2026-04-20 06:57:28 +02:00
f8d5d24181 Merge b73407704b into e82bd52fa3
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
f7a349c5a7 Fix uvm_hdl_release_and_read not reading release value or checking for success (#7425)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/7313/merge at luke/verilator from mirror 2026-04-20 06:57:27 +02:00
5ce2e8977d Merge 2d4073999a into e82bd52fa3
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
f7a349c5a7 Fix uvm_hdl_release_and_read not reading release value or checking for success (#7425)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/9098/merge at luke/sbt from mirror 2026-04-19 23:17:39 +02:00
771b531f68 Merge 2a7bf79bb04e5ebe857552a067ce47b75b61c363 into d2da9ce1e6
d2da9ce1e6 [2.x] refactor: Use exists instead of find and isDefined (#9111)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/9102/merge at luke/sbt from mirror 2026-04-19 23:17:39 +02:00
ddd03afe82 Merge 6d806c723a into d2da9ce1e6
d2da9ce1e6 [2.x] refactor: Use exists instead of find and isDefined (#9111)
b721644cbc [2.x] fix: Use rootPaths to replace virtual paths in console and doc scalac options. (#9110)
af0cbaf74e Merge pull request #9112 from xuwei-k/duplicate-hedgehog
349e91da04 Remove duplicate hedgehog TestFramework setting
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/9077/merge at luke/sbt from mirror 2026-04-19 23:17:38 +02:00
23551cd560 Merge f6502b7d72 into d2da9ce1e6
d2da9ce1e6 [2.x] refactor: Use exists instead of find and isDefined (#9111)
b721644cbc [2.x] fix: Use rootPaths to replace virtual paths in console and doc scalac options. (#9110)
af0cbaf74e Merge pull request #9112 from xuwei-k/duplicate-hedgehog
95152f9745 Merge pull request #9083 from xuwei-k/mimaPreviousArtifacts-RC12
Compare 8 commits »
luke synced commits to refs/heads/refs/pull/9078/merge at luke/sbt from mirror 2026-04-19 23:17:38 +02:00
e74d760d30 Merge ee6137da2a into d2da9ce1e6
d2da9ce1e6 [2.x] refactor: Use exists instead of find and isDefined (#9111)
Compare 2 commits »