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/8069/merge at luke/verilator from mirror 2026-08-11 17:51:39 +02:00
f244269223 Merge 00f11a26f526252c71fbe6afa12dbb3e0ccb6b21 into 945ea27fecf171faf197abaa22b07bab4b02c92a
945ea27fec Fix undefined symbol solver error (#8080)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8071/merge at luke/verilator from mirror 2026-08-11 17:51:39 +02:00
4f21b0ae9b Merge ae0462832517961fb7d9abccb5e7cb644b6e414c into 945ea27fecf171faf197abaa22b07bab4b02c92a
945ea27fec Fix undefined symbol solver error (#8080)
490bd38962 Optimize bounded always properties using ring buffers (#8061)
121fc62aff Fix VPI cbValueChange for 1-bit select (#8063)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/8036/merge at luke/verilator from mirror 2026-08-11 17:51:38 +02:00
507eac990a Merge aa2ef95fba3281d9e7bb5ec65c3ce74de1705575 into 2ef131f7ac9666cabe3c35afd5c2e534301ca245
2ef131f7ac Fix scheduling of variables written in non-inlined functions in suspendable processes (#7924)
945ea27fec Fix undefined symbol solver error (#8080)
490bd38962 Optimize bounded always properties using ring buffers (#8061)
121fc62aff Fix VPI cbValueChange for 1-bit select (#8063)
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/8042/merge at luke/verilator from mirror 2026-08-11 17:51:38 +02:00
11733b69e9 Merge b4a8ea8e60e354a469aeadf7af443a6d19c60233 into 945ea27fecf171faf197abaa22b07bab4b02c92a
945ea27fec Fix undefined symbol solver error (#8080)
490bd38962 Optimize bounded always properties using ring buffers (#8061)
121fc62aff Fix VPI cbValueChange for 1-bit select (#8063)
5d888d2ac0 Add SIMILARNAME warning when variables have names that only differ in lexical case (#7992) (#8020)
Compare 6 commits »
luke synced commits to refs/heads/refs/pull/8055/merge at luke/verilator from mirror 2026-08-11 17:51:38 +02:00
abf5a8b68f Merge 1c0e56de0fc53d5bedc08edd9aead32dd3933971 into 490bd3896275705304a5da9e9a42e58b3036b3a2
490bd38962 Optimize bounded always properties using ring buffers (#8061)
121fc62aff Fix VPI cbValueChange for 1-bit select (#8063)
5d888d2ac0 Add SIMILARNAME warning when variables have names that only differ in lexical case (#7992) (#8020)
38259d11b6 Fix skipping non-constrained enum constraining when inside object of other class (#8075)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/7982/merge at luke/verilator from mirror 2026-08-11 17:51:37 +02:00
d0df7f721d Merge aa47ff244806d2e8efeeeb254bb73b76340ea263 into 2ef131f7ac9666cabe3c35afd5c2e534301ca245
aa47ff2448 [#99994] Fix of detecting non-inlined awaits in V3Delayed.cpp
174a0ae5b6 [#99211] Fix scheduler lost trigger - virtualization
2ef131f7ac Fix scheduling of variables written in non-inlined functions in suspendable processes (#7924)
945ea27fec Fix undefined symbol solver error (#8080)
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/7991/merge at luke/verilator from mirror 2026-08-11 17:51:37 +02:00
af9864e83e Merge dc45ebb225293bbe3d92012a05dcb0476702de03 into 945ea27fecf171faf197abaa22b07bab4b02c92a
945ea27fec Fix undefined symbol solver error (#8080)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8010/merge at luke/verilator from mirror 2026-08-11 17:51:37 +02:00
5382022b8c Merge 1014319321e75185c8ebacd70d9a3fb48b97e1b4 into 945ea27fecf171faf197abaa22b07bab4b02c92a
945ea27fec Fix undefined symbol solver error (#8080)
490bd38962 Optimize bounded always properties using ring buffers (#8061)
121fc62aff Fix VPI cbValueChange for 1-bit select (#8063)
5d888d2ac0 Add SIMILARNAME warning when variables have names that only differ in lexical case (#7992) (#8020)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/7966/merge at luke/verilator from mirror 2026-08-11 17:51:36 +02:00
792356e77d Merge 59e2edbbd37291c63528e66aecd582709a017f4e into 945ea27fecf171faf197abaa22b07bab4b02c92a
945ea27fec Fix undefined symbol solver error (#8080)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/7982/head at luke/verilator from mirror 2026-08-11 17:51:36 +02:00
aa47ff2448 [#99994] Fix of detecting non-inlined awaits in V3Delayed.cpp
174a0ae5b6 [#99211] Fix scheduler lost trigger - virtualization
2ef131f7ac Fix scheduling of variables written in non-inlined functions in suspendable processes (#7924)
945ea27fec Fix undefined symbol solver error (#8080)
490bd38962 Optimize bounded always properties using ring buffers (#8061)
Compare 25 commits »
luke synced commits to refs/heads/refs/pull/7909/head at luke/verilator from mirror 2026-08-11 17:51:35 +02:00
a5591cb2c6 [#99211] Fix scheduler lost trigger - virtualization
2ef131f7ac Fix scheduling of variables written in non-inlined functions in suspendable processes (#7924)
945ea27fec Fix undefined symbol solver error (#8080)
490bd38962 Optimize bounded always properties using ring buffers (#8061)
121fc62aff Fix VPI cbValueChange for 1-bit select (#8063)
Compare 24 commits »
luke synced commits to refs/heads/refs/pull/7909/merge at luke/verilator from mirror 2026-08-11 17:51:35 +02:00
42c9348f2f Merge a5591cb2c6b1eab72228e68dced23b0169386849 into 2ef131f7ac9666cabe3c35afd5c2e534301ca245
a5591cb2c6 [#99211] Fix scheduler lost trigger - virtualization
2ef131f7ac Fix scheduling of variables written in non-inlined functions in suspendable processes (#7924)
945ea27fec Fix undefined symbol solver error (#8080)
490bd38962 Optimize bounded always properties using ring buffers (#8061)
Compare 8 commits »
luke synced commits to refs/heads/refs/pull/7512/merge at luke/verilator from mirror 2026-08-11 17:51:34 +02:00
1a84918d17 Merge 2a45c7db02fd3a0d4bffe1649af7a4ef7b90dc52 into 2ef131f7ac9666cabe3c35afd5c2e534301ca245
2ef131f7ac Fix scheduling of variables written in non-inlined functions in suspendable processes (#7924)
945ea27fec Fix undefined symbol solver error (#8080)
490bd38962 Optimize bounded always properties using ring buffers (#8061)
121fc62aff Fix VPI cbValueChange for 1-bit select (#8063)
Compare 15 commits »
luke synced commits to refs/heads/refs/pull/7861/merge at luke/verilator from mirror 2026-08-11 17:51:34 +02:00
7fddda5bfd Merge c794f0486452ba6e82d713bdd9afef30a108301f into 945ea27fecf171faf197abaa22b07bab4b02c92a
945ea27fec Fix undefined symbol solver error (#8080)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/7902/merge at luke/verilator from mirror 2026-08-11 17:51:34 +02:00
3fc04dafb2 Merge 1364f402daf9b5906f9876f957d6799ef3557c7d into 2ef131f7ac9666cabe3c35afd5c2e534301ca245
2ef131f7ac Fix scheduling of variables written in non-inlined functions in suspendable processes (#7924)
945ea27fec Fix undefined symbol solver error (#8080)
490bd38962 Optimize bounded always properties using ring buffers (#8061)
121fc62aff Fix VPI cbValueChange for 1-bit select (#8063)
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/7437/head at luke/verilator from mirror 2026-08-11 17:51:33 +02:00
ca3822c53a Four-state logic squash - signals interleave
615df7ca90 Four-state logic squash
490bd38962 Optimize bounded always properties using ring buffers (#8061)
121fc62aff Fix VPI cbValueChange for 1-bit select (#8063)
5d888d2ac0 Add SIMILARNAME warning when variables have names that only differ in lexical case (#7992) (#8020)
Compare 62 commits »
luke synced commits to refs/heads/refs/pull/7437/merge at luke/verilator from mirror 2026-08-11 17:51:33 +02:00
cbf0061f70 Merge ca3822c53aeacff4275452cf33c77a147877147a into 945ea27fecf171faf197abaa22b07bab4b02c92a
945ea27fec Fix undefined symbol solver error (#8080)
ca3822c53a Four-state logic squash - signals interleave
615df7ca90 Four-state logic squash
490bd38962 Optimize bounded always properties using ring buffers (#8061)
Compare 64 commits »
luke synced commits to refs/heads/refs/pull/7193/head at luke/verilator from mirror 2026-08-11 17:51:32 +02:00
615df7ca90 Four-state logic squash
490bd38962 Optimize bounded always properties using ring buffers (#8061)
121fc62aff Fix VPI cbValueChange for 1-bit select (#8063)
5d888d2ac0 Add SIMILARNAME warning when variables have names that only differ in lexical case (#7992) (#8020)
38259d11b6 Fix skipping non-constrained enum constraining when inside object of other class (#8075)
Compare 61 commits »
luke synced commits to refs/heads/refs/pull/7193/merge at luke/verilator from mirror 2026-08-11 17:51:32 +02:00
eb164f61c6 Merge 615df7ca90d03c2cb91f89006f30d38ea184685f into 945ea27fecf171faf197abaa22b07bab4b02c92a
945ea27fec Fix undefined symbol solver error (#8080)
615df7ca90 Four-state logic squash
Compare 3 commits »
luke synced and deleted reference refs/tags/refs/pull/7924/merge at luke/verilator from mirror 2026-08-11 17:51:31 +02:00