From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 5 Sep 2019 16:14:28 +0000 (+0200)
Subject: Merge pull request #1350 from YosysHQ/clifford/fixsby59
X-Git-Tag: working-ls180~1075^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4b7202c9c26509df6a925c258cfbb12c464a9d6c;p=yosys.git

Merge pull request #1350 from YosysHQ/clifford/fixsby59

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

4b7202c9c26509df6a925c258cfbb12c464a9d6c