diff options
| author | Jannis Harder <me@jix.one> | 2022-06-08 12:52:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-08 12:52:51 +0200 |
| commit | 6db29489386ce749d08c67547eb1b8acc16f8e5c (patch) | |
| tree | 9f8a52bccc241e2778e844e64c97aad25c3492e6 /passes/opt/wreduce.cc | |
| parent | a0172e68c57e5b98f30245667945a20f81445187 (diff) | |
| parent | 0207d7b0cfa24b7fe688b5e9458762dd8678ae52 (diff) | |
| download | yosys-6db29489386ce749d08c67547eb1b8acc16f8e5c.tar.gz yosys-6db29489386ce749d08c67547eb1b8acc16f8e5c.tar.bz2 yosys-6db29489386ce749d08c67547eb1b8acc16f8e5c.zip | |
Merge pull request #3357 from jix/smtbmc-cvc5
smtbmc: recognize cvc5 and fix unrolling for cvc4/cvc5
Diffstat (limited to 'passes/opt/wreduce.cc')
0 files changed, 0 insertions, 0 deletions