projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 13fef4a) | patch
Be more conservative in btor ys script
authorClaire Wolf <claire@symbioticeda.com>
Tue, 23 Jun 2020 12:32:59 +0000 (14:32 +0200)
committerClaire Wolf <claire@symbioticeda.com>
Tue, 23 Jun 2020 12:32:59 +0000 (14:32 +0200)
commit655d9c6bcd7f3df80b1a94161517c20985bf294f
tree02ca2fc283b32953d0b4e482d00479d51197d3a7tree
parent13fef4a710d0e2cf0f109ca75a94fb7253ba6838commit | diff
Be more conservative in btor ys script

Signed-off-by: Claire Wolf <claire@symbioticeda.com>
sbysrc/sby_core.py diff | blob | history