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/6077/head at luke/yosys from mirror 2026-08-05 15:17:16 +02:00
7c7bc0c617 write_xaiger2: don't skip adding POs to map file
luke synced commits to refs/heads/refs/pull/6077/merge at luke/yosys from mirror 2026-08-05 15:17:16 +02:00
7dea94625d Merge 7c7bc0c617243639bfad4edcece90d04c891ee31 into 7a2bd64c93b8040d8509f4ced1366aba3e9da87e
7c7bc0c617 write_xaiger2: don't skip adding POs to map file
7a2bd64c93 Merge pull request #6080 from YosysHQ/emil/hashlib-noexcept
a5af9d690a Merge pull request #6083 from YosysHQ/release/v0.68
b7646c76a0 Next dev cycle
Compare 8 commits »
luke synced commits to refs/tags/v0.68 at luke/yosys from mirror 2026-08-05 15:17:16 +02:00
luke synced new reference refs/tags/v0.68 to luke/yosys from mirror 2026-08-05 15:17:16 +02:00
luke synced commits to refs/heads/main at luke/yosys from mirror 2026-08-05 15:17:15 +02:00
1410a14345 Merge pull request #6030 from YosysHQ/nella/eqbits-perf-enhancements
f2cf07584d Improve test coverage.
fae99416d4 Only init modwalker once.
eff7e1f360 Budget SAT effort via shared SatEffortBudget.
9ae214932e Add reusable SatEffortBudget helper to qcsat.
Compare 17 commits »
luke synced commits to refs/heads/mmicko/driver at luke/yosys from mirror 2026-08-05 15:17:15 +02:00
826e449695 wip
b967f8d64e WIP
a5af9d690a Merge pull request #6083 from YosysHQ/release/v0.68
b7646c76a0 Next dev cycle
38e001a6ff Release version 0.68
Compare 29 commits »
luke synced commits to refs/heads/nella/fix-1595 at luke/yosys from mirror 2026-08-05 15:17:15 +02:00
luke synced new reference refs/heads/nella/fix-1595 to luke/yosys from mirror 2026-08-05 15:17:15 +02:00
luke synced commits to refs/heads/refs/pull/6030/head at luke/yosys from mirror 2026-08-05 15:17:15 +02:00
f2cf07584d Improve test coverage.
fae99416d4 Only init modwalker once.
eff7e1f360 Budget SAT effort via shared SatEffortBudget.
9ae214932e Add reusable SatEffortBudget helper to qcsat.
8d712e6b79 Add SAT effort test.
Compare 16 commits »
luke synced commits to refs/heads/refs/pull/6035/merge at luke/yosys from mirror 2026-08-05 15:17:15 +02:00
3f00897d9f Merge 4d215665a12b18d49979b733034a80cdaf28e94b into a5af9d690a43744bf6b2cc3dea2717c16b54621c
a5af9d690a Merge pull request #6083 from YosysHQ/release/v0.68
b7646c76a0 Next dev cycle
38e001a6ff Release version 0.68
ebf286ab40 Code cleanup
Compare 21 commits »
luke synced and deleted reference refs/tags/emil/hashlib-noexcept at luke/yosys from mirror 2026-08-05 15:17:14 +02:00
luke synced and deleted reference refs/tags/nella/eqbits-perf-enhancements at luke/yosys from mirror 2026-08-05 15:17:14 +02:00
luke synced and deleted reference refs/tags/refs/pull/6030/merge at luke/yosys from mirror 2026-08-05 15:17:14 +02:00
luke synced and deleted reference refs/tags/refs/pull/6080/merge at luke/yosys from mirror 2026-08-05 15:17:14 +02:00
luke synced commits to refs/heads/lofty/abc-refactor-8 at luke/yosys from mirror 2026-08-05 15:17:14 +02:00
7c7bc0c617 write_xaiger2: don't skip adding POs to map file
luke synced commits to refs/heads/refs/pull/1742/merge at luke/nextpnr from mirror 2026-08-05 15:16:54 +02:00
e72d890ff4 Merge ec321c5b6a1d8a0218cc5f0047ffc753f4c21cac into 8d8053e0c5ec1c15e22d5d88ffd53034f4b92de5
8d8053e0c5 xilinx: Make router2 default
a3938de734 clangformat
d324239345 xilinx: clean up some compiler warnings
049f38659a util: Replace use of strcasecmp in boolstr_or_default
Compare 8 commits »
luke synced commits to refs/heads/refs/pull/1765/merge at luke/nextpnr from mirror 2026-08-05 15:16:54 +02:00
d71a4dfe7f Merge 4fd89bca9ac6e698a0b399364282e1048a628ac6 into 8d8053e0c5ec1c15e22d5d88ffd53034f4b92de5
8d8053e0c5 xilinx: Make router2 default
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/1766/merge at luke/nextpnr from mirror 2026-08-05 15:16:54 +02:00
17c0a21f16 Merge 0690ca7f1691a4835af7a351e907481589f6262d into 8d8053e0c5ec1c15e22d5d88ffd53034f4b92de5
8d8053e0c5 xilinx: Make router2 default
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/1768/merge at luke/nextpnr from mirror 2026-08-05 15:16:54 +02:00
7f54bee541 Merge c39f26e93a9e3d92dcc0191b145b6013ec29a57c into 8d8053e0c5ec1c15e22d5d88ffd53034f4b92de5
8d8053e0c5 xilinx: Make router2 default
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/9439/merge at luke/sbt from mirror 2026-08-05 15:07:37 +02:00
baada70b69 Merge 0b33fa207f8642694c0e140e17f9cb32ecd66570 into b0c840105be127d1f4039404569b4ed427fa0bd3
b0c840105b [2.x] fix: Bound the client boot wait when the forked server never starts (#9549)
380ff6b569 [2.x] test: Add regression test for resource reading (#9552)
Compare 3 commits »