• Joined on 2024-06-02
luke synced commits to refs/heads/refs/pull/5570/merge at luke/yosys from mirror 2026-06-24 19:42:45 +02:00
9139c1e245 Merge 824d03368e8cef481c3b0362112cd1dfcf9355b8 into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »
luke synced commits to refs/heads/refs/pull/5578/merge at luke/yosys from mirror 2026-06-24 19:42:45 +02:00
ea4e306932 Merge 42c9b9ef681b318b44e29ef47addc0fcd4d38947 into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »
luke synced commits to refs/heads/refs/pull/5581/merge at luke/yosys from mirror 2026-06-24 19:42:45 +02:00
0d12f0bbb5 Merge cf6d89b6ad7db8e8fc56e7eda46c17da17b0f64a into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »
luke synced commits to refs/heads/refs/pull/5619/merge at luke/yosys from mirror 2026-06-24 19:42:45 +02:00
c092185ecf Merge eb5a9cc96a4521cf47b9203a55862a78f44a6e65 into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »
luke synced commits to refs/heads/refs/pull/5705/merge at luke/yosys from mirror 2026-06-24 19:42:45 +02:00
1e29fa436f Merge ba8a0f5adf9a5f78826edbef7e3851429d185515 into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »
luke synced commits to refs/heads/refs/pull/5716/merge at luke/yosys from mirror 2026-06-24 19:42:45 +02:00
27ee2a26d2 Merge 76d286ebe47162ff2acd7b9e4da436230eacf550 into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »
luke synced commits to refs/heads/refs/pull/3311/merge at luke/yosys from mirror 2026-06-24 19:42:44 +02:00
1588e12aeb Merge c96e19bd436022d214cede1dcaf11910cfadbdf1 into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »
luke synced commits to refs/heads/refs/pull/3453/merge at luke/yosys from mirror 2026-06-24 19:42:44 +02:00
2b95309d8d Merge fac71a215cfe7d6d9ecdeead81e929f62f1c3223 into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »
luke synced commits to refs/heads/refs/pull/4004/merge at luke/yosys from mirror 2026-06-24 19:42:44 +02:00
8109108557 Merge aa86e6355e3b351400fe7cae12fba4e82238f7a5 into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »
luke synced commits to refs/heads/refs/pull/4201/merge at luke/yosys from mirror 2026-06-24 19:42:44 +02:00
73a7007860 Merge 51a377be44d088abae099f2a1acf44b76718987b into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »
luke synced commits to refs/heads/refs/pull/4437/merge at luke/yosys from mirror 2026-06-24 19:42:44 +02:00
b10aaef5cc Merge 260cc42c2f635bafcff3e5aa574528759db52096 into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »
luke synced commits to refs/heads/refs/pull/375/head at luke/OpenSTA from mirror 2026-06-24 19:42:44 +02:00
2c2fb347dd Plumbed API for stream-based LibertyParser to LibertyReader.
luke synced commits to refs/heads/refs/pull/375/merge at luke/OpenSTA from mirror 2026-06-24 19:42:44 +02:00
a85f7a5eb6 Merge 2c2fb347dda5f53e90b018442549c94e8a88b0c8 into 8572175ac45c42ce8d3d772f73bbb059786b9c66
2c2fb347dd Plumbed API for stream-based LibertyParser to LibertyReader.
Compare 2 commits »
luke synced commits to refs/heads/refs/pull/4930/merge at luke/yosys from mirror 2026-06-24 19:42:44 +02:00
1ca3905d25 Merge 913ac04764dfdeebc9f965e4cae889098062faf6 into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »
luke synced commits to refs/heads/refs/pull/5122/merge at luke/yosys from mirror 2026-06-24 19:42:44 +02:00
1eac896c19 Merge 62b29b0b758989879170660dd82cd32a0f94cd5d into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »
luke synced commits to refs/heads/refs/pull/5478/merge at luke/yosys from mirror 2026-06-24 19:42:44 +02:00
55e3082194 Merge c59a2b047ddf517c8d57b81d2c21cb18640716a8 into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »
luke synced commits to refs/heads/refs/pull/5548/merge at luke/yosys from mirror 2026-06-24 19:42:44 +02:00
44bb61b866 Merge fb40e019aa16495d1f6dd5edb549a49eea11952b into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 13 commits »
luke synced commits to refs/heads/refs/pull/5554/merge at luke/yosys from mirror 2026-06-24 19:42:44 +02:00
2e83f3050c Merge 64e4624d5cd85ca7872b7266d16cda1520a0ebac into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »
luke synced commits to refs/heads/nella/latch-toggle at luke/yosys from mirror 2026-06-24 19:42:43 +02:00
6675c45e29 Fix (async latch).
a800a5b5cb Fix.
a8b4715298 Fix.
Compare 3 commits »
luke synced commits to refs/heads/refs/pull/2477/merge at luke/yosys from mirror 2026-06-24 19:42:43 +02:00
4b745a9277 Merge 349fc479cb275de1f02de9e42ce8bd1114c18752 into 23aadd92ab0740bdaa256fbe1fecc23e417f77b6
23aadd92ab Merge pull request #5985 from YosysHQ/logid_left
fd3ec58055 Remove leftover use of log_id
a07c484ce1 Merge pull request #5981 from YosysHQ/krys/equiv_opt_unknown
30d0b39a15 Merge pull request #5982 from YosysHQ/cleanup
Compare 40 commits »