luke
0 Followers · 0 Following
  • Joined on 2024-06-02
Repositories
27
 Projects Packages Public Activity Starred Repositories
luke synced new reference refs/heads/mingw_fix to luke/yosys from mirror 2026-06-17 16:56:00 +02:00
luke synced commits to refs/heads/nella/latch-toggle at luke/yosys from mirror 2026-06-17 16:56:00 +02:00
luke synced new reference refs/heads/nella/latch-toggle to luke/yosys from mirror 2026-06-17 16:56:00 +02:00
luke synced commits to refs/heads/yosys-slang at luke/yosys from mirror 2026-06-17 16:56:00 +02:00
fff66fd180 Fix installation and pyosys
luke synced commits to refs/heads/refs/pull/3453/merge at luke/yosys from mirror 2026-06-17 16:56:00 +02:00
51b7879566 Merge fac71a215cfe7d6d9ecdeead81e929f62f1c3223 into e2903c4a5c4ce6c486bec9e1db813d0e02123e7e
e2903c4a5c Merge pull request #5959 from YosysHQ/improve_test
211fa48ce5 Merge pull request #5962 from YosysHQ/update_abc
3af45e7d04 Some more explanations
0584587f9a Make compilation like by abc scripts
Compare 51 commits »
luke synced and deleted reference refs/tags/refs/pull/1736/merge at luke/nextpnr from mirror 2026-06-17 16:55:58 +02:00
luke synced commits to refs/heads/main at luke/nextpnr from mirror 2026-06-17 16:55:58 +02:00
57682fe537 static: Respect region constraints
175787b2f0 Gowin. BUGFIX. Alu optimization. (#1736)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/1495/merge at luke/nextpnr from mirror 2026-06-17 16:55:58 +02:00
81a09ac56a Merge de38bd34fb7ae08880096163264b693fca5a3b5b into 175787b2f02463cc3d02002397401ae8bffecf2f
175787b2f0 Gowin. BUGFIX. Alu optimization. (#1736)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/1735/merge at luke/nextpnr from mirror 2026-06-17 16:55:58 +02:00
fde76c39e1 Merge 59c8f93a62ee17adc8d1c5d7f399697ffeb85c0f into 175787b2f02463cc3d02002397401ae8bffecf2f
175787b2f0 Gowin. BUGFIX. Alu optimization. (#1736)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/1737/merge at luke/nextpnr from mirror 2026-06-17 16:55:58 +02:00
55a9cbd996 Merge af79b7775c0c24240208a9b4af8922b27cee0660 into 57682fe5376acd06b0b15eb072ed3b1dd32cedcf
57682fe537 static: Respect region constraints
175787b2f0 Gowin. BUGFIX. Alu optimization. (#1736)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/7775/merge at luke/verilator from mirror 2026-06-17 16:46:22 +02:00
66b3560075 Merge f5f7c9a996dc5f349749c96810d363b6c03afe8f into f11c4084d11d8eb5a160e86189f72f8229d20ccd
f11c4084d1 Internals: Minor cleanup of case statement lowering
b581f73843 Support $assertcontrol control_type from lock to kill (#7788)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/7787/merge at luke/verilator from mirror 2026-06-17 16:46:22 +02:00
46efa224a6 Merge 0057eaa68477fcc87feb86e3431f9418b11ac987 into b581f73843dec967cb695020bd8169d914d6838a
b581f73843 Support $assertcontrol control_type from lock to kill (#7788)
a534a1d1bc Fix parameter pollution when using class parameters (#7711) (#7763)
792008514b Fix randomization of dynamic arrs of objects (#7790)
bec45125bd Fix cover property of an implication counting vacuous matches (#7789)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/7788/head at luke/verilator from mirror 2026-06-17 16:46:22 +02:00
533ccbb91a fix coverage: no_optimize to prevent const propagation, cover assertCtl default branch
luke synced and deleted reference refs/tags/refs/pull/7788/merge at luke/verilator from mirror 2026-06-17 16:46:21 +02:00
luke synced commits to refs/heads/master at luke/verilator from mirror 2026-06-17 16:46:21 +02:00
f11c4084d1 Internals: Minor cleanup of case statement lowering
b581f73843 Support $assertcontrol control_type from lock to kill (#7788)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/7748/merge at luke/verilator from mirror 2026-06-17 16:46:21 +02:00
b2ae23d21d Merge 28dbecbe8bf7285a457b4cb82e3bdc8067a71089 into b581f73843dec967cb695020bd8169d914d6838a
b581f73843 Support $assertcontrol control_type from lock to kill (#7788)
a534a1d1bc Fix parameter pollution when using class parameters (#7711) (#7763)
792008514b Fix randomization of dynamic arrs of objects (#7790)
bec45125bd Fix cover property of an implication counting vacuous matches (#7789)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/7754/merge at luke/verilator from mirror 2026-06-17 16:46:21 +02:00
3a2df7a09c Merge 475648ad1044bf65e559a975ae42a70dace1fba6 into b581f73843dec967cb695020bd8169d914d6838a
b581f73843 Support $assertcontrol control_type from lock to kill (#7788)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/7755/merge at luke/verilator from mirror 2026-06-17 16:46:21 +02:00
535287eb9f Merge fe82384ad24303aa2a0516cbfe182cccbcd658ce into b581f73843dec967cb695020bd8169d914d6838a
b581f73843 Support $assertcontrol control_type from lock to kill (#7788)
a534a1d1bc Fix parameter pollution when using class parameters (#7711) (#7763)
792008514b Fix randomization of dynamic arrs of objects (#7790)
bec45125bd Fix cover property of an implication counting vacuous matches (#7789)
Compare 5 commits »
luke synced commits to refs/heads/1.12.x at luke/sbt from mirror 2026-06-17 16:45:56 +02:00
03039176cc [1.x] Update io to 1.12.2 (#9350)
luke synced commits to refs/heads/refs/pull/5736/merge at luke/yosys from mirror 2026-06-17 08:45:56 +02:00
2aebf89a4e Merge 7b88b316019305bdb1c247bdf4b9294d454c8943 into e2903c4a5c4ce6c486bec9e1db813d0e02123e7e
e2903c4a5c Merge pull request #5959 from YosysHQ/improve_test
211fa48ce5 Merge pull request #5962 from YosysHQ/update_abc
3af45e7d04 Some more explanations
0584587f9a Make compilation like by abc scripts
Compare 51 commits »