diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-09-05 18:14:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-05 18:14:28 +0200 |
| commit | 4b7202c9c26509df6a925c258cfbb12c464a9d6c (patch) | |
| tree | b6b15601a9dd1ea92e52ff31eb706b23fa508db5 /techlibs/ecp5 | |
| parent | 82784c279ded1659c882d3385cbd189171c1051a (diff) | |
| parent | 25e5fbac9096a872f7be1a481e6798103f40ccf5 (diff) | |
| download | yosys-4b7202c9c26509df6a925c258cfbb12c464a9d6c.tar.gz yosys-4b7202c9c26509df6a925c258cfbb12c464a9d6c.tar.bz2 yosys-4b7202c9c26509df6a925c258cfbb12c464a9d6c.zip | |
Merge pull request #1350 from YosysHQ/clifford/fixsby59
Properly construct $live and $fair cells from "if (...) assume/assert (s_eventually ...)"
Diffstat (limited to 'techlibs/ecp5')
0 files changed, 0 insertions, 0 deletions