cosa2 -> pono rename
authorMiodrag Milanovic <mmicko@gmail.com>
Fri, 3 Jul 2020 09:25:55 +0000 (11:25 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Fri, 3 Jul 2020 09:25:55 +0000 (11:25 +0200)
commita62fded391dcae53e8f2cb8e99e68afe45862669
treeb8b8f7b6f8c95106b89c0ee74ba251dac715b5a3
parent72e84cb320719bb2793a582e449d3e532e395bb3
cosa2 -> pono rename
sbysrc/sby.py
sbysrc/sby_core.py
sbysrc/sby_engine_btor.py