diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-07-04 20:01:30 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-07-04 20:01:30 +0200 |
| commit | 28039c3063f462b03291957dcc9672072a59975e (patch) | |
| tree | 3d4ca72890d7b62c0cb8b7b19a65e9e52923111a /backends/aiger | |
| parent | 621787a9e0ab8064d004735889430e20b6e9c274 (diff) | |
| download | yosys-28039c3063f462b03291957dcc9672072a59975e.tar.gz yosys-28039c3063f462b03291957dcc9672072a59975e.tar.bz2 yosys-28039c3063f462b03291957dcc9672072a59975e.zip | |
Add Verific Release information to log
Diffstat (limited to 'backends/aiger')
0 files changed, 0 insertions, 0 deletions