• Joined on 2024-06-02
luke synced commits to refs/heads/refs/pull/5920/merge at luke/yosys from mirror 2026-08-19 04:48:08 +02:00
3dda247078 Merge 46f9f887f7d0736eda64d61cef56f082bd5936e7 into 9eb62484dc79e1fa0615bce2e00b023a18828686
9eb62484dc Merge pull request #6129 from YosysHQ/nella/flock-improvements
850de483cd Merge pull request #6128 from YosysHQ/update_abc
ed9bdc7665 Update ABC as per 2026-08-18
38b6e5e76c fix WASI, harden scl cache locking.
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/2420/merge at luke/klayout from mirror 2026-08-19 04:38:28 +02:00
6476c9efc2 Merge d20fdeb6a514ba034ca96d30da4581e7758cf975 into 5ff3bb4c4b9cd20ba7ebc24b1ccb214fb52efecf
d20fdeb6a5 Adding standard icon getters for custom PCell parameters page; cleanup
8d712a3749 Added sample to documentation of custom PCell parameters page interface.
53216ede71 Fixing a destruction problem (Qt classes need to come with gsi::ObjectBase to unregister themselves from the script engine when Qt shuts down)
5b903125ec Lots of new widgets supported by GSI with Qt bindings
Compare 12 commits »
luke synced commits to refs/heads/refs/pull/2420/head at luke/klayout from mirror 2026-08-19 04:38:28 +02:00
d20fdeb6a5 Adding standard icon getters for custom PCell parameters page; cleanup
8d712a3749 Added sample to documentation of custom PCell parameters page interface.
53216ede71 Fixing a destruction problem (Qt classes need to come with gsi::ObjectBase to unregister themselves from the script engine when Qt shuts down)
5b903125ec Lots of new widgets supported by GSI with Qt bindings
fb0ce36e1f WIP: Custom widgets
Compare 11 commits »
luke synced commits to refs/heads/wip at luke/klayout from mirror 2026-08-19 04:38:27 +02:00
d20fdeb6a5 Adding standard icon getters for custom PCell parameters page; cleanup
8d712a3749 Added sample to documentation of custom PCell parameters page interface.
53216ede71 Fixing a destruction problem (Qt classes need to come with gsi::ObjectBase to unregister themselves from the script engine when Qt shuts down)
5b903125ec Lots of new widgets supported by GSI with Qt bindings
fb0ce36e1f WIP: Custom widgets
Compare 11 commits »
luke synced commits to refs/heads/refs/pull/8150/merge at luke/verilator from mirror 2026-08-19 04:38:22 +02:00
4d03552e40 Merge 5a9346c1b979158c3c041b907951dd884081b26d into 86b7cfb05cc6b3df965c6ec3ac351c106fdcfabb
5a9346c1b9 Fix self-referential VforceRd corruption across force/assign passes (V3Force)
52123fcbba Fix stale force-read value for a same-edge value change (V3Force)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/8122/merge at luke/verilator from mirror 2026-08-19 04:38:21 +02:00
054bbe928f Merge e6567984c716de29dba0ba1eaa6ea4d29de0cf5d into 86b7cfb05cc6b3df965c6ec3ac351c106fdcfabb
e6567984c7 Fix silent crash on interface references owned by dead module (#8097)
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
8a29360ade Fix NFA assertion crash and mis-counted property if/case (#8074)
b032379de2 Support coverpoint and cross iff (#8125)
Compare 12 commits »
luke synced commits to refs/heads/refs/pull/8130/head at luke/verilator from mirror 2026-08-19 04:38:21 +02:00
17abca8191 Fix procedural tristate assignment overrides (#6785)
luke synced commits to refs/heads/refs/pull/8130/merge at luke/verilator from mirror 2026-08-19 04:38:21 +02:00
339547efdf Merge 17abca8191ad9b7584ff7b6660eb2fbf5b461c31 into 86b7cfb05cc6b3df965c6ec3ac351c106fdcfabb
17abca8191 Fix procedural tristate assignment overrides (#6785)
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
8a29360ade Fix NFA assertion crash and mis-counted property if/case (#8074)
b032379de2 Support coverpoint and cross iff (#8125)
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/8150/head at luke/verilator from mirror 2026-08-19 04:38:21 +02:00
5a9346c1b9 Fix self-referential VforceRd corruption across force/assign passes (V3Force)
52123fcbba Fix stale force-read value for a same-edge value change (V3Force)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/8081/merge at luke/verilator from mirror 2026-08-19 04:38:20 +02:00
187bb31cba Merge 56d42905d45cee06d11d025b5565195ee17cd882 into 86b7cfb05cc6b3df965c6ec3ac351c106fdcfabb
56d42905d4 coverage
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
8a29360ade Fix NFA assertion crash and mis-counted property if/case (#8074)
b032379de2 Support coverpoint and cross iff (#8125)
Compare 17 commits »
luke synced commits to refs/heads/refs/pull/8113/merge at luke/verilator from mirror 2026-08-19 04:38:20 +02:00
53410cee5b Merge 0821c13f73b27f7863407f03c5eae0d925cc5354 into 86b7cfb05cc6b3df965c6ec3ac351c106fdcfabb
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
8a29360ade Fix NFA assertion crash and mis-counted property if/case (#8074)
b032379de2 Support coverpoint and cross iff (#8125)
ba893abb2c Optimize circular logic in Dfg (#7902)
Compare 11 commits »
luke synced commits to refs/heads/refs/pull/8122/head at luke/verilator from mirror 2026-08-19 04:38:20 +02:00
e6567984c7 Fix silent crash on interface references owned by dead module (#8097)
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
8a29360ade Fix NFA assertion crash and mis-counted property if/case (#8074)
b032379de2 Support coverpoint and cross iff (#8125)
ba893abb2c Optimize circular logic in Dfg (#7902)
Compare 26 commits »
luke synced commits to refs/heads/refs/pull/7748/merge at luke/verilator from mirror 2026-08-19 04:38:19 +02:00
87bc9e6da3 Merge 1954b25cc5f60c2d271b2ec32332e7f8f84d9cf8 into 86b7cfb05cc6b3df965c6ec3ac351c106fdcfabb
1954b25cc5 Merge remote-tracking branch 'origin/master' into issue_7746
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
8a29360ade Fix NFA assertion crash and mis-counted property if/case (#8074)
668fd0a706 cleanup
Compare 35 commits »
luke synced commits to refs/heads/refs/pull/7967/head at luke/verilator from mirror 2026-08-19 04:38:19 +02:00
2069a4ec15 Merge branch 'master' into fix-public-flat-rw-packed-unoptflat
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/7967/merge at luke/verilator from mirror 2026-08-19 04:38:19 +02:00
bc2eb1e885 Merge 2069a4ec155cfd428c7e9dad201ee2321eacc8e1 into 86b7cfb05cc6b3df965c6ec3ac351c106fdcfabb
2069a4ec15 Merge branch 'master' into fix-public-flat-rw-packed-unoptflat
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/8042/head at luke/verilator from mirror 2026-08-19 04:38:19 +02:00
7dd32f7069 Add Unigen2 constrained randomization algorithm
luke synced commits to refs/heads/refs/pull/8042/merge at luke/verilator from mirror 2026-08-19 04:38:19 +02:00
eae09685cc Merge 7dd32f70698200acd08be2e2a8da774e55134763 into 86b7cfb05cc6b3df965c6ec3ac351c106fdcfabb
7dd32f7069 Add Unigen2 constrained randomization algorithm
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
8a29360ade Fix NFA assertion crash and mis-counted property if/case (#8074)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/8081/head at luke/verilator from mirror 2026-08-19 04:38:19 +02:00
56d42905d4 coverage
luke synced commits to refs/heads/refs/pull/7748/head at luke/verilator from mirror 2026-08-19 04:38:18 +02:00
1954b25cc5 Merge remote-tracking branch 'origin/master' into issue_7746
86b7cfb05c Optimize associative constant patterns to fixed point (#8147)
8a29360ade Fix NFA assertion crash and mis-counted property if/case (#8074)
b032379de2 Support coverpoint and cross iff (#8125)
ba893abb2c Optimize circular logic in Dfg (#7902)
Compare 68 commits »
luke synced commits to refs/heads/refs/pull/6123/merge at luke/yosys from mirror 2026-08-18 20:38:29 +02:00
ef43190d81 Merge 4bd6be5b0fc142466ca60f4c4aced8d2cba7a8c1 into 9eb62484dc79e1fa0615bce2e00b023a18828686
9eb62484dc Merge pull request #6129 from YosysHQ/nella/flock-improvements
850de483cd Merge pull request #6128 from YosysHQ/update_abc
ed9bdc7665 Update ABC as per 2026-08-18
38b6e5e76c fix WASI, harden scl cache locking.
Compare 9 commits »