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/5585/merge at luke/yosys from mirror 2026-06-23 19:13:13 +02:00
372847a273 Merge 829a2f174a2fa0691da67907c2777411239a6b1f into 5d7486115ae5c5a4f87a4b8f9173b5f245a22536
5d7486115a Merge pull request #5887 from YosysHQ/nella/fix-signedness-4402
2195277b5a Merge pull request #5960 from YosysHQ/nella/latch-infer
c99a037c33 Merge pull request #5886 from YosysHQ/nella/fix-signedness-5745
c9805ceb33 Merge pull request #5966 from maliberty/lz4-1.10.0-cve
Compare 46 commits »
luke synced commits to refs/heads/refs/pull/5586/merge at luke/yosys from mirror 2026-06-23 19:13:13 +02:00
bee9fa2a63 Merge 2ed89e02daca1d841235e2aa2b267dc8b6f0b549 into 5d7486115ae5c5a4f87a4b8f9173b5f245a22536
5d7486115a Merge pull request #5887 from YosysHQ/nella/fix-signedness-4402
2195277b5a Merge pull request #5960 from YosysHQ/nella/latch-infer
c99a037c33 Merge pull request #5886 from YosysHQ/nella/fix-signedness-5745
c9805ceb33 Merge pull request #5966 from maliberty/lz4-1.10.0-cve
Compare 133 commits »
luke synced commits to refs/heads/nak/write_btor_bweqx at luke/yosys from mirror 2026-06-23 19:13:12 +02:00
b2fccbb52f handle $bewqx in btor backend
luke synced commits to refs/heads/nella/fuse-2 at luke/yosys from mirror 2026-06-23 19:13:12 +02:00
2b6214ad71 Add eq tests.
1c851aecfb Fixup op precedence.
Compare 2 commits »
luke synced commits to refs/heads/nella/latch-toggle at luke/yosys from mirror 2026-06-23 19:13:12 +02:00
b3b1394cf1 Fixup level policy.
luke synced commits to refs/heads/yosys-slang at luke/yosys from mirror 2026-06-23 19:13:12 +02:00
c3cd687d3c Remove nix parameter
b3d163c801 Update to latest, for fixing MSVC build
a37ac475fa Cleanup after warnings fix
cfef7cc41e Propagate required version info
de2472a31f Temporary fix for docs
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/2477/merge at luke/yosys from mirror 2026-06-23 19:13:12 +02:00
c0b526c3d0 Merge 349fc479cb275de1f02de9e42ce8bd1114c18752 into 5d7486115ae5c5a4f87a4b8f9173b5f245a22536
5d7486115a Merge pull request #5887 from YosysHQ/nella/fix-signedness-4402
2195277b5a Merge pull request #5960 from YosysHQ/nella/latch-infer
c99a037c33 Merge pull request #5886 from YosysHQ/nella/fix-signedness-5745
c9805ceb33 Merge pull request #5966 from maliberty/lz4-1.10.0-cve
Compare 11 commits »
luke synced commits to refs/heads/refs/pull/3118/merge at luke/yosys from mirror 2026-06-23 19:13:12 +02:00
7565bfd0e9 Merge d3a79afce2a2987729d065101a4a1a008abfd9f0 into 5d7486115ae5c5a4f87a4b8f9173b5f245a22536
5d7486115a Merge pull request #5887 from YosysHQ/nella/fix-signedness-4402
2195277b5a Merge pull request #5960 from YosysHQ/nella/latch-infer
c99a037c33 Merge pull request #5886 from YosysHQ/nella/fix-signedness-5745
c9805ceb33 Merge pull request #5966 from maliberty/lz4-1.10.0-cve
Compare 133 commits »
luke synced commits to refs/heads/refs/pull/3311/merge at luke/yosys from mirror 2026-06-23 19:13:12 +02:00
a49eb8bfe5 Merge c96e19bd436022d214cede1dcaf11910cfadbdf1 into 5d7486115ae5c5a4f87a4b8f9173b5f245a22536
5d7486115a Merge pull request #5887 from YosysHQ/nella/fix-signedness-4402
2195277b5a Merge pull request #5960 from YosysHQ/nella/latch-infer
c99a037c33 Merge pull request #5886 from YosysHQ/nella/fix-signedness-5745
c9805ceb33 Merge pull request #5966 from maliberty/lz4-1.10.0-cve
Compare 133 commits »
luke synced commits to refs/heads/refs/pull/3453/merge at luke/yosys from mirror 2026-06-23 19:13:12 +02:00
1fccc4a16c Merge fac71a215cfe7d6d9ecdeead81e929f62f1c3223 into 5d7486115ae5c5a4f87a4b8f9173b5f245a22536
5d7486115a Merge pull request #5887 from YosysHQ/nella/fix-signedness-4402
2195277b5a Merge pull request #5960 from YosysHQ/nella/latch-infer
c99a037c33 Merge pull request #5886 from YosysHQ/nella/fix-signedness-5745
c9805ceb33 Merge pull request #5966 from maliberty/lz4-1.10.0-cve
Compare 13 commits »
luke synced commits to refs/heads/refs/pull/4004/merge at luke/yosys from mirror 2026-06-23 19:13:12 +02:00
b60ad7a3a3 Merge aa86e6355e3b351400fe7cae12fba4e82238f7a5 into 5d7486115ae5c5a4f87a4b8f9173b5f245a22536
5d7486115a Merge pull request #5887 from YosysHQ/nella/fix-signedness-4402
2195277b5a Merge pull request #5960 from YosysHQ/nella/latch-infer
c99a037c33 Merge pull request #5886 from YosysHQ/nella/fix-signedness-5745
c9805ceb33 Merge pull request #5966 from maliberty/lz4-1.10.0-cve
Compare 133 commits »
luke synced commits to refs/heads/refs/pull/4201/merge at luke/yosys from mirror 2026-06-23 19:13:12 +02:00
a1497f5042 Merge 51a377be44d088abae099f2a1acf44b76718987b into 5d7486115ae5c5a4f87a4b8f9173b5f245a22536
5d7486115a Merge pull request #5887 from YosysHQ/nella/fix-signedness-4402
2195277b5a Merge pull request #5960 from YosysHQ/nella/latch-infer
c99a037c33 Merge pull request #5886 from YosysHQ/nella/fix-signedness-5745
c9805ceb33 Merge pull request #5966 from maliberty/lz4-1.10.0-cve
Compare 133 commits »
luke synced commits to refs/heads/refs/pull/4437/merge at luke/yosys from mirror 2026-06-23 19:13:12 +02:00
290d8a7898 Merge 260cc42c2f635bafcff3e5aa574528759db52096 into 5d7486115ae5c5a4f87a4b8f9173b5f245a22536
5d7486115a Merge pull request #5887 from YosysHQ/nella/fix-signedness-4402
2195277b5a Merge pull request #5960 from YosysHQ/nella/latch-infer
c99a037c33 Merge pull request #5886 from YosysHQ/nella/fix-signedness-5745
c9805ceb33 Merge pull request #5966 from maliberty/lz4-1.10.0-cve
Compare 114 commits »
luke synced commits to refs/heads/refs/pull/4930/merge at luke/yosys from mirror 2026-06-23 19:13:12 +02:00
26440e5ca9 Merge 913ac04764dfdeebc9f965e4cae889098062faf6 into 5d7486115ae5c5a4f87a4b8f9173b5f245a22536
5d7486115a Merge pull request #5887 from YosysHQ/nella/fix-signedness-4402
2195277b5a Merge pull request #5960 from YosysHQ/nella/latch-infer
c99a037c33 Merge pull request #5886 from YosysHQ/nella/fix-signedness-5745
c9805ceb33 Merge pull request #5966 from maliberty/lz4-1.10.0-cve
Compare 114 commits »
luke synced commits to refs/heads/refs/pull/5122/merge at luke/yosys from mirror 2026-06-23 19:13:12 +02:00
23c5eadad8 Merge 62b29b0b758989879170660dd82cd32a0f94cd5d into 5d7486115ae5c5a4f87a4b8f9173b5f245a22536
5d7486115a Merge pull request #5887 from YosysHQ/nella/fix-signedness-4402
2195277b5a Merge pull request #5960 from YosysHQ/nella/latch-infer
c99a037c33 Merge pull request #5886 from YosysHQ/nella/fix-signedness-5745
c9805ceb33 Merge pull request #5966 from maliberty/lz4-1.10.0-cve
Compare 61 commits »
luke synced commits to refs/heads/refs/pull/5478/merge at luke/yosys from mirror 2026-06-23 19:13:12 +02:00
e2398f799d Merge c59a2b047ddf517c8d57b81d2c21cb18640716a8 into 5d7486115ae5c5a4f87a4b8f9173b5f245a22536
5d7486115a Merge pull request #5887 from YosysHQ/nella/fix-signedness-4402
2195277b5a Merge pull request #5960 from YosysHQ/nella/latch-infer
c99a037c33 Merge pull request #5886 from YosysHQ/nella/fix-signedness-5745
c9805ceb33 Merge pull request #5966 from maliberty/lz4-1.10.0-cve
Compare 119 commits »
luke synced and deleted reference refs/tags/refs/pull/5886/merge at luke/yosys from mirror 2026-06-23 19:13:11 +02:00
luke synced and deleted reference refs/tags/refs/pull/5887/merge at luke/yosys from mirror 2026-06-23 19:13:11 +02:00
luke synced and deleted reference refs/tags/refs/pull/5952/merge at luke/yosys from mirror 2026-06-23 19:13:11 +02:00
luke synced and deleted reference refs/tags/refs/pull/5953/merge at luke/yosys from mirror 2026-06-23 19:13:11 +02:00