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/5904/merge at luke/yosys from mirror 2026-08-18 12:36:26 +02:00
c350cc9241 Merge 8efecef3f993cae483ba0e7058f178c795d74cd9 into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 17 commits »
luke synced commits to refs/heads/refs/pull/5920/merge at luke/yosys from mirror 2026-08-18 12:36:26 +02:00
628b68305c Merge 46f9f887f7d0736eda64d61cef56f082bd5936e7 into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
bbcbdcec09 Add test.
ce0785a01b Limit SAT effort.
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/5939/merge at luke/yosys from mirror 2026-08-18 12:36:26 +02:00
e185c7f897 Merge 556a19c611f212b351dbb825514682f284eec31e into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 23 commits »
luke synced commits to refs/heads/refs/pull/5738/merge at luke/yosys from mirror 2026-08-18 12:36:25 +02:00
c3254d65ba Merge 841a29496d25d99e2b92bdb3dcdafefdf898e786 into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 10 commits »
luke synced commits to refs/heads/refs/pull/5856/merge at luke/yosys from mirror 2026-08-18 12:36:25 +02:00
bb20a0dc91 Merge 77b63be4d238e87b9a377051c15f90ee2e7615e4 into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 17 commits »
luke synced commits to refs/heads/refs/pull/5716/merge at luke/yosys from mirror 2026-08-18 12:36:24 +02:00
7ebad50cee Merge 76d286ebe47162ff2acd7b9e4da436230eacf550 into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 23 commits »
luke synced commits to refs/heads/refs/pull/5730/merge at luke/yosys from mirror 2026-08-18 12:36:24 +02:00
b65be13e1f Merge 3d6d9c5d4f6fff1d6c132857aadeb0f5a387a2ea into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 12 commits »
luke synced commits to refs/heads/refs/pull/5736/merge at luke/yosys from mirror 2026-08-18 12:36:24 +02:00
20d848b25f Merge 7b88b316019305bdb1c247bdf4b9294d454c8943 into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 17 commits »
luke synced commits to refs/heads/refs/pull/5619/merge at luke/yosys from mirror 2026-08-18 12:36:23 +02:00
2221c1acff Merge eb5a9cc96a4521cf47b9203a55862a78f44a6e65 into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 10 commits »
luke synced commits to refs/heads/refs/pull/5705/merge at luke/yosys from mirror 2026-08-18 12:36:23 +02:00
84dffd741b Merge ba8a0f5adf9a5f78826edbef7e3851429d185515 into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 17 commits »
luke synced commits to refs/heads/refs/pull/5586/merge at luke/yosys from mirror 2026-08-18 12:36:22 +02:00
5d3d8a9e81 Merge 2ed89e02daca1d841235e2aa2b267dc8b6f0b549 into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 10 commits »
luke synced commits to refs/heads/refs/pull/5611/merge at luke/yosys from mirror 2026-08-18 12:36:22 +02:00
109f4983a2 Merge 9fcb15213e53174a6d3a6d94790535b62be0f326 into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 23 commits »
luke synced commits to refs/heads/refs/pull/5585/merge at luke/yosys from mirror 2026-08-18 12:36:21 +02:00
91d0a97b92 Merge 829a2f174a2fa0691da67907c2777411239a6b1f into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 10 commits »
luke synced commits to refs/heads/refs/pull/5584/merge at luke/yosys from mirror 2026-08-18 12:36:20 +02:00
d7a24fecc2 Merge e0ce4b42f6b3a4a5a1ac87892cfa24035aa78724 into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 10 commits »
luke synced commits to refs/heads/refs/pull/5570/merge at luke/yosys from mirror 2026-08-18 12:36:19 +02:00
514916b4d3 Merge 824d03368e8cef481c3b0362112cd1dfcf9355b8 into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 31 commits »
luke synced commits to refs/heads/refs/pull/5578/merge at luke/yosys from mirror 2026-08-18 12:36:19 +02:00
eed5c26e21 Merge 42c9b9ef681b318b44e29ef47addc0fcd4d38947 into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 10 commits »
luke synced commits to refs/heads/refs/pull/5583/merge at luke/yosys from mirror 2026-08-18 12:36:19 +02:00
2b8db925fe Merge 9f908d674994edb4b9ff92a8186747100c162cb0 into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 10 commits »
luke synced commits to refs/heads/refs/pull/5548/merge at luke/yosys from mirror 2026-08-18 12:36:18 +02:00
20c151fece Merge fb40e019aa16495d1f6dd5edb549a49eea11952b into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
bbcbdcec09 Add test.
ce0785a01b Limit SAT effort.
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/5554/merge at luke/yosys from mirror 2026-08-18 12:36:18 +02:00
f2ca404fc1 Merge 64e4624d5cd85ca7872b7266d16cda1520a0ebac into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 33 commits »
luke synced commits to refs/heads/refs/pull/5122/merge at luke/yosys from mirror 2026-08-18 12:36:17 +02:00
9f06c0eaad Merge 62b29b0b758989879170660dd82cd32a0f94cd5d into 621d943ac87adc932bdabb53f4f51af8433611f0
621d943ac8 Merge pull request #6101 from YosysHQ/lofty/abc-refactor-10
598862f45b Merge pull request #6125 from YosysHQ/nella/share-sat-effort
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
Compare 12 commits »