• Joined on 2024-06-02
luke synced commits to refs/heads/refs/pull/7869/merge at luke/verilator from mirror 2026-07-06 19:56:34 +02:00
427ad0b6c2 Merge c618361fa2006fd457f11cb162646a48151d61a8 into 56b0b679c6418127f9b191068fc257100aaebace
56b0b679c6 CI: Disable ccache on coverage jobs (#7887)
6baea8d846 CI: Bump the everything group with 5 updates (#7884)
fcc7acbfc6 CI: Factor out artifact based caching as a reusable action (#7883)
bf4c72f93b CI: Squash macos brew warning (#7881)
Compare 8 commits »
luke synced commits to refs/heads/refs/pull/7875/head at luke/verilator from mirror 2026-07-06 19:56:34 +02:00
119493ee8a Merge remote-tracking branch 'upstream/master' into fix/gap33-inside-impl-mixwidth
0e055fd334 Width inside range bounds in the InsideRange visitor per review
5750c888a6 CI: Improve ccache handling in build and test jobs (#7874)
8b564f509b CI: Remove macos-15 gcc job
c7c778f109 CI: Improve Pages job
Compare 145 commits »
luke synced commits to refs/heads/refs/pull/7875/merge at luke/verilator from mirror 2026-07-06 19:56:34 +02:00
efc1a7740d Merge 119493ee8a33b7e91242dd4b8e64a82a66ee43c1 into fcc7acbfc64f32a043938f50ea88011e47ae49f3
119493ee8a Merge remote-tracking branch 'upstream/master' into fix/gap33-inside-impl-mixwidth
0e055fd334 Width inside range bounds in the InsideRange visitor per review
fcc7acbfc6 CI: Factor out artifact based caching as a reusable action (#7883)
bf4c72f93b CI: Squash macos brew warning (#7881)
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/7748/head at luke/verilator from mirror 2026-07-06 19:56:33 +02:00
b6b745ffa3 Move curDTypeP test to loop
f0f240209f UASSERT_OBJ
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/7748/merge at luke/verilator from mirror 2026-07-06 19:56:33 +02:00
e6fab13a44 Merge b6b745ffa3dffeb5ccd7fa7ad7f3d5a23fff049d into 6baea8d8462246fcbd20469ef2b7a74c224e75af
b6b745ffa3 Move curDTypeP test to loop
f0f240209f UASSERT_OBJ
6baea8d846 CI: Bump the everything group with 5 updates (#7884)
fcc7acbfc6 CI: Factor out artifact based caching as a reusable action (#7883)
Compare 22 commits »
luke synced commits to refs/heads/refs/pull/7836/head at luke/verilator from mirror 2026-07-06 19:56:33 +02:00
25fc4601da [#99211] Fix scheduler lost trigger
5750c888a6 CI: Improve ccache handling in build and test jobs (#7874)
8b564f509b CI: Remove macos-15 gcc job
c7c778f109 CI: Improve Pages job
cbd78e689c CI: Cleanup Windows build (#7873)
Compare 18 commits »
luke synced commits to refs/heads/refs/pull/7836/merge at luke/verilator from mirror 2026-07-06 19:56:33 +02:00
4b434c30dc Merge 25fc4601dabdca37bd66da10e09565b07f6aa575 into bf4c72f93b4d28919fc36fde8992e8eb656d982d
bf4c72f93b CI: Squash macos brew warning (#7881)
c78a342bdc CI: Don't Python make venv on cache hit
c2ed0aab00 CI: Use ci-install.bash for lint-py dependencies (#7880)
5563b3b6f8 CI: Cache Python venv (#7879)
Compare 23 commits »
luke synced commits to refs/heads/refs/pull/7846/head at luke/verilator from mirror 2026-07-06 19:56:33 +02:00
988376614c Reject unsupported sequence event topology and drop matching-value comments
3f09b5fbb7 Exempt sequence event controls from default disable iff and assertion control and cleanup redundant comments
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/7852/merge at luke/verilator from mirror 2026-07-06 19:56:33 +02:00
70c56a1d00 Merge 008d612dadd666821ff2c749f1c0c0d7db2dff2c into bf4c72f93b4d28919fc36fde8992e8eb656d982d
bf4c72f93b CI: Squash macos brew warning (#7881)
c78a342bdc CI: Don't Python make venv on cache hit
c2ed0aab00 CI: Use ci-install.bash for lint-py dependencies (#7880)
5563b3b6f8 CI: Cache Python venv (#7879)
Compare 6 commits »
luke synced and deleted reference refs/tags/refs/pull/7846/merge at luke/verilator from mirror 2026-07-06 19:56:32 +02:00
luke synced commits to refs/heads/master at luke/verilator from mirror 2026-07-06 19:56:32 +02:00
a5f4d40901 Fix range delays with parameter bounds (#7882)
8ed0acf1ec Support a sequence used as an event control (#7797) (#7846)
39b646349f Add --enable-light-debug configure option (#7886)
56b0b679c6 CI: Disable ccache on coverage jobs (#7887)
6baea8d846 CI: Bump the everything group with 5 updates (#7884)
Compare 10 commits »
luke synced and deleted reference refs/tags/refs/pull/9409/merge at luke/sbt from mirror 2026-07-06 19:56:21 +02:00
luke synced commits to refs/heads/develop at luke/sbt from mirror 2026-07-06 19:56:21 +02:00
8773c55965 Support given in build.sbt
luke synced commits to refs/heads/refs/pull/5997/merge at luke/yosys from mirror 2026-07-06 19:56:03 +02:00
0fa3520aec Merge b06c57b2bfdec18427fc09cb158ca34020b47525 into 006cbc8f72a3ee11d2f35db552a89aab14671cdb
006cbc8f72 Merge pull request #5842 from YosysHQ/nella/opt_dff_elim_improvements
0e56ca02ed Make opt_dff -sat conflict with -keepdc.
46cbeab720 Add effort limit.
75a30a22d6 Cleanup bitsim, document hypo.
Compare 13 commits »
luke synced commits to refs/heads/refs/pull/6000/merge at luke/yosys from mirror 2026-07-06 19:56:03 +02:00
2292dc62cb Merge 1b6c0c2d3b6005aaa3a46a67b8eeb636898207cd into 006cbc8f72a3ee11d2f35db552a89aab14671cdb
006cbc8f72 Merge pull request #5842 from YosysHQ/nella/opt_dff_elim_improvements
0e56ca02ed Make opt_dff -sat conflict with -keepdc.
46cbeab720 Add effort limit.
75a30a22d6 Cleanup bitsim, document hypo.
Compare 13 commits »
luke synced commits to refs/heads/main at luke/yosys from mirror 2026-07-06 19:56:02 +02:00
aa18c921a7 Merge pull request #5967 from YosysHQ/yosys-slang
05c0adae77 Slang frontend integration
006cbc8f72 Merge pull request #5842 from YosysHQ/nella/opt_dff_elim_improvements
0e56ca02ed Make opt_dff -sat conflict with -keepdc.
46cbeab720 Add effort limit.
Compare 14 commits »
luke synced commits to refs/heads/nella/x-wildcard at luke/yosys from mirror 2026-07-06 19:56:02 +02:00
2b4ec9d57a Fix covers_nothing.
luke synced commits to refs/heads/refs/pull/5842/head at luke/yosys from mirror 2026-07-06 19:56:02 +02:00
0e56ca02ed Make opt_dff -sat conflict with -keepdc.
luke synced commits to refs/heads/refs/pull/5967/head at luke/yosys from mirror 2026-07-06 19:56:02 +02:00
05c0adae77 Slang frontend integration
luke synced commits to refs/heads/refs/pull/5976/merge at luke/yosys from mirror 2026-07-06 19:56:02 +02:00
81094fa4f1 Merge cffe462567b760bc17fe863fdcbde630140cc7e3 into 006cbc8f72a3ee11d2f35db552a89aab14671cdb
006cbc8f72 Merge pull request #5842 from YosysHQ/nella/opt_dff_elim_improvements
0e56ca02ed Make opt_dff -sat conflict with -keepdc.
46cbeab720 Add effort limit.
75a30a22d6 Cleanup bitsim, document hypo.
Compare 13 commits »