luke
0 Followers · 0 Following
  • Joined on 2024-06-02
Repositories
22
 Projects Packages Public Activity Starred Repositories
luke synced commits to refs/pull/4125/merge at luke/yosys from mirror 2025-04-01 22:31:08 +02:00
2cee603887 Merge 6f7f71fe038cc95df77b5efbe978ce1af5e2997e into 402af3ece77401389a285686a6f2e7014e3acc5e
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
Compare 3 commits »
luke synced commits to refs/pull/4768/merge at luke/yosys from mirror 2025-04-01 22:31:08 +02:00
3c7cf97001 Merge 8405b3b72308d2b393e4ab3a14f00850b9a6d662 into 402af3ece77401389a285686a6f2e7014e3acc5e
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
Compare 3 commits »
luke synced commits to refs/pull/5880/merge at luke/verilator from mirror 2025-04-01 22:31:03 +02:00
a4962066bd Merge 0ee5f342e2c114549c84bf9e9da7cc67ada8977b into 168f0ed9e514f74087cee0e70963c711fe7dbed3
168f0ed9e5 Fix `new this` (#5909).
538f39edf9 Fix grammar.
e3c1d36e6e Apply 'make format'
559d990e82 Support command-line overriding `define (#5900) (#5908)
Compare 5 commits »
luke synced commits to refs/pull/5884/head at luke/verilator from mirror 2025-04-01 22:31:03 +02:00
5e7fcecf71 Handle Input signals in setuphold
46c4525bb3 Add more tests for setuphold
ae84cfc49a Add parsing of Edge-control specifiers
ec3ce82aa7 Add correct definition of timing_check_limit
3e07b14ffc Add range specifier support in setuphold
Compare 11 commits »
luke synced commits to refs/pull/5884/merge at luke/verilator from mirror 2025-04-01 22:31:03 +02:00
7f105df92f Merge 5e7fcecf717eb5239e4e03d693d3944a57b79f90 into 168f0ed9e514f74087cee0e70963c711fe7dbed3
5e7fcecf71 Handle Input signals in setuphold
46c4525bb3 Add more tests for setuphold
ae84cfc49a Add parsing of Edge-control specifiers
ec3ce82aa7 Add correct definition of timing_check_limit
Compare 12 commits »
luke synced commits to refs/pull/4844/merge at luke/verilator from mirror 2025-04-01 22:31:02 +02:00
215125adc2 Merge ea62a51589caa2574f9a90cd7220a0895055e1fd into 168f0ed9e514f74087cee0e70963c711fe7dbed3
168f0ed9e5 Fix `new this` (#5909).
538f39edf9 Fix grammar.
e3c1d36e6e Apply 'make format'
559d990e82 Support command-line overriding `define (#5900) (#5908)
Compare 30 commits »
luke synced commits to refs/pull/5616/merge at luke/verilator from mirror 2025-04-01 22:31:02 +02:00
3cc490259a Merge 7209c8bd6d7d7a4670cea4ae134be06eb26f61a6 into 168f0ed9e514f74087cee0e70963c711fe7dbed3
168f0ed9e5 Fix `new this` (#5909).
538f39edf9 Fix grammar.
e3c1d36e6e Apply 'make format'
559d990e82 Support command-line overriding `define (#5900) (#5908)
Compare 5 commits »
luke synced commits to micko/config_exitcode at luke/yosys from mirror 2025-04-01 14:21:00 +02:00
66d7ffb2c5 yosys-config: redirect to stderr/stdout depending of exit code
luke synced commits to refs/pull/3781/merge at luke/yosys from mirror 2025-04-01 14:21:00 +02:00
d1bc47de80 Merge 3326d169c0bab7f98037d0f9789f9b653779b5d2 into c08f72b806f9c3d068bb6b365d351f0bb9e8a8fa
c08f72b806 Bump version
3a1255546a Merge pull request #4975 from YosysHQ/emil/opt_expr-cover-with-tests
6194eb939d opt_expr: expand test coverage
314842d2a0 Bump version
Compare 57 commits »
luke synced commits to refs/pull/4971/merge at luke/yosys from mirror 2025-04-01 14:21:00 +02:00
f3754bb886 Merge 83b095ab6ca294cb8ccd8504e5dcdae54841199a into c08f72b806f9c3d068bb6b365d351f0bb9e8a8fa
c08f72b806 Bump version
Compare 2 commits »
luke synced commits to refs/pull/4974/head at luke/yosys from mirror 2025-04-01 14:21:00 +02:00
66d7ffb2c5 yosys-config: redirect to stderr/stdout depending of exit code
luke synced commits to refs/pull/4974/merge at luke/yosys from mirror 2025-04-01 14:21:00 +02:00
b07212ac01 Merge 66d7ffb2c55f8e1606b20ec13f7ea566438cf017 into c08f72b806f9c3d068bb6b365d351f0bb9e8a8fa
66d7ffb2c5 yosys-config: redirect to stderr/stdout depending of exit code
Compare 2 commits »
luke synced commits to master at luke/verilator from mirror 2025-04-01 14:20:54 +02:00
168f0ed9e5 Fix `new this` (#5909).
538f39edf9 Fix grammar.
e3c1d36e6e Apply 'make format'
559d990e82 Support command-line overriding `define (#5900) (#5908)
Compare 4 commits »
luke synced commits to refs/pull/5884/merge at luke/verilator from mirror 2025-04-01 14:20:54 +02:00
926cb509ca Merge edafe36cda79bfcff2c3a470a78eb192cedc46a4 into 168f0ed9e514f74087cee0e70963c711fe7dbed3
168f0ed9e5 Fix `new this` (#5909).
538f39edf9 Fix grammar.
e3c1d36e6e Apply 'make format'
559d990e82 Support command-line overriding `define (#5900) (#5908)
Compare 5 commits »
luke synced and deleted reference refs/tags/refs/pull/5908/merge at luke/verilator from mirror 2025-04-01 14:20:53 +02:00
luke synced commits to refs/pull/4974/merge at luke/yosys from mirror 2025-04-01 06:11:03 +02:00
20dc193366 Merge 58a515d57f137b0dab9708eebaffaff6d101c98b into c08f72b806f9c3d068bb6b365d351f0bb9e8a8fa
c08f72b806 Bump version
3a1255546a Merge pull request #4975 from YosysHQ/emil/opt_expr-cover-with-tests
6194eb939d opt_expr: expand test coverage
Compare 4 commits »
luke synced commits to refs/pull/4976/merge at luke/yosys from mirror 2025-04-01 06:11:03 +02:00
35fe5b2a30 Merge 23f59e0196fd6275f1f6267f59ed7f358704c9f5 into c08f72b806f9c3d068bb6b365d351f0bb9e8a8fa
c08f72b806 Bump version
Compare 2 commits »
luke synced commits to refs/pull/4768/merge at luke/yosys from mirror 2025-04-01 06:11:02 +02:00
618845ea2f Merge 8405b3b72308d2b393e4ab3a14f00850b9a6d662 into c08f72b806f9c3d068bb6b365d351f0bb9e8a8fa
c08f72b806 Bump version
Compare 2 commits »
luke synced commits to refs/pull/4782/merge at luke/yosys from mirror 2025-04-01 06:11:02 +02:00
0a89364672 Merge 0a15a23e8fc2d9c31673005c06b8e205bcdbbb5c into c08f72b806f9c3d068bb6b365d351f0bb9e8a8fa
c08f72b806 Bump version
3a1255546a Merge pull request #4975 from YosysHQ/emil/opt_expr-cover-with-tests
6194eb939d opt_expr: expand test coverage
Compare 4 commits »
luke synced commits to refs/pull/4854/merge at luke/yosys from mirror 2025-04-01 06:11:02 +02:00
fb55aaa3f9 Merge 9e9213c011d2900efa7ab88e58daf764a67b3939 into c08f72b806f9c3d068bb6b365d351f0bb9e8a8fa
c08f72b806 Bump version
3a1255546a Merge pull request #4975 from YosysHQ/emil/opt_expr-cover-with-tests
6194eb939d opt_expr: expand test coverage
Compare 4 commits »