diff options
| author | Jannis Harder <me@jix.one> | 2022-06-10 15:25:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-10 15:25:57 +0200 |
| commit | 53b205c41df737d2fc4feaf6a46e596a93780bf8 (patch) | |
| tree | c99fd2bb9c3b9fc33c23d9534d3a8d325aa31501 /passes/opt/opt_ffinv.cc | |
| parent | 4b423dcfb4727d5581445e9acbff1051faa0b6ff (diff) | |
| parent | 0c5f62f6ffd53c1a65325df0d71046957d94dfd0 (diff) | |
| download | yosys-53b205c41df737d2fc4feaf6a46e596a93780bf8.tar.gz yosys-53b205c41df737d2fc4feaf6a46e596a93780bf8.tar.bz2 yosys-53b205c41df737d2fc4feaf6a46e596a93780bf8.zip | |
Merge pull request #3368 from jix/smtbmc-unroll-noincr-traces-fix
smtbmc: noincr: keep solver running for post check-sat unrolling
Diffstat (limited to 'passes/opt/opt_ffinv.cc')
0 files changed, 0 insertions, 0 deletions