luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-10-06 10:03:36 +02:00
Code Issues Packages Projects Releases Wiki Activity
17,901 Commits 159 Branches 71 Tags
666df5e9c8f803eaab05d6734c6edde89c41a7c0
Commit Graph
1 Commits
Author SHA1 Message Date
Emil J. Tywoniak 5b4603c54f dfflibmap: fix formal $dffsr tests with sat, prove "no s&r" assumption only needed when appropriate 2026-03-03 10:35:03 +01:00