• Joined on 2024-06-02
luke synced and deleted reference refs/tags/test_cleanup at luke/yosys from mirror 2026-05-20 15:30:31 +02:00
luke synced and deleted reference refs/tags/refs/pull/5901/merge at luke/yosys from mirror 2026-05-20 15:30:31 +02:00
luke synced commits to refs/heads/lofty/abc9-refactor-5 at luke/yosys from mirror 2026-05-20 15:30:31 +02:00
luke synced commits to refs/heads/main at luke/yosys from mirror 2026-05-20 15:30:31 +02:00
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
15e09163cd Do not use Makefile.conf
Compare 6 commits »
luke synced commits to refs/heads/micko/cmake-ci at luke/yosys from mirror 2026-05-20 15:30:31 +02:00
luke synced new reference refs/heads/micko/cmake-ci to luke/yosys from mirror 2026-05-20 15:30:31 +02:00
luke synced commits to refs/heads/refs/pull/9013/merge at luke/sbt from mirror 2026-05-20 15:11:05 +02:00
f9c358ed3c Merge 61faf2650ab9c79d98a1f4a38bd9e482c941cee0 into 03965281df4a3073d7404205c52587d72fdef37a
03965281df Improve deprecation UX for watchSources (#9247)
696626e195 [2.x] fix: Add regression test (#9246)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/9034/merge at luke/sbt from mirror 2026-05-20 15:11:05 +02:00
b052fd2d59 Merge d439ab018383793b724d3b76c7077ca4bee2c9d6 into 03965281df4a3073d7404205c52587d72fdef37a
03965281df Improve deprecation UX for watchSources (#9247)
696626e195 [2.x] fix: Add regression test (#9246)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/9213/merge at luke/sbt from mirror 2026-05-20 15:11:05 +02:00
3d35983f62 Merge 48227f439f7bc7e73da7a383a595eaa160d1fcb1 into 03965281df4a3073d7404205c52587d72fdef37a
03965281df Improve deprecation UX for watchSources (#9247)
696626e195 [2.x] fix: Add regression test (#9246)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/9229/merge at luke/sbt from mirror 2026-05-20 15:11:05 +02:00
c85a6a4b83 Merge d2bba56667c179fa4698d2c5d054e6a80fa21db2 into 03965281df4a3073d7404205c52587d72fdef37a
03965281df Improve deprecation UX for watchSources (#9247)
696626e195 [2.x] fix: Add regression test (#9246)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/9244/merge at luke/sbt from mirror 2026-05-20 15:11:05 +02:00
ed1f6b823f Merge fa169dcabed46f9b18524845e3b01d7d9709f7aa 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)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/7608/merge at luke/verilator from mirror 2026-05-20 15:11:00 +02:00
51a6e402c4 Merge c252057fca30a0f7d5060059ab86f6c0ddb5290d into daa4a108de694351ffe2a401ad638ba751a20641
c252057fca Fix #7350: warn on always_comb ordering
daa4a108de Commentary: Debugging non-determinism
f3a86bacdd Commentary: Changes update
afad8db672 Fix VlWide equality comparion in unpacked structs (#7618)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/7595/merge at luke/verilator from mirror 2026-05-20 15:10:59 +02:00
a494c89fea Merge 044aa4396160c0913604dc890fe907adbcec0748 into daa4a108de694351ffe2a401ad638ba751a20641
daa4a108de Commentary: Debugging non-determinism
f3a86bacdd Commentary: Changes update
afad8db672 Fix VlWide equality comparion in unpacked structs (#7618)
cb3b9c7c43 Fix nested parameterized class typedef chain (#7538)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/7597/merge at luke/verilator from mirror 2026-05-20 15:10:59 +02:00
a89c18e515 Merge 5e112dc891596c16b6e1007b63364de58d55ebbd into 9e4863589e9d9de3340084ed878c47b9283d6024
9e4863589e Fix non-determinism in FSM detection (#7619)
daa4a108de Commentary: Debugging non-determinism
f3a86bacdd Commentary: Changes update
afad8db672 Fix VlWide equality comparion in unpacked structs (#7618)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/7604/merge at luke/verilator from mirror 2026-05-20 15:10:59 +02:00
3a0997481f Merge 50cfb2565b59a844bb6779a7f93b59d4e32f1521 into daa4a108de694351ffe2a401ad638ba751a20641
daa4a108de Commentary: Debugging non-determinism
f3a86bacdd Commentary: Changes update
afad8db672 Fix VlWide equality comparion in unpacked structs (#7618)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/7608/head at luke/verilator from mirror 2026-05-20 15:10:59 +02:00
c252057fca Fix #7350: warn on always_comb ordering
daa4a108de Commentary: Debugging non-determinism
f3a86bacdd Commentary: Changes update
afad8db672 Fix VlWide equality comparion in unpacked structs (#7618)
cb3b9c7c43 Fix nested parameterized class typedef chain (#7538)
Compare 10 commits »
luke synced commits to refs/heads/master at luke/verilator from mirror 2026-05-20 15:10:58 +02:00
d874d2fd06 Apply 'make format'
9e4863589e Fix non-determinism in FSM detection (#7619)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/7193/merge at luke/verilator from mirror 2026-05-20 15:10:58 +02:00
62904e8816 Merge 1c740c8be4b0f78e06031de8335a6d3d3989ce90 into d874d2fd065e2d4095888ceea67cb590d0bf45e6
d874d2fd06 Apply 'make format'
9e4863589e Fix non-determinism in FSM detection (#7619)
daa4a108de Commentary: Debugging non-determinism
f3a86bacdd Commentary: Changes update
Compare 6 commits »
luke synced commits to refs/heads/refs/pull/7313/merge at luke/verilator from mirror 2026-05-20 15:10:58 +02:00
23e9d1b0e3 Merge 2d4073999afa5ba962e4174fbece628565844ec7 into daa4a108de694351ffe2a401ad638ba751a20641
daa4a108de Commentary: Debugging non-determinism
f3a86bacdd Commentary: Changes update
afad8db672 Fix VlWide equality comparion in unpacked structs (#7618)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/7527/merge at luke/verilator from mirror 2026-05-20 15:10:58 +02:00
9cdad4b088 Merge 00ceb245e67ba92f5981f5bc6f39094dc0e790bc into d874d2fd065e2d4095888ceea67cb590d0bf45e6
d874d2fd06 Apply 'make format'
9e4863589e Fix non-determinism in FSM detection (#7619)
daa4a108de Commentary: Debugging non-determinism
f3a86bacdd Commentary: Changes update
Compare 28 commits »