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/7869/merge at luke/verilator from mirror 2026-07-10 21:53:19 +02:00
c436a74f78 Merge 73d6be6350d71129892f0c06b7fc3866de95d3a5 into feb2fe0d940d0386c9f27abb0fda3007cc27313e
feb2fe0d94 Fix release of forced port nets (#7907) (#7901)
b211af9d24 Fix independent force of multiply instantiated signals (#7905)
9740203485 Fix VL_TO_STRING function for array of structs (#7912)
a21bd8a417 Fix VlQueue falling into wrong template spec (#7914)
Compare 5 commits »
luke synced and deleted reference refs/tags/refs/pull/7908/merge at luke/verilator from mirror 2026-07-10 21:53:18 +02:00
luke synced and deleted reference refs/tags/refs/pull/7913/merge at luke/verilator from mirror 2026-07-10 21:53:18 +02:00
luke synced commits to refs/heads/master at luke/verilator from mirror 2026-07-10 21:53:18 +02:00
52287c025f Tests: Add TSan and failing multi-threaded data race test (#7913)
3c7727a8f4 Fix spurious FSM COVERIGN on datapath comparisons (#7900) (#7908)
3191d98391 Commentary: Changes update
3bd04a70bd Commentary (#7916)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/7193/head at luke/verilator from mirror 2026-07-10 21:53:18 +02:00
3503b9d853 Four-state logic squash
3c7727a8f4 Fix spurious FSM COVERIGN on datapath comparisons (#7900) (#7908)
3191d98391 Commentary: Changes update
3bd04a70bd Commentary (#7916)
feb2fe0d94 Fix release of forced port nets (#7907) (#7901)
Compare 63 commits »
luke synced commits to refs/heads/refs/pull/385/head at luke/OpenSTA from mirror 2026-07-10 21:53:10 +02:00
61875ee7ed search: address POCV/LVF review nits
ed33f344cb OpenROAD-fork: LVF-lib -- library-driven POCV gate on PocvSigma
c3e5c126f6 OpenROAD-fork: LVF -- propagation-time POCV statistical-derate variance injection
da63c49c7d OpenROAD-fork: POCV per-stage sigma state holder on Search
592a910e56 parasitics: null-guard ConcreteParasitics::setCapacitorValue (address review)
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/385/merge at luke/OpenSTA from mirror 2026-07-10 21:53:10 +02:00
cc349ce79c Merge 61875ee7ed5f91c2a16b64d5d78951a09a2ce530 into 97d84f0ed71a7262706aec0ac101dd6f850ab1ab
61875ee7ed search: address POCV/LVF review nits
ed33f344cb OpenROAD-fork: LVF-lib -- library-driven POCV gate on PocvSigma
c3e5c126f6 OpenROAD-fork: LVF -- propagation-time POCV statistical-derate variance injection
da63c49c7d OpenROAD-fork: POCV per-stage sigma state holder on Search
Compare 8 commits »
luke synced commits to refs/heads/refs/pull/6004/merge at luke/yosys from mirror 2026-07-10 21:52:50 +02:00
259b0933dc Merge 411daa16cf06e6e7c8c0b916938067d9df08c74d into 0e82bbefe5456a14a9637bf614eddccac181bc65
0e82bbefe5 Merge pull request #6027 from YosysHQ/mmicko/skip_fix
0f8f70eb84 codecov: fix not skipping when pushing on
6fdd5bb11e Merge pull request #6026 from YosysHQ/mmicko/coverage_main
16766b26e9 codecov: Upload coverage on main
Compare 21 commits »
luke synced commits to refs/heads/refs/pull/6022/merge at luke/yosys from mirror 2026-07-10 21:52:50 +02:00
bf61e03bb2 Merge f2d648e4994e1b7fb7fce0c0a704091c65f84734 into be51f7a92c8d6a2a4808d759c2fd9abfcfa47427
be51f7a92c Merge pull request #6025 from YosysHQ/mmicko/disable_comment
10fcf7a593 codecov: Disable PR comments for now
11c30749a4 Merge pull request #6000 from YosysHQ/codecov
76378e6eb9 Do not add comments in PR
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/6023/head at luke/yosys from mirror 2026-07-10 21:52:50 +02:00
dca9234d86 Testcases for new truncation checks
8f0028652a long long to int truncation checks
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/6024/head at luke/yosys from mirror 2026-07-10 21:52:50 +02:00
eb93f5a066 Add scl caching test.
68aaa34975 Reformat scl cache.
b678c238e4 Include build datetime in scl cache hash.
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/6024/merge at luke/yosys from mirror 2026-07-10 21:52:50 +02:00
9753911c26 Merge eb93f5a06620e36e04a5b08c443164cd5c823969 into be51f7a92c8d6a2a4808d759c2fd9abfcfa47427
eb93f5a066 Add scl caching test.
68aaa34975 Reformat scl cache.
be51f7a92c Merge pull request #6025 from YosysHQ/mmicko/disable_comment
10fcf7a593 codecov: Disable PR comments for now
Compare 6 commits »
luke synced and deleted reference refs/tags/mmicko/disable_comment at luke/yosys from mirror 2026-07-10 21:52:49 +02:00
luke synced and deleted reference refs/tags/mmicko/enable_codecov at luke/yosys from mirror 2026-07-10 21:52:49 +02:00
luke synced and deleted reference refs/tags/refs/pull/6023/merge at luke/yosys from mirror 2026-07-10 21:52:49 +02:00
luke synced and deleted reference refs/tags/refs/pull/6025/merge at luke/yosys from mirror 2026-07-10 21:52:49 +02:00
luke synced commits to refs/heads/main at luke/yosys from mirror 2026-07-10 21:52:49 +02:00
0e82bbefe5 Merge pull request #6027 from YosysHQ/mmicko/skip_fix
0f8f70eb84 codecov: fix not skipping when pushing on
6fdd5bb11e Merge pull request #6026 from YosysHQ/mmicko/coverage_main
16766b26e9 codecov: Upload coverage on main
ede98b81ac Merge pull request #6023 from b-michi/michaelbaier/sc-649/segmentation-fault-during-proc-init-with
Compare 17 commits »
luke synced commits to refs/heads/nella/scl-build-date at luke/yosys from mirror 2026-07-10 21:52:49 +02:00
eb93f5a066 Add scl caching test.
68aaa34975 Reformat scl cache.
b678c238e4 Include build datetime in scl cache hash.
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/3118/merge at luke/yosys from mirror 2026-07-10 21:52:49 +02:00
bcbe6a0f92 Merge d3a79afce2a2987729d065101a4a1a008abfd9f0 into 0e82bbefe5456a14a9637bf614eddccac181bc65
0e82bbefe5 Merge pull request #6027 from YosysHQ/mmicko/skip_fix
0f8f70eb84 codecov: fix not skipping when pushing on
6fdd5bb11e Merge pull request #6026 from YosysHQ/mmicko/coverage_main
16766b26e9 codecov: Upload coverage on main
Compare 31 commits »
luke synced and deleted reference refs/tags/refs/pull/1434/merge at luke/iverilog from mirror 2026-07-10 21:52:45 +02:00