projects / SymbiYosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9aff36a) | patch
use info file for btorsim
authorN. Engelhardt <nak@symbioticeda.com>
Wed, 8 Apr 2020 13:25:00 +0000 (15:25 +0200)
committerN. Engelhardt <nak@symbioticeda.com>
Wed, 8 Apr 2020 13:25:00 +0000 (15:25 +0200)
commit1b8f3df8bda798efae80c55b65917dc97c69a5a4
tree8c98508b006c95591a2819370bf627496a0e27c0tree
parent9aff36a3febb392ad15bcf18a7a794ab238c7a44commit | diff
use info file for btorsim
sbysrc/sby_engine_btor.py diff | blob | history