projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 60ecc5c) | patch
Run solver in non-incremental mode whem smtio.py is configured for non-incremental...
authorClifford Wolf <clifford@clifford.at>
Tue, 6 Nov 2018 10:11:05 +0000 (11:11 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 6 Nov 2018 10:11:05 +0000 (11:11 +0100)
commitf6c4485a3ac315fbed76f1a2e1f22df7afb36886
treeddf780bd6f21710c086b7cd913ba9fcaf54bbc11tree
parent60ecc5c70ceb0c089e2054514138e7b0388a7722commit | diff
Run solver in non-incremental mode whem smtio.py is configured for non-incremental solving

Signed-off-by: Clifford Wolf <clifford@clifford.at>
backends/smt2/smtio.py diff | blob | history