diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-11-06 12:21:05 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-06 12:21:05 +0100 |
| commit | 7bd2144d03ae5daffbcddea609d2db7df7b751a2 (patch) | |
| tree | b16d3daf4bfc6a97d9cef5cc1380e175ffa122b2 /backends/smt2/smtio.py | |
| parent | f6c4485a3ac315fbed76f1a2e1f22df7afb36886 (diff) | |
| parent | cfc9b9147c3d737781f197a825b019584c2695a5 (diff) | |
| download | yosys-7bd2144d03ae5daffbcddea609d2db7df7b751a2.tar.gz yosys-7bd2144d03ae5daffbcddea609d2db7df7b751a2.tar.bz2 yosys-7bd2144d03ae5daffbcddea609d2db7df7b751a2.zip | |
Merge pull request #694 from trcwm/dffmap_expr_fix
DFFLIBMAP: changed 'missing pin' error into a warning.
Diffstat (limited to 'backends/smt2/smtio.py')
0 files changed, 0 insertions, 0 deletions