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/5478/merge at luke/yosys from mirror 2026-08-18 12:36:17 +02:00
1bd56d2309 Merge c59a2b047ddf517c8d57b81d2c21cb18640716a8 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/4437/merge at luke/yosys from mirror 2026-08-18 12:36:16 +02:00
34009b0225 Merge 260cc42c2f635bafcff3e5aa574528759db52096 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 45 commits »
luke synced commits to refs/heads/refs/pull/4930/merge at luke/yosys from mirror 2026-08-18 12:36:16 +02:00
1c351d9dec Merge 913ac04764dfdeebc9f965e4cae889098062faf6 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/4201/merge at luke/yosys from mirror 2026-08-18 12:36:15 +02:00
2cc40816bd Merge 51a377be44d088abae099f2a1acf44b76718987b 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/main at luke/yosys from mirror 2026-08-18 12:36:14 +02:00
850de483cd Merge pull request #6128 from YosysHQ/update_abc
ed9bdc7665 Update ABC as per 2026-08-18
Compare 2 commits »
luke synced commits to refs/heads/nella/flock-improvements at luke/yosys from mirror 2026-08-18 12:36:14 +02:00
luke synced new reference refs/heads/nella/flock-improvements to luke/yosys from mirror 2026-08-18 12:36:14 +02:00
luke synced commits to refs/heads/refs/pull/2477/merge at luke/yosys from mirror 2026-08-18 12:36:14 +02:00
e0a199ca7d Merge 349fc479cb275de1f02de9e42ce8bd1114c18752 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 and deleted reference refs/tags/refs/pull/6127/merge at luke/yosys from mirror 2026-08-18 12:36:13 +02:00
luke synced commits to refs/heads/gh-readonly-queue/main/pr-6129-850de483cdae0a428d8887bcf370fdc3ae06f013 at luke/yosys from mirror 2026-08-18 12:36:13 +02:00
luke synced new reference refs/heads/gh-readonly-queue/main/pr-6129-850de483cdae0a428d8887bcf370fdc3ae06f013 to luke/yosys from mirror 2026-08-18 12:36:13 +02:00
luke synced commits to refs/heads/lofty/abc-refactor-11 at luke/yosys from mirror 2026-08-18 12:36:13 +02:00
541d240930 synth_coolrunner2: remove
luke synced commits to refs/heads/refs/pull/1742/merge at luke/nextpnr from mirror 2026-08-18 12:36:02 +02:00
0d89a56324 Merge ec321c5b6a1d8a0218cc5f0047ffc753f4c21cac into 4d235150266df2fa5c2c6102c67aa16ff34e6469
4d23515026 router2: Fix reservation around pre-routed nets
3e8ddf3a77 gatemate: Reserve one level further uphill if needed
c6eca2405b gatemate: Also use clock router for RAM clocks
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/594/merge at luke/openFPGALoader from mirror 2026-08-18 12:35:59 +02:00
97f511a7d1 Merge b6df4b8699028d9b311504b3398ac7b601781875 into 63c519c3c57ded2d8cc412197d8b781115b1922a
63c519c3c5 Merge pull request #690 from Feyorsh/xvc-fix
9eb0a19f81 Merge pull request #719 from rates37/docs/de10-lite-10m50d
4b44486dce docs: document DE10-lite MAX 10 support
b31fa6cfd0 altera.cpp: max10 fixed cfm_addr and done_bit_addr for 10M50D
Compare 13 commits »
luke synced commits to refs/heads/refs/pull/708/merge at luke/openFPGALoader from mirror 2026-08-18 12:35:59 +02:00
b0d7ef1cfd Merge 3a81f8b81102fced943f62d7ac18bf3b5c0e6b38 into 63c519c3c57ded2d8cc412197d8b781115b1922a
63c519c3c5 Merge pull request #690 from Feyorsh/xvc-fix
4700951b48 ftdiJtagMPSSE.cpp: fix alignment issue
Compare 3 commits »
luke synced commits to refs/heads/yosys-experimental at luke/abc from mirror 2026-08-18 12:26:30 +02:00
a51bf4a7bb WASI fix
89b0b366a2 Merge remote-tracking branch 'upstream/master' into yosys-experimental
5ea3464324 Merge pull request #535 from aiquoc/experiment-x-aware-equivalence-checking
324081b6a4 Update word-level data-structure
371e53f93e Merge pull request #545 from fxreichl/master
Compare 23 commits »
luke synced commits to refs/heads/master at luke/abc from mirror 2026-08-18 12:26:29 +02:00
5ea3464324 Merge pull request #535 from aiquoc/experiment-x-aware-equivalence-checking
324081b6a4 Update word-level data-structure
371e53f93e Merge pull request #545 from fxreichl/master
89bef47d8d Merge pull request #543 from marcelwa/cec-verdict-const0
fe862d3647 Merge pull request #541 from marcelwa/acd-local-extend-shift-ub
Compare 32 commits »
luke synced commits to refs/heads/mmicko/wasifix at luke/abc from mirror 2026-08-18 12:26:29 +02:00
luke synced new reference refs/heads/mmicko/wasifix to luke/abc from mirror 2026-08-18 12:26:29 +02:00
luke synced commits to refs/heads/refs/pull/8136/head at luke/verilator from mirror 2026-08-18 12:26:17 +02:00
f0bf303a66 Rename a shadowing local in the solver tamper script
8bcdf9964b Merge remote-tracking branch 'upstream/master' into fix/7991-solver-reply
c3a7990575 Address review comments and cover every new line and branch
74d12c5b5e Fix 'get-value' for empty constrained arrays (#8138)
d4a18d4dfb Fix unordered data hazards in multi-threaded scheduling (#8133)
Compare 8 commits »