luke
0 Followers · 0 Following
  • Joined on 2024-06-02
Repositories
22
 Projects Packages Public Activity Starred Repositories
luke synced commits to refs/pull/4923/merge at luke/yosys from mirror 2025-04-02 23:01:16 +02:00
9d1eee8b6b Merge a0dabf9203139588e94e793cf17c2e8a2dfec51d into 1cfe1e2813aed4bfe464c2896d4333fb8ba7dfc7
1cfe1e2813 Merge pull request #4974 from YosysHQ/micko/config_exitcode
66d7ffb2c5 yosys-config: redirect to stderr/stdout depending of exit code
58a515d57f yosys-config: Propagate exit code for help command
Compare 4 commits »
luke synced commits to refs/pull/4929/merge at luke/yosys from mirror 2025-04-02 23:01:16 +02:00
ff50b6e2ad Merge af3f9d83185c33b15522ebf0b774c55dcf13f73e into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
Compare 4 commits »
luke synced commits to refs/pull/4930/merge at luke/yosys from mirror 2025-04-02 23:01:16 +02:00
2e0277c203 Merge 913ac04764dfdeebc9f965e4cae889098062faf6 into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
Compare 4 commits »
luke synced commits to refs/pull/4932/merge at luke/yosys from mirror 2025-04-02 23:01:16 +02:00
54d84cbc39 Merge c68fd85b9ccceb773a4aaac2a35f7d90fbb15fc8 into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
c08f72b806 Bump version
Compare 7 commits »
luke synced commits to refs/pull/4946/merge at luke/yosys from mirror 2025-04-02 23:01:16 +02:00
6c28ad33f0 Merge 251285be4c086eba80cafe637029218bb2e8f2a7 into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
Compare 4 commits »
luke synced commits to refs/pull/4959/merge at luke/yosys from mirror 2025-04-02 23:01:16 +02:00
3cc47be990 Merge 0a1c664f02cabd9d057060aa6fb3bf4602334843 into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
Compare 4 commits »
luke synced commits to refs/pull/4963/merge at luke/yosys from mirror 2025-04-02 23:01:16 +02:00
8ecf81acd4 Merge aa4d59cdcb34be5adc89b71d1db21a07558678ac into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
Compare 4 commits »
luke synced commits to refs/pull/4969/merge at luke/yosys from mirror 2025-04-02 23:01:16 +02:00
74a08bd18b Merge 80dc94649953205134c5486a5c3ba370db949302 into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
Compare 4 commits »
luke synced commits to refs/pull/4589/merge at luke/yosys from mirror 2025-04-02 23:01:15 +02:00
c59ed1854d Merge c1228fec236c82c9cd46b194c9af062143da19c4 into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
Compare 4 commits »
luke synced commits to refs/pull/4745/merge at luke/yosys from mirror 2025-04-02 23:01:15 +02:00
8c178a314c Merge fef34573c514977806e6d5637ec53f0d6e34bed3 into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
c08f72b806 Bump version
Compare 62 commits »
luke synced commits to refs/pull/4781/merge at luke/yosys from mirror 2025-04-02 23:01:15 +02:00
b6aad9ed2a Merge 390ff5501d4868620c0adf79f1796d3af1288d79 into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
c08f72b806 Bump version
Compare 108 commits »
luke synced commits to refs/pull/4782/merge at luke/yosys from mirror 2025-04-02 23:01:15 +02:00
62650eae1c Merge 0a15a23e8fc2d9c31673005c06b8e205bcdbbb5c into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
Compare 4 commits »
luke synced commits to refs/pull/4796/merge at luke/yosys from mirror 2025-04-02 23:01:15 +02:00
7eacf3339f Merge ebc6b97ed097f3b6f1c53878e0746029f3998c80 into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
c08f72b806 Bump version
Compare 7 commits »
luke synced commits to refs/pull/4838/merge at luke/yosys from mirror 2025-04-02 23:01:15 +02:00
6f12d74183 Merge 831f8576816a01b18b2efee1ba2788e3352d68ad into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
c08f72b806 Bump version
Compare 91 commits »
luke synced commits to refs/pull/4901/merge at luke/yosys from mirror 2025-04-02 23:01:15 +02:00
ee6b5d758b Merge ca57e1481986638339e801c040557c4cb3e6138c into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
Compare 4 commits »
luke synced and deleted reference refs/tags/refs/pull/4974/merge at luke/yosys from mirror 2025-04-02 23:01:14 +02:00
luke synced commits to main at luke/yosys from mirror 2025-04-02 23:01:14 +02:00
1cfe1e2813 Merge pull request #4974 from YosysHQ/micko/config_exitcode
66d7ffb2c5 yosys-config: redirect to stderr/stdout depending of exit code
58a515d57f yosys-config: Propagate exit code for help command
Compare 3 commits »
luke synced commits to refs/pull/2331/merge at luke/yosys from mirror 2025-04-02 23:01:14 +02:00
4cc2bd5b63 Merge df390a1ceb08c871bd1651edc5bd962c20802355 into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
c08f72b806 Bump version
Compare 60 commits »
luke synced commits to refs/pull/4044/merge at luke/yosys from mirror 2025-04-02 23:01:14 +02:00
b69bc954de Merge 6b5fbe37f054e85c483f226f6c6c3dde610ed25b into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
Compare 4 commits »
luke synced commits to refs/pull/4252/merge at luke/yosys from mirror 2025-04-02 23:01:14 +02:00
daedc897c1 Merge 36c244aeda859731fefa5dd62659e7d2f7f5ebf4 into f03b44959b488ab49b46b0001ab84a52cef9bf25
f03b44959b Bump version
402af3ece7 Merge pull request #4982 from YosysHQ/micko/verific_fix_restore
72f2185a94 verific: fix restoring msg state after blackbox import
Compare 4 commits »