luke
0 Followers · 0 Following
  • Joined on 2024-06-02
Repositories
27
 Projects Packages Public Activity Starred Repositories
luke synced and deleted reference refs/tags/lofty/abc-refactor-10 at luke/yosys from mirror 2026-08-17 20:16:07 +02:00
luke synced and deleted reference refs/tags/nella/scl-cache-arg at luke/yosys from mirror 2026-08-17 20:16:07 +02:00
luke synced commits to refs/heads/lofty/abc-refactor-11 at luke/yosys from mirror 2026-08-17 20:16:07 +02:00
luke synced new reference refs/heads/lofty/abc-refactor-11 to luke/yosys from mirror 2026-08-17 20:16:07 +02:00
luke synced commits to refs/heads/log-wip at luke/yosys from mirror 2026-08-17 20:16:07 +02:00
541a6048b5 Make some more calls private
luke synced commits to refs/heads/main at luke/yosys from mirror 2026-08-17 20:16:07 +02:00
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.
bbcbdcec09 Add test.
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/5548/merge at luke/yosys from mirror 2026-08-17 20:16:07 +02:00
8ce4cac477 Merge fb40e019aa16495d1f6dd5edb549a49eea11952b into 8c5789903a4df607466664146bdd7ed55875e13d
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
5efa8187ad Add control over scl cache.
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/5920/merge at luke/yosys from mirror 2026-08-17 20:16:07 +02:00
ebb688c4d9 Merge 46f9f887f7d0736eda64d61cef56f082bd5936e7 into 8c5789903a4df607466664146bdd7ed55875e13d
8c5789903a Merge pull request #6124 from YosysHQ/nella/scl-cache-arg
027677d43b Move scl cache args to libcache, fix -disable.
5efa8187ad Add control over scl cache.
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/6065/merge at luke/yosys from mirror 2026-08-17 20:16:07 +02:00
8a07fda0cf Merge 8c7b1921d208f82e4e7a8a03bd0ee76fb3e9bbad into 598862f45bfb86d5c50e9869cb21e2292c943727
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.
bbcbdcec09 Add test.
Compare 21 commits »
luke synced commits to refs/heads/refs/pull/6116/merge at luke/yosys from mirror 2026-08-17 20:16:07 +02:00
dc324b297f Merge 1c1c56dfad81213e27b37b0c7f2a6a4ab187ae23 into dbe5b7c03f0608df3d87bcd2053512da943ff3fd
dbe5b7c03f Merge pull request #6118 from Emin017/emin/key-abc-scl-cache
b564fa2e71 liberty_cache: key SCL cache on ABC executable mtime and size
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/6121/merge at luke/yosys from mirror 2026-08-17 20:16:07 +02:00
ee7e61e7e2 Merge 07ac2e34988b7245af12e10d26f71f8e682d22ae 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/8128/head at luke/verilator from mirror 2026-08-17 20:06:05 +02:00
ba07c337df guard
luke synced commits to refs/heads/refs/pull/8128/merge at luke/verilator from mirror 2026-08-17 20:06:05 +02:00
8017b6c406 Merge ba07c337df47994cc603b7bdca9c9f7a5d4a99f3 into ace84ef2b3e3b9a4602eacc96c27b2e62ee6c202
ba07c337df guard
ace84ef2b3 Fix simulation hang when the solver stops answering (Part2 of #7991) (#8129)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/8130/merge at luke/verilator from mirror 2026-08-17 20:06:05 +02:00
7c43dffa20 Merge bcd86752793c7a15218828dc278332492b0ceb31 into ace84ef2b3e3b9a4602eacc96c27b2e62ee6c202
ace84ef2b3 Fix simulation hang when the solver stops answering (Part2 of #7991) (#8129)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8042/merge at luke/verilator from mirror 2026-08-17 20:06:04 +02:00
3a81df7588 Merge e9bc7de3a5d865b4cdd0267e783b4a37e88cacb5 into ace84ef2b3e3b9a4602eacc96c27b2e62ee6c202
e9bc7de3a5 Add Unigen2 constrained randomization algorithm
ace84ef2b3 Fix simulation hang when the solver stops answering (Part2 of #7991) (#8129)
a3553e7bee Add runtime support for covergroup cross-points (#7847)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/8074/merge at luke/verilator from mirror 2026-08-17 20:06:04 +02:00
62d8aa804c Merge c370f0d166dab748b2c0f622f60285dcd4f3ade2 into ace84ef2b3e3b9a4602eacc96c27b2e62ee6c202
ace84ef2b3 Fix simulation hang when the solver stops answering (Part2 of #7991) (#8129)
a3553e7bee Add runtime support for covergroup cross-points (#7847)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/8100/merge at luke/verilator from mirror 2026-08-17 20:06:04 +02:00
f8eee1e7c3 Merge 24c21cb72f91b632c492d48bfcea18cfc8edcc06 into ace84ef2b3e3b9a4602eacc96c27b2e62ee6c202
ace84ef2b3 Fix simulation hang when the solver stops answering (Part2 of #7991) (#8129)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8113/head at luke/verilator from mirror 2026-08-17 20:06:04 +02:00
0821c13f73 Fix invalid C++ on cast
649598c74c Fix unintended side-effect insertion on associative array read (#8077)
0a3657517d Optimize temporary insertion for single bit replicates in DFG (#8110)
2957939d4b Throw unsupported when reduction constraining dynamic subarray (#8111)
abf199cf0e Fix randc cycling in a class that also uses solve...before (Part1 of #7991) (#8055)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/8113/merge at luke/verilator from mirror 2026-08-17 20:06:04 +02:00
f8c0c265ea Merge 0821c13f73b27f7863407f03c5eae0d925cc5354 into a3553e7beeab9e812f51614a356c8645a18da62c
0821c13f73 Fix invalid C++ on cast
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8114/merge at luke/verilator from mirror 2026-08-17 20:06:04 +02:00
cb52d6b745 Merge 4d3276506535dfaf911385225143d3c41c2df6a0 into ace84ef2b3e3b9a4602eacc96c27b2e62ee6c202
ace84ef2b3 Fix simulation hang when the solver stops answering (Part2 of #7991) (#8129)
Compare 2 commits »