projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29e2b2d) | patch
Improve write_btor symbol handling
authorClaire Wolf <claire@symbioticeda.com>
Sat, 14 Mar 2020 14:49:43 +0000 (15:49 +0100)
committerClaire Wolf <claire@symbioticeda.com>
Sat, 14 Mar 2020 14:49:43 +0000 (15:49 +0100)
commitbf018b184d1f2b4f9ff0ccecb7670630bbed626e
treea5ec0aedce6892381f936602e287e136875d80c9tree
parent29e2b2dc05716607b136370432ba602c4f8c4822commit | diff
Improve write_btor symbol handling

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