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/9102/head at luke/sbt from mirror 2026-04-23 00:47:50 +02:00
737cd39d72 Update eviction error test for semantic versioning.
18f4ccfaa6 Deduplicate eviction errors based on callers.
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/9102/merge at luke/sbt from mirror 2026-04-23 00:47:50 +02:00
6de74e5189 Merge 737cd39d72427fa4d98b38503ad0355be8e92aab into ac0f3f5c6f3b80e7f359c1827bc1ae6efce79bc1
737cd39d72 Update eviction error test for semantic versioning.
18f4ccfaa6 Deduplicate eviction errors based on callers.
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/5809/head at luke/yosys from mirror 2026-04-23 00:47:37 +02:00
7d3cf896a5 opt: Remove O(n²) opt routines across the codebase for pmux
3ccbd38cc6 Merge pull request #5768 from YosysHQ/tests
ed5d122174 Merge pull request #5793 from YosysHQ/lofty/abc-refactor-4
2da90a5ad6 Merge pull request #5819 from YosysHQ/xprop_ignore_scopeinfo
240f7030b2 xprop: ignore $scopeinfo cells
Compare 168 commits »
luke synced commits to refs/heads/refs/pull/5809/merge at luke/yosys from mirror 2026-04-23 00:47:37 +02:00
cba8b2c972 Merge 7d3cf896a5bc7230dc33f431b534520f512f9e0a into 64e7ce2f576d750db57632f21b5491f3842b4a47
7d3cf896a5 opt: Remove O(n²) opt routines across the codebase for pmux
64e7ce2f57 Merge pull request #5803 from YosysHQ/emil/specrule-port-sanity
70ee009dd9 Merge pull request #5823 from petterreinholdtsen/spelling-error-frontends-ast-genrtlil
a89e8fd869 Fixed spelling error in message of frontends/ast/genrtlil.cc.
Compare 7 commits »
luke synced commits to refs/heads/refs/pull/5824/merge at luke/yosys from mirror 2026-04-23 00:47:37 +02:00
170953ec20 Merge 29fa16e96c05bd6d2f9e39b19fff32db9db6a680 into 64e7ce2f576d750db57632f21b5491f3842b4a47
64e7ce2f57 Merge pull request #5803 from YosysHQ/emil/specrule-port-sanity
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.
Compare 62 commits »
luke synced commits to refs/heads/refs/pull/5825/merge at luke/yosys from mirror 2026-04-23 00:47:37 +02:00
4b03847844 Merge 02f84d4245484dd6cd6ca2a5e218249b1b1165af into 64e7ce2f576d750db57632f21b5491f3842b4a47
64e7ce2f57 Merge pull request #5803 from YosysHQ/emil/specrule-port-sanity
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.
Compare 62 commits »
luke synced commits to refs/heads/refs/pull/5829/head at luke/yosys from mirror 2026-04-23 00:47:37 +02:00
bc83311dd8 Update ABC as per 2026-04-22
luke synced commits to refs/heads/refs/pull/5829/merge at luke/yosys from mirror 2026-04-23 00:47:37 +02:00
7f96d2ae21 Merge bc83311dd88c3d6042d2a90303c28733771441e4 into 64e7ce2f576d750db57632f21b5491f3842b4a47
bc83311dd8 Update ABC as per 2026-04-22
Compare 2 commits »
luke synced commits to refs/heads/pmux_on2-ast at luke/yosys from mirror 2026-04-23 00:47:36 +02:00
luke synced new reference refs/heads/pmux_on2-ast to luke/yosys from mirror 2026-04-23 00:47:36 +02:00
luke synced commits to refs/heads/update_abc at luke/yosys from mirror 2026-04-23 00:47:36 +02:00
bc83311dd8 Update ABC as per 2026-04-22
luke synced commits to refs/heads/refs/pull/5729/merge at luke/yosys from mirror 2026-04-23 00:47:36 +02:00
6df598c21f Merge ec54c36850e45b8eeb9b611ed35fd05f628bc542 into 64e7ce2f576d750db57632f21b5491f3842b4a47
64e7ce2f57 Merge pull request #5803 from YosysHQ/emil/specrule-port-sanity
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.
Compare 62 commits »
luke synced commits to refs/heads/refs/pull/1310/head at luke/iverilog from mirror 2026-04-23 00:17:40 +02:00
ba1021abf5 ivtest: integrate regression tests into build system
luke synced commits to refs/heads/refs/pull/1310/merge at luke/iverilog from mirror 2026-04-23 00:17:40 +02:00
a8c70b3c95 Merge ba1021abf5760155450406da37588dfee1d18923 into ca756322a74aceb83703cd64b98cf392477ef295
ba1021abf5 ivtest: integrate regression tests into build system
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/7462/head at luke/verilator from mirror 2026-04-23 00:17:39 +02:00
d05fc3a5f1 Review feedback changes and golden files
0f255ce6aa Adds fsm_state, fsm_arc to print summary
e4da16caf0 Apply 'make format'
a680919edc Support native FSM state and arc coverage (#7412)
41ddf4d9b6 Apply 'make format'
Compare 12 commits »
luke synced commits to refs/heads/refs/pull/7462/merge at luke/verilator from mirror 2026-04-23 00:17:39 +02:00
88d1197bce Merge d05fc3a5f172021d132a62e938cc3118bbfcd086 into e4da16caf09e446361030ce55a9fdb2ae0bdef1f
d05fc3a5f1 Review feedback changes and golden files
0f255ce6aa Adds fsm_state, fsm_arc to print summary
e4da16caf0 Apply 'make format'
a680919edc Support native FSM state and arc coverage (#7412)
Compare 8 commits »
luke synced commits to refs/heads/refs/pull/7412/head at luke/verilator from mirror 2026-04-23 00:17:38 +02:00
18ee3c5977 Adding annotated outputs and changing a test compare strategy
0474e59965 Removed dead refactored code and added test for branch coverage
c80f4a9191 Fix test failure and new test due to code refactor
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/7448/head at luke/verilator from mirror 2026-04-23 00:17:38 +02:00
0903e1bc6e re-run
60bd94d108 Apply 'make format'
44d675d673 Address review: simplify addNext; tighten disable soft grammar to constraint_primary
Compare 3 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 »