projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 76326c1) | patch
Use separate writer thread for talking to SMT solver to avoid read/write deadlock
authorClifford Wolf <clifford@clifford.at>
Wed, 25 Oct 2017 17:59:56 +0000 (19:59 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 25 Oct 2017 17:59:56 +0000 (19:59 +0200)
commitf513494f5fabd2596b1748cf67dcaf70723b28f7
treef2e672e0ca67a31483df72eb8bf3837e523754fetree
parent76326c163a6698ab33059ca5fcf34b5e46bb8538commit | diff
Use separate writer thread for talking to SMT solver to avoid read/write deadlock
backends/smt2/smtio.py diff | blob | history