Merge pull request #1350 from YosysHQ/clifford/fixsby59
authorClifford Wolf <clifford@clifford.at>
Thu, 5 Sep 2019 16:14:28 +0000 (18:14 +0200)
committerGitHub <noreply@github.com>
Thu, 5 Sep 2019 16:14:28 +0000 (18:14 +0200)
commit4b7202c9c26509df6a925c258cfbb12c464a9d6c
treeb6b15601a9dd1ea92e52ff31eb706b23fa508db5
parent82784c279ded1659c882d3385cbd189171c1051a
parent25e5fbac9096a872f7be1a481e6798103f40ccf5
Merge pull request #1350 from YosysHQ/clifford/fixsby59

Properly construct $live and $fair cells from "if (...) assume/assert (s_eventually ...)"