projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9fdece3 c7668de)
Merge pull request #88 from YosysHQ/claire/cosa2
authorclairexen <claire@symbioticeda.com>
Mon, 18 May 2020 15:01:19 +0000 (17:01 +0200)
committerGitHub <noreply@github.com>
Mon, 18 May 2020 15:01:19 +0000 (17:01 +0200)
Add support for cosa2 BTOR solver


Trivial merge