diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-12 12:58:10 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-12 12:58:10 -0800 |
| commit | e9df9a466a79677633bbcd6b419f7ea8d8d3cf6d (patch) | |
| tree | 4c6d3830412d13928ca6f58311066c170b8b3357 /backends/btor | |
| parent | 06ba81d41f7d1a8e7bae469f016b2e3e412cab7a (diff) | |
| download | yosys-e9df9a466a79677633bbcd6b419f7ea8d8d3cf6d.tar.gz yosys-e9df9a466a79677633bbcd6b419f7ea8d8d3cf6d.tar.bz2 yosys-e9df9a466a79677633bbcd6b419f7ea8d8d3cf6d.zip | |
Add support for read_aiger -wideports
Diffstat (limited to 'backends/btor')
0 files changed, 0 insertions, 0 deletions