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/5903/head at luke/yosys from mirror 2026-05-29 11:43:59 +02:00
5f53410db7 verific: Fix negative array dimensions
52e0030cc5 tests/check_mem: Add problematic case
21966ef496 verific: Fix non-contiguous memory init
ab5f25db9a Add test for non-contiguous memory init
aac7366862 tests: Add check_mem to vanilla-test
Compare 67 commits »
luke synced commits to refs/heads/refs/pull/5903/merge at luke/yosys from mirror 2026-05-29 11:43:59 +02:00
fd2f977173 Merge 5f53410db71d76f55af5f98cf998ffa4e567169e into 1801abf30aa3c5e5fc55ebb2bcc73f51cb19c6be
5f53410db7 verific: Fix negative array dimensions
52e0030cc5 tests/check_mem: Add problematic case
21966ef496 verific: Fix non-contiguous memory init
ab5f25db9a Add test for non-contiguous memory init
Compare 10 commits »
luke synced commits to refs/heads/refs/pull/7675/head at luke/verilator from mirror 2026-05-29 11:43:53 +02:00
279392e0cf Fixed exponential backtracking and false UNSAT errors.
luke synced commits to refs/heads/refs/pull/7675/merge at luke/verilator from mirror 2026-05-29 11:43:53 +02:00
a894807e9d Merge 279392e0cfa010b956733bacbffb59d4eb7a25ed into 5d344ab8ffd33574f742bad72b68d1d6a4a3d375
279392e0cf Fixed exponential backtracking and false UNSAT errors.
5d344ab8ff Fix parameter read through locally-declared interface instance (#7679)
3d126b77cd Fix for access to parameters via class::localparam (#7609) (#7671)
Compare 4 commits »
luke synced commits to refs/heads/refs/pull/269/merge at luke/OpenSTA from mirror 2026-05-29 11:43:53 +02:00
674055d5f3 Merge 335b305149900901fda29c02405429c790053de6 into 14751996b19830a77edf744840e66944a00944d6
14751996b1 Merge pull request #367 from The-OpenROAD-Project-staging/sta_latest_0528
8372530715 Merge branch 'master' into sta_latest_0528
63080ba1bf Merge remote-tracking branch 'upstream/master' into sta_latest_0528
1b94d2c751 Merge pull request #366 from vvbandeira/gha-versions
Compare 12 commits »
luke synced commits to refs/heads/refs/pull/308/merge at luke/OpenSTA from mirror 2026-05-29 11:43:53 +02:00
c4e8344f2e Merge 978368365090edd0c894c036ca799cbcd96445c1 into 14751996b19830a77edf744840e66944a00944d6
14751996b1 Merge pull request #367 from The-OpenROAD-Project-staging/sta_latest_0528
8372530715 Merge branch 'master' into sta_latest_0528
63080ba1bf Merge remote-tracking branch 'upstream/master' into sta_latest_0528
1b94d2c751 Merge pull request #366 from vvbandeira/gha-versions
Compare 12 commits »
luke synced commits to refs/heads/refs/pull/346/merge at luke/OpenSTA from mirror 2026-05-29 11:43:53 +02:00
1b30b05828 Merge 0e40b4f8a1c4b6af7225da31cd88a1d29d8a04a2 into 14751996b19830a77edf744840e66944a00944d6
14751996b1 Merge pull request #367 from The-OpenROAD-Project-staging/sta_latest_0528
8372530715 Merge branch 'master' into sta_latest_0528
63080ba1bf Merge remote-tracking branch 'upstream/master' into sta_latest_0528
1b94d2c751 Merge pull request #366 from vvbandeira/gha-versions
Compare 12 commits »
luke synced commits to refs/heads/refs/pull/350/merge at luke/OpenSTA from mirror 2026-05-29 11:43:53 +02:00
d3fda29664 Merge 03d08047a8238dac18c67ed23b50004a11bd57c6 into 14751996b19830a77edf744840e66944a00944d6
14751996b1 Merge pull request #367 from The-OpenROAD-Project-staging/sta_latest_0528
8372530715 Merge branch 'master' into sta_latest_0528
63080ba1bf Merge remote-tracking branch 'upstream/master' into sta_latest_0528
1b94d2c751 Merge pull request #366 from vvbandeira/gha-versions
Compare 12 commits »
luke synced commits to refs/heads/refs/pull/361/merge at luke/OpenSTA from mirror 2026-05-29 11:43:53 +02:00
50f83fee04 Merge 88fa9bb0a4447f48a2e76ddeeff7276e29c90bac into 14751996b19830a77edf744840e66944a00944d6
14751996b1 Merge pull request #367 from The-OpenROAD-Project-staging/sta_latest_0528
8372530715 Merge branch 'master' into sta_latest_0528
63080ba1bf Merge remote-tracking branch 'upstream/master' into sta_latest_0528
1b94d2c751 Merge pull request #366 from vvbandeira/gha-versions
Compare 12 commits »
luke synced commits to refs/heads/refs/pull/7193/merge at luke/verilator from mirror 2026-05-29 11:43:52 +02:00
df6f0e70b9 Merge d6e91773d37b8ca326faabd6080818e443e3cb3e into 5d344ab8ffd33574f742bad72b68d1d6a4a3d375
5d344ab8ff Fix parameter read through locally-declared interface instance (#7679)
3d126b77cd Fix for access to parameters via class::localparam (#7609) (#7671)
77f0883b06 Fix forceable signal with a procedural continuous assign (#7638) (#7639)
557dda3396 Fix AstNodeFTaskRef equivalence check (#7673)
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/7313/merge at luke/verilator from mirror 2026-05-29 11:43:52 +02:00
b2c8e0a663 Merge 2d4073999afa5ba962e4174fbece628565844ec7 into 5d344ab8ffd33574f742bad72b68d1d6a4a3d375
5d344ab8ff Fix parameter read through locally-declared interface instance (#7679)
3d126b77cd Fix for access to parameters via class::localparam (#7609) (#7671)
77f0883b06 Fix forceable signal with a procedural continuous assign (#7638) (#7639)
557dda3396 Fix AstNodeFTaskRef equivalence check (#7673)
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/7437/merge at luke/verilator from mirror 2026-05-29 11:43:52 +02:00
fd9c991ac2 Merge c476000f97e2b4e190efeff25dd270eb313d6fdd into 5d344ab8ffd33574f742bad72b68d1d6a4a3d375
5d344ab8ff Fix parameter read through locally-declared interface instance (#7679)
3d126b77cd Fix for access to parameters via class::localparam (#7609) (#7671)
77f0883b06 Fix forceable signal with a procedural continuous assign (#7638) (#7639)
557dda3396 Fix AstNodeFTaskRef equivalence check (#7673)
Compare 13 commits »
luke synced commits to refs/heads/refs/pull/7604/merge at luke/verilator from mirror 2026-05-29 11:43:52 +02:00
cc5254b8a9 Merge 50cfb2565b59a844bb6779a7f93b59d4e32f1521 into 5d344ab8ffd33574f742bad72b68d1d6a4a3d375
5d344ab8ff Fix parameter read through locally-declared interface instance (#7679)
3d126b77cd Fix for access to parameters via class::localparam (#7609) (#7671)
77f0883b06 Fix forceable signal with a procedural continuous assign (#7638) (#7639)
557dda3396 Fix AstNodeFTaskRef equivalence check (#7673)
Compare 13 commits »
luke synced commits to refs/heads/refs/pull/7641/merge at luke/verilator from mirror 2026-05-29 11:43:52 +02:00
3df19748d4 Merge d4ab6d582947e6fa4784cf0b6fea493fb62f6e64 into 5d344ab8ffd33574f742bad72b68d1d6a4a3d375
5d344ab8ff Fix parameter read through locally-declared interface instance (#7679)
3d126b77cd Fix for access to parameters via class::localparam (#7609) (#7671)
77f0883b06 Fix forceable signal with a procedural continuous assign (#7638) (#7639)
557dda3396 Fix AstNodeFTaskRef equivalence check (#7673)
Compare 9 commits »
luke synced commits to refs/heads/refs/pull/7643/merge at luke/verilator from mirror 2026-05-29 11:43:52 +02:00
2c89582708 Merge 0af3cb9dc0887a007b5ad04dcafc6d9b314680ad into 5d344ab8ffd33574f742bad72b68d1d6a4a3d375
5d344ab8ff Fix parameter read through locally-declared interface instance (#7679)
3d126b77cd Fix for access to parameters via class::localparam (#7609) (#7671)
77f0883b06 Fix forceable signal with a procedural continuous assign (#7638) (#7639)
557dda3396 Fix AstNodeFTaskRef equivalence check (#7673)
Compare 13 commits »
luke synced commits to refs/heads/refs/pull/7674/head at luke/verilator from mirror 2026-05-29 11:43:52 +02:00
94d319d3df Optimize if branches with same trailing statements
luke synced commits to refs/heads/refs/pull/7674/merge at luke/verilator from mirror 2026-05-29 11:43:52 +02:00
154a08f157 Merge 94d319d3df1ae947e2220548ee97383d1db83def into 5d344ab8ffd33574f742bad72b68d1d6a4a3d375
94d319d3df Optimize if branches with same trailing statements
5d344ab8ff Fix parameter read through locally-declared interface instance (#7679)
3d126b77cd Fix for access to parameters via class::localparam (#7609) (#7671)
77f0883b06 Fix forceable signal with a procedural continuous assign (#7638) (#7639)
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/643/merge at luke/openFPGALoader from mirror 2026-05-29 11:43:43 +02:00
6f40168812 Merge ee8c35fd4d6ebfaa568a39c1cbe65069dd13be85 into c6ca4e571b0bb96a310b9ea8a7da38bedc29a882
c6ca4e571b CMakeLists.txt: revert fad4a28103d53a30f1946be2ea66664d89c75e6a -> uses pkg_check_modules all the time
0818a404c9 README.md, main: update probe-firmware message
7ae2825b5b feat: add agilex 3 A3CY100 model to fpga list (#669)
b3f418c977 remoteBitbang_client: fix toggleClk behavior, uses flush instead of ll_write(NULL), fix potential overflows, simplify code
Compare 18 commits »
luke synced commits to refs/heads/refs/pull/662/merge at luke/openFPGALoader from mirror 2026-05-29 11:43:43 +02:00
1d8152e571 Merge f0e0f3a3f9f482b83abf8ae204604dc69be89eb6 into c6ca4e571b0bb96a310b9ea8a7da38bedc29a882
c6ca4e571b CMakeLists.txt: revert fad4a28103d53a30f1946be2ea66664d89c75e6a -> uses pkg_check_modules all the time
0818a404c9 README.md, main: update probe-firmware message
7ae2825b5b feat: add agilex 3 A3CY100 model to fpga list (#669)
b3f418c977 remoteBitbang_client: fix toggleClk behavior, uses flush instead of ll_write(NULL), fix potential overflows, simplify code
Compare 5 commits »
luke synced commits to refs/heads/refs/pull/663/merge at luke/openFPGALoader from mirror 2026-05-29 11:43:43 +02:00
10044c6c0e Merge 9777b029083fb476110f764abbb4cbce13b8091f into c6ca4e571b0bb96a310b9ea8a7da38bedc29a882
c6ca4e571b CMakeLists.txt: revert fad4a28103d53a30f1946be2ea66664d89c75e6a -> uses pkg_check_modules all the time
0818a404c9 README.md, main: update probe-firmware message
7ae2825b5b feat: add agilex 3 A3CY100 model to fpga list (#669)
Compare 4 commits »