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/7624/merge at luke/verilator from mirror 2026-05-21 07:30:38 +02:00
986c3859b8 Merge 96caf8843aa944d736239441730dae79d730d9fa into 69b3c5f6d1a3485d0c81084d47b8005c157749bf
96caf8843a Fix verilator#7417, verilator#7623: Error on reduction and negation operators
69b3c5f6d1 Support streaming on queues (#7597)
c5798f902b Fix reference counting for modport task references (#7628)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/7632/head at luke/verilator from mirror 2026-05-21 07:30:38 +02:00
b1e56b2a15 docs: add Lucas Amaral to CONTRIBUTORS
6cdf122f4a fix(tristate): support partial-SEL drivers with pullup/pulldown
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/7632/merge at luke/verilator from mirror 2026-05-21 07:30:38 +02:00
7ce7fa8075 Merge b1e56b2a158a6271b412ea5c0de48d40cc9330dc into 69b3c5f6d1a3485d0c81084d47b8005c157749bf
b1e56b2a15 docs: add Lucas Amaral to CONTRIBUTORS
6cdf122f4a fix(tristate): support partial-SEL drivers with pullup/pulldown
69b3c5f6d1 Support streaming on queues (#7597)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/7512/merge at luke/verilator from mirror 2026-05-21 07:30:38 +02:00
ea9b1719fc Merge 2a45c7db02fd3a0d4bffe1649af7a4ef7b90dc52 into 69b3c5f6d1a3485d0c81084d47b8005c157749bf
69b3c5f6d1 Support streaming on queues (#7597)
c5798f902b Fix reference counting for modport task references (#7628)
d874d2fd06 Apply 'make format'
9e4863589e Fix non-determinism in FSM detection (#7619)
Compare 11 commits »
luke synced commits to refs/heads/refs/pull/7602/merge at luke/verilator from mirror 2026-05-21 07:30:38 +02:00
57df198edf Merge da3a22c084daa654476ff6cd7e02a7b64a8946dd into c5798f902b32e6144c93252e37f917d8d99c7678
c5798f902b Fix reference counting for modport task references (#7628)
d874d2fd06 Apply 'make format'
9e4863589e Fix non-determinism in FSM detection (#7619)
daa4a108de Commentary: Debugging non-determinism
Compare 6 commits »
luke synced commits to refs/heads/refs/pull/7621/merge at luke/verilator from mirror 2026-05-21 07:30:38 +02:00
f40588cd7e Merge f3887925b5325a82999e8dd3d5e6373c926adc68 into 69b3c5f6d1a3485d0c81084d47b8005c157749bf
69b3c5f6d1 Support streaming on queues (#7597)
c5798f902b Fix reference counting for modport task references (#7628)
d874d2fd06 Apply 'make format'
9e4863589e Fix non-determinism in FSM detection (#7619)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/7624/head at luke/verilator from mirror 2026-05-21 07:30:38 +02:00
96caf8843a Fix verilator#7417, verilator#7623: Error on reduction and negation operators
luke synced and deleted reference refs/tags/refs/pull/7597/merge at luke/verilator from mirror 2026-05-21 07:30:37 +02:00
luke synced commits to refs/heads/master at luke/verilator from mirror 2026-05-21 07:30:37 +02:00
69b3c5f6d1 Support streaming on queues (#7597)
luke synced commits to refs/heads/refs/pull/7313/merge at luke/verilator from mirror 2026-05-21 07:30:37 +02:00
77897fd48b Merge 2d4073999afa5ba962e4174fbece628565844ec7 into 69b3c5f6d1a3485d0c81084d47b8005c157749bf
69b3c5f6d1 Support streaming on queues (#7597)
c5798f902b Fix reference counting for modport task references (#7628)
d874d2fd06 Apply 'make format'
9e4863589e Fix non-determinism in FSM detection (#7619)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/1882/merge at luke/klayout from mirror 2026-05-21 07:30:30 +02:00
92a9c0543b Merge 686c6abd2b5c9bbdcc932cdb5b358b9d5a351917 into 0eed5d6ea58c463771984b58461951bc846ff46a
0eed5d6ea5 Merge pull request #2354 from KLayout/wip
10860d5a68 Merge pull request #2352 from KLayout/bugfix/issue-2345
f05d619b36 Merge pull request #2349 from KLayout/dependabot/github_actions/pypa/gh-action-pypi-publish-1.14.0
cd0fbd94ec Merge pull request #2348 from KLayout/dependabot/github_actions/pypa/cibuildwheel-3.4.1
Compare 29 commits »
luke synced and deleted reference refs/tags/refs/pull/5889/merge at luke/yosys from mirror 2026-05-20 23:50:56 +02:00
luke synced commits to refs/heads/krys/verific_memsize at luke/yosys from mirror 2026-05-20 23:50:56 +02:00
cf75a6ef45 verific: Fix upto ranges
luke synced commits to refs/heads/nella/opt_dff_elim_improvements at luke/yosys from mirror 2026-05-20 23:50:56 +02:00
04a1611346 Tests.
bbec8d2902 Gate behind flag.
c6bf13bb94 Implement worklist and SAT counterexample splitting.
d85e3f10de Add tests.
f69a5fc077 Elim equiv bits.
Compare 120 commits »
luke synced commits to refs/heads/refs/pull/5842/head at luke/yosys from mirror 2026-05-20 23:50:56 +02:00
04a1611346 Tests.
bbec8d2902 Gate behind flag.
c6bf13bb94 Implement worklist and SAT counterexample splitting.
d85e3f10de Add tests.
f69a5fc077 Elim equiv bits.
Compare 120 commits »
luke synced commits to refs/heads/refs/pull/5842/merge at luke/yosys from mirror 2026-05-20 23:50:56 +02:00
54cef5b4e5 Merge 04a1611346afbd7ffbed8b4d625c674694a1f972 into 9d0cdb8551d7262a3b41533b048295719eaf5142
04a1611346 Tests.
bbec8d2902 Gate behind flag.
c6bf13bb94 Implement worklist and SAT counterexample splitting.
d85e3f10de Add tests.
Compare 12 commits »
luke synced commits to refs/heads/refs/pull/5895/merge at luke/yosys from mirror 2026-05-20 23:50:56 +02:00
573e3ff60b Merge 5f1d2297aa8cc734aa1801f3d89458ae28da02b6 into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/5903/head at luke/yosys from mirror 2026-05-20 23:50:56 +02:00
cf75a6ef45 verific: Fix upto ranges
luke synced commits to refs/heads/refs/pull/5903/merge at luke/yosys from mirror 2026-05-20 23:50:56 +02:00
7a94fcda30 Merge cf75a6ef4581edf7730651033d1724e5a32bd4c8 into 9d0cdb8551d7262a3b41533b048295719eaf5142
cf75a6ef45 verific: Fix upto ranges
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
Compare 8 commits »
luke synced commits to refs/heads/refs/pull/9078/merge at luke/sbt from mirror 2026-05-20 23:20:49 +02:00
55b7510cfa Merge ee6137da2a759679f8028d39eee2ed32c5a3529e into 03965281df4a3073d7404205c52587d72fdef37a
03965281df Improve deprecation UX for watchSources (#9247)
696626e195 [2.x] fix: Add regression test (#9246)
3eeac9deae [2.x] fix: Collapse duplicate subtrees in dependency tree rendering (#9226)
536e676481 [2.x] refactor: format launcherPackageIntegrationTest (#9245)
Compare 23 commits »