projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e8f7f4) | patch
Properly construct $live and $fair cells from "if (...) assume/assert (s_eventually...
authorClifford Wolf <clifford@clifford.at>
Mon, 2 Sep 2019 20:56:38 +0000 (22:56 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 2 Sep 2019 20:56:38 +0000 (22:56 +0200)
commit25e5fbac9096a872f7be1a481e6798103f40ccf5
tree7c2845e7f16316bcf4c7dbcbfc3574e1fbbfbea0tree
parent7e8f7f4c59c96897159d32771d0c7179c5474281commit | diff
Properly construct $live and $fair cells from "if (...) assume/assert (s_eventually ...)"

Fixes https://github.com/YosysHQ/SymbiYosys/issues/59

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/ast/simplify.cc diff | blob | history