projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4eb91d5 150f30a)
Merge pull request #22 from YosysHQ/btor
authorClifford Wolf <clifford@clifford.at>
Sat, 8 Dec 2018 06:03:36 +0000 (22:03 -0800)
committerGitHub <noreply@github.com>
Sat, 8 Dec 2018 06:03:36 +0000 (22:03 -0800)
Btor BMC engine


Trivial merge