projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d07828b ab9e887)
Merge pull request #3358 from jix/smtbmc-yices-forall
authorJannis Harder <me@jix.one>
Tue, 7 Jun 2022 11:19:34 +0000 (13:19 +0200)
committerGitHub <noreply@github.com>
Tue, 7 Jun 2022 11:19:34 +0000 (13:19 +0200)
smtbmc: Force nonincremental mode when yices is used with forall


Trivial merge