diff options
| author | Claire Wolf <clifford@clifford.at> | 2020-04-02 15:38:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-02 15:38:27 +0200 |
| commit | 104c004e6daf566c248343f27060fbc4427a3597 (patch) | |
| tree | f4836aaff12341f07d3fe0257e19849b2daf1e25 /kernel | |
| parent | 8b7610c48bcd0ae7ec30274e7580edbeb6720bea (diff) | |
| parent | 29e2b2dc05716607b136370432ba602c4f8c4822 (diff) | |
| download | yosys-104c004e6daf566c248343f27060fbc4427a3597.tar.gz yosys-104c004e6daf566c248343f27060fbc4427a3597.tar.bz2 yosys-104c004e6daf566c248343f27060fbc4427a3597.zip | |
Merge pull request #1765 from YosysHQ/claire/btor_info
Add info-file and cover features to write_btor
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions