projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47729cd) | patch
Add "smtbmc --basecase/--induction"
authorClifford Wolf <clifford@clifford.at>
Wed, 7 Mar 2018 21:23:50 +0000 (22:23 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 7 Mar 2018 21:23:50 +0000 (22:23 +0100)
commitec38b0b8417f46a67bf9895d91905d5a30a5a63d
treecc7cfcf0a9cc7f484f0bc9185850f9af16d1c433tree
parent47729cd61c0ad6c81c5601c1513b0405f0775182commit | diff
Add "smtbmc --basecase/--induction"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
sbysrc/sby_engine_smtbmc.py diff | blob | history