projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0cc795) | patch
Add info-file and cover features to write_btor
authorClaire Wolf <claire@symbioticeda.com>
Fri, 13 Mar 2020 12:46:32 +0000 (13:46 +0100)
committerClaire Wolf <claire@symbioticeda.com>
Fri, 13 Mar 2020 12:46:32 +0000 (13:46 +0100)
commit29e2b2dc05716607b136370432ba602c4f8c4822
tree2098c78de43e6218cc9735706492b0db71a23bfctree
parenta0cc795e85541b0326b6d4396a726142f0d0f8bbcommit | diff
Add info-file and cover features to write_btor

Signed-off-by: Claire Wolf <claire@symbioticeda.com>
backends/btor/btor.cc diff | blob | history