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/7890/head at luke/verilator from mirror 2026-07-08 12:46:38 +02:00
cb6634366c Preserve stream cast context through casts
7655ccf400 Use width context for stream concat checks
c440c46bd0 Improve stream concat context coverage
087d5c7280 Broaden streaming concat context checks
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/7890/merge at luke/verilator from mirror 2026-07-08 12:46:38 +02:00
46d6962596 Merge cb6634366c3e777c93e5b3835863070d8b96ceaa into 93d0443998624e95562255b1f0c67cf2a5f0d2e8
cb6634366c Preserve stream cast context through casts
7655ccf400 Use width context for stream concat checks
93d0443998 Fix memory leak in VerilatedFst::close() (#7899)
c440c46bd0 Improve stream concat context coverage
Compare 8 commits »
luke synced commits to refs/heads/refs/pull/6000/merge at luke/yosys from mirror 2026-07-08 12:46:38 +02:00
c038c999f8 Merge 1b6c0c2d3b6005aaa3a46a67b8eeb636898207cd into f3fc58db7ec99f5f62fed9aa0c20d0396bed3725
f3fc58db7e Merge pull request #6010 from YosysHQ/cleanup
8ad4ffcdd1 Cleanup
95b5e43605 Merge pull request #6008 from povik/sv-elab-bump
e777892006 Merge pull request #6006 from YosysHQ/slang-promote
Compare 10 commits »
luke synced commits to refs/heads/refs/pull/7891/head at luke/verilator from mirror 2026-07-08 12:46:38 +02:00
56b379b150 Address dynamic array review feedback
luke synced commits to refs/heads/refs/pull/6004/merge at luke/yosys from mirror 2026-07-08 12:46:38 +02:00
83f88374dc Merge 13d8e737b336baec6e230d6cfe19c79f70f1dbad into f3fc58db7ec99f5f62fed9aa0c20d0396bed3725
f3fc58db7e Merge pull request #6010 from YosysHQ/cleanup
8ad4ffcdd1 Cleanup
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/7891/merge at luke/verilator from mirror 2026-07-08 12:46:38 +02:00
1c372beb50 Merge 56b379b1506c9dea4902ae92e776291e0a7aab3d into 93d0443998624e95562255b1f0c67cf2a5f0d2e8
56b379b150 Address dynamic array review feedback
93d0443998 Fix memory leak in VerilatedFst::close() (#7899)
6c20fdb7bd Optimize assertion NFAs using bit-vector ring buffers (#7885)
e743838d09 Internals: Remove DfgGraph::clone (#7896)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/6007/merge at luke/yosys from mirror 2026-07-08 12:46:38 +02:00
6e60f351b2 Merge 5628dff0bd9f8eaa34d3ae80b845354a28bfd0f1 into f3fc58db7ec99f5f62fed9aa0c20d0396bed3725
f3fc58db7e Merge pull request #6010 from YosysHQ/cleanup
8ad4ffcdd1 Cleanup
95b5e43605 Merge pull request #6008 from povik/sv-elab-bump
e777892006 Merge pull request #6006 from YosysHQ/slang-promote
Compare 10 commits »
luke synced commits to refs/heads/refs/pull/7857/merge at luke/verilator from mirror 2026-07-08 12:46:37 +02:00
f7b91f4766 Merge 7c1de4464600a1966e18447141f0a20db76ce716 into 6c20fdb7bd94db311f3055583c7bb7c74d287ba3
6c20fdb7bd Optimize assertion NFAs using bit-vector ring buffers (#7885)
e743838d09 Internals: Remove DfgGraph::clone (#7896)
f1a8192a36 Fix mixed-width inside and dist range bounds failing randomization (#7875)
87d77f0133 Fix internal error for coverpoints that reference a covergroup formal parameter (#7853 partial) (#7889)
Compare 5 commits »
luke synced and deleted reference refs/tags/nella/latch-toggle at luke/yosys from mirror 2026-07-08 12:46:37 +02:00
luke synced and deleted reference refs/tags/refs/pull/5963/merge at luke/yosys from mirror 2026-07-08 12:46:37 +02:00
luke synced and deleted reference refs/tags/refs/pull/6003/merge at luke/yosys from mirror 2026-07-08 12:46:37 +02:00
luke synced commits to refs/heads/main at luke/yosys from mirror 2026-07-08 12:46:37 +02:00
9fc4cdbc5c Merge pull request #5963 from YosysHQ/nella/latch-toggle
388ed215c4 Remove old techmap.
fe1ce9e5c1 Fix merge.
f5809a7c2c Merge branch 'main' into nella/latch-toggle
f3fc58db7e Merge pull request #6010 from YosysHQ/cleanup
Compare 20 commits »
luke synced commits to refs/heads/refs/pull/7876/merge at luke/verilator from mirror 2026-07-08 12:46:37 +02:00
292ce3b34e Merge eba0066dd6a274027e0326f8381ebc5a7a78d260 into 6c20fdb7bd94db311f3055583c7bb7c74d287ba3
6c20fdb7bd Optimize assertion NFAs using bit-vector ring buffers (#7885)
e743838d09 Internals: Remove DfgGraph::clone (#7896)
f1a8192a36 Fix mixed-width inside and dist range bounds failing randomization (#7875)
Compare 4 commits »
luke synced commits to refs/heads/nella/fix-opt-reduce at luke/yosys from mirror 2026-07-08 12:46:37 +02:00
luke synced new reference refs/heads/nella/fix-opt-reduce to luke/yosys from mirror 2026-07-08 12:46:37 +02:00
luke synced commits to refs/heads/refs/pull/7877/merge at luke/verilator from mirror 2026-07-08 12:46:37 +02:00
2ca14b0025 Merge c66e901171f6f9b6600a0b33609f73be12457c73 into 6c20fdb7bd94db311f3055583c7bb7c74d287ba3
6c20fdb7bd Optimize assertion NFAs using bit-vector ring buffers (#7885)
e743838d09 Internals: Remove DfgGraph::clone (#7896)
f1a8192a36 Fix mixed-width inside and dist range bounds failing randomization (#7875)
87d77f0133 Fix internal error for coverpoints that reference a covergroup formal parameter (#7853 partial) (#7889)
Compare 6 commits »
luke synced commits to refs/heads/refs/pull/5963/head at luke/yosys from mirror 2026-07-08 12:46:37 +02:00
388ed215c4 Remove old techmap.
fe1ce9e5c1 Fix merge.
f5809a7c2c Merge branch 'main' into nella/latch-toggle
f3fc58db7e Merge pull request #6010 from YosysHQ/cleanup
8ad4ffcdd1 Cleanup
Compare 142 commits »
luke synced commits to refs/heads/refs/pull/7878/merge at luke/verilator from mirror 2026-07-08 12:46:37 +02:00
89d47dd61f Merge 7372c1b30bebd896862848c87a2f886cd853e097 into 6c20fdb7bd94db311f3055583c7bb7c74d287ba3
6c20fdb7bd Optimize assertion NFAs using bit-vector ring buffers (#7885)
e743838d09 Internals: Remove DfgGraph::clone (#7896)
f1a8192a36 Fix mixed-width inside and dist range bounds failing randomization (#7875)
87d77f0133 Fix internal error for coverpoints that reference a covergroup formal parameter (#7853 partial) (#7889)
Compare 6 commits »
luke synced commits to refs/heads/refs/pull/5976/merge at luke/yosys from mirror 2026-07-08 12:46:37 +02:00
87307a7281 Merge cffe462567b760bc17fe863fdcbde630140cc7e3 into f3fc58db7ec99f5f62fed9aa0c20d0396bed3725
f3fc58db7e Merge pull request #6010 from YosysHQ/cleanup
8ad4ffcdd1 Cleanup
95b5e43605 Merge pull request #6008 from povik/sv-elab-bump
e777892006 Merge pull request #6006 from YosysHQ/slang-promote
Compare 15 commits »
luke synced commits to refs/heads/master at luke/verilator from mirror 2026-07-08 12:46:36 +02:00
93d0443998 Fix memory leak in VerilatedFst::close() (#7899)