Merge pull request #1411 from aman-goel/YosysHQ-master
authorClifford Wolf <clifford@clifford.at>
Sun, 29 Sep 2019 08:36:25 +0000 (10:36 +0200)
committerGitHub <noreply@github.com>
Sun, 29 Sep 2019 08:36:25 +0000 (10:36 +0200)
commit178c67ea226b093cdbe101a69cb83cc8800aa702
tree7460166269d06853099b24d8f75077c093d56374
parentc372e7baf9c48d41ebdbea4486a72e8dfaaddd3d
parent5eebfabe4286d47a75508677e2bc76e8b422a879
Merge pull request #1411 from aman-goel/YosysHQ-master

Corrects BTOR2 backend