projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d88a5d2) | patch
smtbmc: Force nonincremental mode when yices is used with forall
authorJannis Harder <me@jix.one>
Fri, 3 Jun 2022 14:45:23 +0000 (16:45 +0200)
committerJannis Harder <me@jix.one>
Fri, 3 Jun 2022 14:45:23 +0000 (16:45 +0200)
commitab9e887dee3c6e173ca0943a4ac8bb55dd9b31b3
tree233f525b4d1b16bcd72ba8cfd58b433748115d80tree
parentd88a5d26b7849e25dceb3854070dd56f9044c7eecommit | diff
smtbmc: Force nonincremental mode when yices is used with forall
backends/smt2/smtio.py diff | blob | history