• Joined on 2024-06-02
luke synced commits to refs/heads/refs/pull/7950/merge at luke/verilator from mirror 2026-07-28 03:08:26 +02:00
884c6f1190 Merge 97e7d400fc0c512a8aaf852bb87979733bc5d4fa into de4de1c3f8cca11699e43f6608f077f0f501b719
de4de1c3f8 CI: Bump the everything group with 2 updates (#7989)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/7958/merge at luke/verilator from mirror 2026-07-28 03:08:26 +02:00
a7982abb64 Merge d611e20249b4ee270f35f9f2b1efcb6e4f5a0290 into de4de1c3f8cca11699e43f6608f077f0f501b719
de4de1c3f8 CI: Bump the everything group with 2 updates (#7989)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/7967/merge at luke/verilator from mirror 2026-07-28 03:08:26 +02:00
7db338a89a Merge 2e0ea58b4ea7bb3bd69b6a06359fd8c41c277cee into de4de1c3f8cca11699e43f6608f077f0f501b719
de4de1c3f8 CI: Bump the everything group with 2 updates (#7989)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/7971/merge at luke/verilator from mirror 2026-07-28 03:08:26 +02:00
275fcdcc3a Merge a34ffc3f1574fe7c8c04c80772d888ba3729443e into de4de1c3f8cca11699e43f6608f077f0f501b719
de4de1c3f8 CI: Bump the everything group with 2 updates (#7989)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/7852/merge at luke/verilator from mirror 2026-07-28 03:08:25 +02:00
98849e0b9d Merge 3d42cdc2e168041f4fbaeca2f2d7c7fcf45a62a7 into de4de1c3f8cca11699e43f6608f077f0f501b719
de4de1c3f8 CI: Bump the everything group with 2 updates (#7989)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/7945/merge at luke/verilator from mirror 2026-07-28 03:08:25 +02:00
6541cc6507 Merge 4eb5b4839cefd596bf19137195a402c9c14749bf into de4de1c3f8cca11699e43f6608f077f0f501b719
de4de1c3f8 CI: Bump the everything group with 2 updates (#7989)
f8fb1d6646 Fix SYNCASYNCNET false positive with changed non-edge logic (#7980).
d2de6b42cf * Fix $fgets being mis-optimized away (#7976).
370a40348b Commentary: Changes update
Compare 8 commits »
luke synced commits to refs/heads/refs/pull/594/merge at luke/openFPGALoader from mirror 2026-07-28 03:08:15 +02:00
c82746b0a9 Merge b6df4b8699028d9b311504b3398ac7b601781875 into 0041a204019d074e6e39078e055f46350c36df3a
0041a20401 Added support for part xcvu7p-flvb2104, idcode 0x14B29093 (#695)
e4a987d8b4 Merge pull request #696 from mer0m/master
d0c9da6e77 Merge pull request #694 from kjellpeterson-shotover/master
e8201c9010 Merge pull request #693 from daxzio/alinx_axku_boards
Compare 11 commits »
luke synced commits to refs/heads/refs/pull/690/merge at luke/openFPGALoader from mirror 2026-07-28 03:08:15 +02:00
58679807d2 Merge 4700951b4827395967b6de9e40f18b384eb8791f into 0041a204019d074e6e39078e055f46350c36df3a
0041a20401 Added support for part xcvu7p-flvb2104, idcode 0x14B29093 (#695)
e4a987d8b4 Merge pull request #696 from mer0m/master
d0c9da6e77 Merge pull request #694 from kjellpeterson-shotover/master
e8201c9010 Merge pull request #693 from daxzio/alinx_axku_boards
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/6036/merge at luke/yosys from mirror 2026-07-27 19:08:34 +02:00
ae3bc480e0 Merge 52b828e72582e6e31e8b826cd52ddd71842c2462 into 2c28591b8e28d4111c64f80f0bb28a8764caa26e
52b828e725 Extend latch policy.
41bc2cc3ca Fixup README.
45eceae320 Document always_latch.
ab67fdd107 Test.
Compare 13 commits »
luke synced commits to refs/heads/refs/pull/6049/merge at luke/yosys from mirror 2026-07-27 19:08:34 +02:00
5c02efe37e Merge e138c218cc5afe7770ef67abfa3364c83dc8230b into 2c28591b8e28d4111c64f80f0bb28a8764caa26e
2c28591b8e Merge pull request #6067 from donn/force_static_ffi
a216efad1c wheels: force static libffi in build
5d2fbf8187 Merge pull request #5961 from YosysHQ/emil/opt_muxtree-fix-reconvergence
29a6295d7c tests/opt: Fix comments
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/6055/merge at luke/yosys from mirror 2026-07-27 19:08:34 +02:00
e555f86b7b Merge c771db06bbe41967d921c5f1d92cffbb838bb1e5 into 5d2fbf818750d49ed250641f2aabfe644e86c97b
5d2fbf8187 Merge pull request #5961 from YosysHQ/emil/opt_muxtree-fix-reconvergence
29a6295d7c tests/opt: Fix comments
7d942b9893 opt_muxtree: inhibit opt on reconvergence
709149c42a opt_muxtree: add reconvergence test
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/6064/merge at luke/yosys from mirror 2026-07-27 19:08:34 +02:00
09dc48a892 Merge 1af8ded0cb98d9610b624e880d4c3e6f6c0a6c8e into 5d2fbf818750d49ed250641f2aabfe644e86c97b
5d2fbf8187 Merge pull request #5961 from YosysHQ/emil/opt_muxtree-fix-reconvergence
7defa51862 Merge pull request #6007 from YosysHQ/nella/fix-shift-fold
29a6295d7c tests/opt: Fix comments
5628dff0bd Fix wide shift count fold.
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/6065/merge at luke/yosys from mirror 2026-07-27 19:08:34 +02:00
993305911f Merge 8c7b1921d208f82e4e7a8a03bd0ee76fb3e9bbad into 5d2fbf818750d49ed250641f2aabfe644e86c97b
5d2fbf8187 Merge pull request #5961 from YosysHQ/emil/opt_muxtree-fix-reconvergence
29a6295d7c tests/opt: Fix comments
7d942b9893 opt_muxtree: inhibit opt on reconvergence
709149c42a opt_muxtree: add reconvergence test
Compare 5 commits »
luke synced new reference refs/heads/emil/aigmap-remove-unused-cache to luke/yosys from mirror 2026-07-27 19:08:33 +02:00
luke synced commits to refs/heads/main at luke/yosys from mirror 2026-07-27 19:08:33 +02:00
2c28591b8e Merge pull request #6067 from donn/force_static_ffi
a216efad1c wheels: force static libffi in build
5d2fbf8187 Merge pull request #5961 from YosysHQ/emil/opt_muxtree-fix-reconvergence
29a6295d7c tests/opt: Fix comments
7d942b9893 opt_muxtree: inhibit opt on reconvergence
Compare 6 commits »
luke synced commits to refs/heads/nella/eqbits-perf-enhancements at luke/yosys from mirror 2026-07-27 19:08:33 +02:00
88da4a644b Budget SAT effort via shared SatEffortBudget.
3ac8daafd1 Add reusable SatEffortBudget helper to qcsat.
Compare 2 commits »
luke synced commits to refs/heads/nella/latch-diagnostics-2 at luke/yosys from mirror 2026-07-27 19:08:33 +02:00
52b828e725 Extend latch policy.
41bc2cc3ca Fixup README.
45eceae320 Document always_latch.
ab67fdd107 Test.
42af67b8e7 Test.
Compare 12 commits »
luke synced commits to refs/heads/refs/pull/5929/merge at luke/yosys from mirror 2026-07-27 19:08:33 +02:00
69d0b7bf1f Merge 511017acc1ee35584827a4a33864d80f270a32aa into 2c28591b8e28d4111c64f80f0bb28a8764caa26e
2c28591b8e Merge pull request #6067 from donn/force_static_ffi
a216efad1c wheels: force static libffi in build
5d2fbf8187 Merge pull request #5961 from YosysHQ/emil/opt_muxtree-fix-reconvergence
29a6295d7c tests/opt: Fix comments
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/5976/merge at luke/yosys from mirror 2026-07-27 19:08:33 +02:00
12a68b15cf Merge 6f1f3752e487c3b415fe59ad82ee53e9542b3109 into 5d2fbf818750d49ed250641f2aabfe644e86c97b
5d2fbf8187 Merge pull request #5961 from YosysHQ/emil/opt_muxtree-fix-reconvergence
29a6295d7c tests/opt: Fix comments
7d942b9893 opt_muxtree: inhibit opt on reconvergence
709149c42a opt_muxtree: add reconvergence test
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/6030/head at luke/yosys from mirror 2026-07-27 19:08:33 +02:00
88da4a644b Budget SAT effort via shared SatEffortBudget.
3ac8daafd1 Add reusable SatEffortBudget helper to qcsat.
Compare 2 commits »