• Joined on 2024-06-02
luke synced commits to refs/heads/master at luke/verilator from mirror 2026-08-18 04:16:41 +02:00
7dcd4e0b65 Improve MTask coarsening in multi-threaded scheduling (#8120)
luke synced commits to refs/heads/refs/pull/7967/merge at luke/verilator from mirror 2026-08-18 04:16:41 +02:00
47ada93c12 Merge 2e0ea58b4ea7bb3bd69b6a06359fd8c41c277cee into 7dcd4e0b656ba1b4ca632b55f94b421e2f3bafe9
7dcd4e0b65 Improve MTask coarsening in multi-threaded scheduling (#8120)
ace84ef2b3 Fix simulation hang when the solver stops answering (Part2 of #7991) (#8129)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/8010/head at luke/verilator from mirror 2026-08-18 04:16:41 +02:00
43b33cadec Fix force of a struct-member unpacked array element (#8010)
4f812761e2 Add tests for force of struct-member unpacked array elements (#8010)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8010/merge at luke/verilator from mirror 2026-08-18 04:16:41 +02:00
15235e4240 Merge 43b33cadec46fac19ea92f03f54e9f1c0fa2ce9a into 7dcd4e0b656ba1b4ca632b55f94b421e2f3bafe9
43b33cadec Fix force of a struct-member unpacked array element (#8010)
4f812761e2 Add tests for force of struct-member unpacked array elements (#8010)
7dcd4e0b65 Improve MTask coarsening in multi-threaded scheduling (#8120)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/8042/head at luke/verilator from mirror 2026-08-18 04:16:41 +02:00
779ae41acd Add Unigen2 constrained randomization algorithm
luke synced commits to refs/heads/refs/pull/8042/merge at luke/verilator from mirror 2026-08-18 04:16:41 +02:00
abae6b52be Merge 779ae41acd56e42e6b0c4176d44c39da4f3201cc into ace84ef2b3e3b9a4602eacc96c27b2e62ee6c202
779ae41acd Add Unigen2 constrained randomization algorithm
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8100/merge at luke/verilator from mirror 2026-08-18 04:16:41 +02:00
2d5d794345 Merge 24c21cb72f91b632c492d48bfcea18cfc8edcc06 into 7dcd4e0b656ba1b4ca632b55f94b421e2f3bafe9
7dcd4e0b65 Improve MTask coarsening in multi-threaded scheduling (#8120)
Compare 2 commits »
luke synced and deleted reference refs/tags/refs/pull/8120/merge at luke/verilator from mirror 2026-08-18 04:16:40 +02:00
luke synced commits to refs/heads/refs/pull/1354/merge at luke/iverilog from mirror 2026-08-18 04:06:08 +02:00
b62e475217 Merge 612936aa1bac49da8807a64b6c453dc44b30d69f into b5fdf06475e690ca6db5e0e2bb7749c1c0f9256b
b5fdf06475 Add regression tests for elaborated cast targets
bea0fdeb3c Resolve type and size cast targets during elaboration
506eaa5415 Add tests for dimensions on named types
21bfe06b33 Add tests for named type expression lookup
Compare 19 commits »
luke synced and deleted reference refs/tags/refs/pull/9553/merge at luke/sbt from mirror 2026-08-17 20:16:23 +02:00
luke synced and deleted reference refs/tags/refs/pull/9605/merge at luke/sbt from mirror 2026-08-17 20:16:23 +02:00
luke synced commits to refs/heads/develop at luke/sbt from mirror 2026-08-17 20:16:23 +02:00
0ae3c152bd [2.x] fix: Guard diskcache against path traversal (#9605)
e8f40d68c3 [2.x] fix: sbtn to log connection errors
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/9471/merge at luke/sbt from mirror 2026-08-17 20:16:23 +02:00
c221447131 Merge 893249a91729cc639fdd8fab893f0575953b20b8 into e8f40d68c3b986362b8d6420adedb34c69c224e5
e8f40d68c3 [2.x] fix: sbtn to log connection errors
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/9580/merge at luke/sbt from mirror 2026-08-17 20:16:23 +02:00
6e431bf44c Merge acec976068319d2387f9960b7543ef4c1da96e31 into e8f40d68c3b986362b8d6420adedb34c69c224e5
e8f40d68c3 [2.x] fix: sbtn to log connection errors
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/9602/head at luke/sbt from mirror 2026-08-17 20:16:23 +02:00
6b21e63fd1 Fix choose to use 4-arg apply
luke synced commits to refs/heads/refs/pull/9602/merge at luke/sbt from mirror 2026-08-17 20:16:23 +02:00
c35d7db197 Merge 6b21e63fd1ed8822a2643032ab44b71333f8e330 into c0ffc9dc604ace659d44816593d55904adee1800
6b21e63fd1 Fix choose to use 4-arg apply
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/6123/merge at luke/yosys from mirror 2026-08-17 20:16:08 +02:00
477c6dc00e Merge 4bd6be5b0fc142466ca60f4c4aced8d2cba7a8c1 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 8 commits »
luke synced commits to refs/heads/refs/pull/6124/head at luke/yosys from mirror 2026-08-17 20:16:08 +02:00
027677d43b Move scl cache args to libcache, fix -disable.
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 »