Add "mode live" support
authorClifford Wolf <clifford@clifford.at>
Wed, 1 Mar 2017 10:09:14 +0000 (11:09 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 1 Mar 2017 10:12:23 +0000 (11:12 +0100)
commit774849a6edfd2f1adf8bd6148da0672ffc81b708
tree61452e8c6ef793d387e752c879a690b470cd696f
parent6e03f1d89518b4b7a81966c4f7e7249a2730d802
Add "mode live" support
sbysrc/sby_core.py
sbysrc/sby_engine_aiger.py
sbysrc/sby_mode_live.py [new file with mode: 0644]