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/refs/pull/7412/merge at luke/verilator from mirror 2026-04-23 00:17:38 +02:00
luke synced and deleted reference refs/tags/refs/pull/7465/merge at luke/verilator from mirror 2026-04-23 00:17:38 +02:00
luke synced and deleted reference refs/tags/refs/pull/7469/merge at luke/verilator from mirror 2026-04-23 00:17:38 +02:00
luke synced commits to refs/heads/master at luke/verilator from mirror 2026-04-23 00:17:38 +02:00
e4da16caf0 Apply 'make format'
a680919edc Support native FSM state and arc coverage (#7412)
41ddf4d9b6 Apply 'make format'
5cddbd7fda Fix tracing virtual interface member written from classes (#5044) (#7465)
496665800d Internals: Annotate AstNode classes to generate matching DfgVertex (#7469)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/7448/merge at luke/verilator from mirror 2026-04-23 00:17:38 +02:00
5470f0528e Merge 0903e1bc6e7613d1aa563b4e23d614b30d334da5 into e4da16caf09e446361030ce55a9fdb2ae0bdef1f
0903e1bc6e re-run
60bd94d108 Apply 'make format'
44d675d673 Address review: simplify addNext; tighten disable soft grammar to constraint_primary
e4da16caf0 Apply 'make format'
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/7461/head at luke/verilator from mirror 2026-04-23 00:17:38 +02:00
da2709e910 update .out, and re-run ci
3ee3fca86d Update src/V3AssertNfa.cpp
f831ea1962 Merge branch 'master' into fix/sva-within
6f93b5ebe4 Merge cov/sva-within-sexpr-p10: cover sexpr yWITHIN sexpr grammar path
e4da16caf0 Apply 'make format'
Compare 27 commits »
luke synced commits to refs/heads/refs/pull/7461/merge at luke/verilator from mirror 2026-04-23 00:17:38 +02:00
6c8264588e Merge da2709e9106569faa847e2ab8513a1560139704c into e4da16caf09e446361030ce55a9fdb2ae0bdef1f
da2709e910 update .out, and re-run ci
3ee3fca86d Update src/V3AssertNfa.cpp
f831ea1962 Merge branch 'master' into fix/sva-within
6f93b5ebe4 Merge cov/sva-within-sexpr-p10: cover sexpr yWITHIN sexpr grammar path
Compare 11 commits »
luke synced commits to refs/heads/refs/pull/351/head at luke/OpenSTA from mirror 2026-04-23 00:17:17 +02:00
bc3791beb4 updated doc to remove blocked content from doc
9356d4b91b updated doc to include testing strategies with vtune
2368afc19c fix for walk past reg/ck for clk-only pass
a062f2b1f1 fix to address codex review regarding vertices remaining permanently marked as in-queue and be skipped by future enqueue()
9305ce864b testcase showing the problem: post-Stage-2 cleanup called queue_[level].clear() which dropped vertices that ArrivalVisitor::enqueueRefPinInputDelays had enqueued during Stage 2 without clearing their bfsInQueue flag leaving it stuck at true and permanently suppressing all future enqueue() calls for those vertices.
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/351/merge at luke/OpenSTA from mirror 2026-04-23 00:17:17 +02:00
f587470302 Merge bc3791beb4908a2a04915c51abceb468f55f8701 into 8e42af1759e09a3e528e0b5b4332a4250f8a8de9
bc3791beb4 updated doc to remove blocked content from doc
9356d4b91b updated doc to include testing strategies with vtune
2368afc19c fix for walk past reg/ck for clk-only pass
a062f2b1f1 fix to address codex review regarding vertices remaining permanently marked as in-queue and be skipped by future enqueue()
Compare 8 commits »
luke synced commits to refs/heads/refs/pull/9056/merge at luke/sbt from mirror 2026-04-22 16:37:48 +02:00
4018c6bd8d Merge 463c006699be2d7c2f8305b42b461ff110394234 into ac0f3f5c6f3b80e7f359c1827bc1ae6efce79bc1
ac0f3f5c6f [2.x] fix: Cache AutoPlugin projectSettings/projectConfigurations (#9077)
4ebacc6e05 [2.x] fix: Include platform suffix in Artifact.artifactName (#9118)
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/9102/head at luke/sbt from mirror 2026-04-22 16:37:48 +02:00
0a01fdc252 Revert deduplication based on configuration.
1c7f0fa63a Deduplicate eviction errors per configuration
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/9102/merge at luke/sbt from mirror 2026-04-22 16:37:48 +02:00
e488ec57cf Merge 0a01fdc252af10c9906455ba147085034e4f28fd into ac0f3f5c6f3b80e7f359c1827bc1ae6efce79bc1
0a01fdc252 Revert deduplication based on configuration.
1c7f0fa63a Deduplicate eviction errors per configuration
ac0f3f5c6f [2.x] fix: Cache AutoPlugin projectSettings/projectConfigurations (#9077)
4ebacc6e05 [2.x] fix: Include platform suffix in Artifact.artifactName (#9118)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/5821/merge at luke/yosys from mirror 2026-04-22 16:37:36 +02:00
e1ad31741e Merge 2032930ea1b9ba0c66d580d4efeba03d1a078262 into 70ee009dd9dd100b8c09b54d85172151b85822c4
70ee009dd9 Merge pull request #5823 from petterreinholdtsen/spelling-error-frontends-ast-genrtlil
3ccbd38cc6 Merge pull request #5768 from YosysHQ/tests
a89e8fd869 Fixed spelling error in message of frontends/ast/genrtlil.cc.
a666712687 Update arith_tree tests
Compare 59 commits »
luke synced commits to refs/heads/refs/pull/5827/head at luke/yosys from mirror 2026-04-22 16:37:36 +02:00
6721eb901f Support positional assignment patterns for unpacked arrays
luke synced commits to refs/heads/refs/pull/5827/merge at luke/yosys from mirror 2026-04-22 16:37:36 +02:00
f45bc97a43 Merge 6721eb901fb146538ccf00836a3ec936666ac7bb into ed5d1221740b15ca003dc10bbdb64afe098be740
6721eb901f Support positional assignment patterns for unpacked arrays
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/5782/merge at luke/yosys from mirror 2026-04-22 16:37:35 +02:00
c80b6f23bb Merge dcb8cc1d981a115dd130e0bfb9ee6a077f6d1bc6 into 70ee009dd9dd100b8c09b54d85172151b85822c4
70ee009dd9 Merge pull request #5823 from petterreinholdtsen/spelling-error-frontends-ast-genrtlil
3ccbd38cc6 Merge pull request #5768 from YosysHQ/tests
a89e8fd869 Fixed spelling error in message of frontends/ast/genrtlil.cc.
a666712687 Update arith_tree tests
Compare 59 commits »
luke synced commits to refs/heads/refs/pull/5804/merge at luke/yosys from mirror 2026-04-22 16:37:35 +02:00
fdc4b3c48f Merge 282d38f9fd5de5fdceaf15da6628716e632a475c into 70ee009dd9dd100b8c09b54d85172151b85822c4
70ee009dd9 Merge pull request #5823 from petterreinholdtsen/spelling-error-frontends-ast-genrtlil
3ccbd38cc6 Merge pull request #5768 from YosysHQ/tests
a89e8fd869 Fixed spelling error in message of frontends/ast/genrtlil.cc.
ed5d122174 Merge pull request #5793 from YosysHQ/lofty/abc-refactor-4
Compare 62 commits »
luke synced commits to refs/heads/refs/pull/5807/merge at luke/yosys from mirror 2026-04-22 16:37:35 +02:00
b6e40a8337 Merge ad7435a1f0445ab8f857fa054e59d75f938b9a74 into 70ee009dd9dd100b8c09b54d85172151b85822c4
70ee009dd9 Merge pull request #5823 from petterreinholdtsen/spelling-error-frontends-ast-genrtlil
3ccbd38cc6 Merge pull request #5768 from YosysHQ/tests
a89e8fd869 Fixed spelling error in message of frontends/ast/genrtlil.cc.
ed5d122174 Merge pull request #5793 from YosysHQ/lofty/abc-refactor-4
Compare 62 commits »
luke synced commits to refs/heads/refs/pull/5809/merge at luke/yosys from mirror 2026-04-22 16:37:35 +02:00
8dc2a1ee28 Merge ab59c4ac53a74185a02399ce95283eaf2d9d592b into 3ccbd38cc68bab7253f6350e1125af3c242467c8
3ccbd38cc6 Merge pull request #5768 from YosysHQ/tests
ed5d122174 Merge pull request #5793 from YosysHQ/lofty/abc-refactor-4
a666712687 Update arith_tree tests
5737d2db35 Cleanup
Compare 60 commits »
luke synced commits to refs/heads/refs/pull/5813/head at luke/yosys from mirror 2026-04-22 16:37:35 +02:00
fd9011be94 Fix WASI build.
64f0841c2c Fix mac compile.
Compare 2 commits »