projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a0172e6 0207d7b)
Merge pull request #3357 from jix/smtbmc-cvc5
authorJannis Harder <me@jix.one>
Wed, 8 Jun 2022 10:52:51 +0000 (12:52 +0200)
committerGitHub <noreply@github.com>
Wed, 8 Jun 2022 10:52:51 +0000 (12:52 +0200)
smtbmc: recognize cvc5 and fix unrolling for cvc4/cvc5

1  2 
backends/smt2/smtio.py patch | diff1 | diff2 | blob | history

diff --cc backends/smt2/smtio.py
Simple merge