• Joined on 2024-06-02
luke synced commits to refs/heads/refs/pull/5611/merge at luke/yosys from mirror 2026-05-23 09:20:36 +02:00
c2b7ed69d7 Merge 9fcb15213e53174a6d3a6d94790535b62be0f326 into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 56 commits »
luke synced commits to refs/heads/refs/pull/4437/merge at luke/yosys from mirror 2026-05-23 09:20:35 +02:00
0eebb9a7b8 Merge 260cc42c2f635bafcff3e5aa574528759db52096 into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 66 commits »
luke synced commits to refs/heads/refs/pull/4930/merge at luke/yosys from mirror 2026-05-23 09:20:35 +02:00
b5763f638a Merge 913ac04764dfdeebc9f965e4cae889098062faf6 into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 21 commits »
luke synced commits to refs/heads/refs/pull/5122/merge at luke/yosys from mirror 2026-05-23 09:20:35 +02:00
40b58669f8 Merge 62b29b0b758989879170660dd82cd32a0f94cd5d into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 66 commits »
luke synced commits to refs/heads/refs/pull/5478/merge at luke/yosys from mirror 2026-05-23 09:20:35 +02:00
0b263d0d38 Merge c59a2b047ddf517c8d57b81d2c21cb18640716a8 into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 13 commits »
luke synced commits to refs/heads/refs/pull/5554/merge at luke/yosys from mirror 2026-05-23 09:20:35 +02:00
194f2850af Merge 64e4624d5cd85ca7872b7266d16cda1520a0ebac into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 66 commits »
luke synced commits to refs/heads/refs/pull/5560/merge at luke/yosys from mirror 2026-05-23 09:20:35 +02:00
f66dd3841a Merge 2eb1051cca5dc17e022364da7ab8d89ff0fa1cf8 into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 66 commits »
luke synced commits to refs/heads/refs/pull/5562/merge at luke/yosys from mirror 2026-05-23 09:20:35 +02:00
cf69ffb534 Merge 6d62199805ce5886529dd946928bf02a0ac94ac2 into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 66 commits »
luke synced commits to refs/heads/refs/pull/5563/merge at luke/yosys from mirror 2026-05-23 09:20:35 +02:00
cf757b6750 Merge 99e05506a0f42773cf8fb234cd0a8e2e9ead0028 into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 66 commits »
luke synced commits to refs/heads/refs/pull/5570/merge at luke/yosys from mirror 2026-05-23 09:20:35 +02:00
477cfa3582 Merge 824d03368e8cef481c3b0362112cd1dfcf9355b8 into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 66 commits »
luke synced commits to refs/heads/cat/cmake at luke/yosys from mirror 2026-05-23 09:20:34 +02:00
3af1077051 fix _ReturnAddress
b206c16347 Update CI scripts for CMake
9b087b4aa7 Migrate build system to CMake
Compare 3 commits »
luke synced commits to refs/heads/emil/patcher at luke/yosys from mirror 2026-05-23 09:20:34 +02:00
luke synced new reference refs/heads/emil/patcher to luke/yosys from mirror 2026-05-23 09:20:34 +02:00
luke synced commits to refs/heads/refs/pull/2477/merge at luke/yosys from mirror 2026-05-23 09:20:34 +02:00
9e1bc98370 Merge 349fc479cb275de1f02de9e42ce8bd1114c18752 into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 138 commits »
luke synced commits to refs/heads/refs/pull/3118/merge at luke/yosys from mirror 2026-05-23 09:20:34 +02:00
0f52f45499 Merge d3a79afce2a2987729d065101a4a1a008abfd9f0 into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 115 commits »
luke synced commits to refs/heads/refs/pull/3157/merge at luke/yosys from mirror 2026-05-23 09:20:34 +02:00
58f1f72358 Merge 2a3804139f1d0e155553b50b965c35bf50fb9a36 into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 115 commits »
luke synced commits to refs/heads/refs/pull/3311/merge at luke/yosys from mirror 2026-05-23 09:20:34 +02:00
7a86c468e5 Merge c96e19bd436022d214cede1dcaf11910cfadbdf1 into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 108 commits »
luke synced commits to refs/heads/refs/pull/3453/merge at luke/yosys from mirror 2026-05-23 09:20:34 +02:00
d0630d45c0 Merge fac71a215cfe7d6d9ecdeead81e929f62f1c3223 into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 108 commits »
luke synced commits to refs/heads/refs/pull/4004/merge at luke/yosys from mirror 2026-05-23 09:20:34 +02:00
5d1dbb3f2c Merge aa86e6355e3b351400fe7cae12fba4e82238f7a5 into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 138 commits »
luke synced commits to refs/heads/refs/pull/4201/merge at luke/yosys from mirror 2026-05-23 09:20:34 +02:00
ec42748e66 Merge 51a377be44d088abae099f2a1acf44b76718987b into 9d0cdb8551d7262a3b41533b048295719eaf5142
9d0cdb8551 Merge pull request #5901 from YosysHQ/test_cleanup
4c8e61a52b Expose SBY binary location
07924a3c62 Use common.mk for sva tests as well
2b3f4c37f5 Fix functional tests
Compare 208 commits »