• Joined on 2024-06-02
luke synced and deleted reference refs/tags/refs/pull/7835/merge at luke/verilator from mirror 2026-06-25 20:23:03 +02:00
luke synced and deleted reference refs/tags/refs/pull/7837/merge at luke/verilator from mirror 2026-06-25 20:23:03 +02:00
luke synced commits to refs/heads/master at luke/verilator from mirror 2026-06-25 20:23:03 +02:00
f0f1c44dd6 Fix object randomization skipped by an unrelated global constraint (#7833) (#7838)
b73a897db3 Optimize module inlining heuristic (#7837)
000afcf52d Support variable-length intersect in SVA sequences (#7835)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/6918/merge at luke/verilator from mirror 2026-06-25 20:23:03 +02:00
e0f96da659 Merge 37c18031d3b0d35ab00f4eb62c085ea14353c6ae into f0f1c44dd69a4dd17f923c9ca2f85dda8c006820
f0f1c44dd6 Fix object randomization skipped by an unrelated global constraint (#7833) (#7838)
b73a897db3 Optimize module inlining heuristic (#7837)
000afcf52d Support variable-length intersect in SVA sequences (#7835)
0ebae43713 Apply 'make format' [ci skip]
Compare 56 commits »
luke synced commits to refs/heads/refs/pull/7835/head at luke/verilator from mirror 2026-06-25 20:23:03 +02:00
f528c96ab1 address review and fix combiner over-acceptance
luke synced commits to refs/heads/refs/pull/9376/head at luke/sbt from mirror 2026-06-25 20:22:55 +02:00
318e323692 Reformat build.sbt mima filters for scalafmtSbt
9412fa9270 Consolidate sendFailureReport into one method
68495abb3d DRY forbidden diagnostic message detection in the test
5b0b0b4885 Add explanatory comment for the diagnostics test
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/9376/merge at luke/sbt from mirror 2026-06-25 20:22:55 +02:00
a5dec68352 Merge 318e323692976c2413af4623530b9a49722497c4 into 4766e4370d5333e82667e18f94ce6a50099654d1
318e323692 Reformat build.sbt mima filters for scalafmtSbt
9412fa9270 Consolidate sendFailureReport into one method
68495abb3d DRY forbidden diagnostic message detection in the test
5b0b0b4885 Add explanatory comment for the diagnostics test
Compare 6 commits »
luke synced commits to refs/heads/ccache at luke/yosys from mirror 2026-06-25 20:22:53 +02:00
luke synced new reference refs/heads/ccache to luke/yosys from mirror 2026-06-25 20:22:53 +02:00
luke synced commits to refs/heads/update_abc at luke/yosys from mirror 2026-06-25 20:22:53 +02:00
luke synced new reference refs/heads/update_abc to luke/yosys from mirror 2026-06-25 20:22:53 +02:00
luke synced commits to refs/heads/refs/pull/659/merge at luke/openFPGALoader from mirror 2026-06-25 20:22:41 +02:00
b2a5581c3e Merge f764683711acd65c5fbb4a78dbb0eadc3a6f34b0 into d90fa0ca85763f0d91de89c17c55a20fc35fba94
d90fa0ca85 Merge pull request #676 from boondocklabs/master
7478e2804b Add support for alibaba cloud xcku3p card
78d3508428 Merge pull request #663 from gHashTag/feat/qmtech-xc7a100t-board
a1c4208510 Merge pull request #671 from MYJ695/master
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/676/head at luke/openFPGALoader from mirror 2026-06-25 20:22:41 +02:00
7478e2804b Add support for alibaba cloud xcku3p card
78d3508428 Merge pull request #663 from gHashTag/feat/qmtech-xc7a100t-board
a1c4208510 Merge pull request #671 from MYJ695/master
2829abd10e Merge pull request #684 from matschi95/efinix_ti375n484
f60df2989b Add Efinix Ti375N484 support
Compare 16 commits »
luke synced and deleted reference refs/tags/refs/pull/663/merge at luke/openFPGALoader from mirror 2026-06-25 20:22:40 +02:00
luke synced and deleted reference refs/tags/refs/pull/671/merge at luke/openFPGALoader from mirror 2026-06-25 20:22:40 +02:00
luke synced and deleted reference refs/tags/refs/pull/676/merge at luke/openFPGALoader from mirror 2026-06-25 20:22:40 +02:00
luke synced and deleted reference refs/tags/refs/pull/684/merge at luke/openFPGALoader from mirror 2026-06-25 20:22:40 +02:00
luke synced commits to refs/heads/gh-pages at luke/openFPGALoader from mirror 2026-06-25 20:22:40 +02:00
d24984a209 deploy: d90fa0ca85763f0d91de89c17c55a20fc35fba94
338b250f0e deploy: 78d3508428a78688ae4b2f54fc2f95bb5a7ef9b7
78261cf4c6 deploy: a1c4208510ff51d1ea9cd9359377ad250fd611d5
c9b7dd1e7a deploy: 2829abd10e87c8d5e0d185e9103c566047111ce9
Compare 4 commits »
luke synced commits to refs/heads/master at luke/openFPGALoader from mirror 2026-06-25 20:22:40 +02:00
d90fa0ca85 Merge pull request #676 from boondocklabs/master
7478e2804b Add support for alibaba cloud xcku3p card
78d3508428 Merge pull request #663 from gHashTag/feat/qmtech-xc7a100t-board
a1c4208510 Merge pull request #671 from MYJ695/master
2829abd10e Merge pull request #684 from matschi95/efinix_ti375n484
Compare 8 commits »
luke synced commits to refs/heads/yosys-experimental at luke/abc from mirror 2026-06-25 20:12:38 +02:00
a35f806b8c Change to ABC_NO_HISTORY so it is possible to change externally
476b31cac5 Merge remote-tracking branch 'upstream' into yosys-experimental
3ce53c361f Merge pull request #519 from heshpdx/master
2eb8f38cd1 Fix build errors and spacing
7d253d7cb2 Do not support extension "e" (equiv classes of nodes).
Compare 23 commits »