diff options
| author | clairexen <claire@symbioticeda.com> | 2020-08-20 16:21:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-20 16:21:58 +0200 |
| commit | 6a68b8ed542b89f32303c8036ae0b698d90f8c2b (patch) | |
| tree | 063d3bd0ed1de820216cbd7c2d8713e61fc0153d /passes/sat | |
| parent | faf8e19511de07e38158ae68950876843ef803c5 (diff) | |
| parent | 54a0c083a111efaf5e8b486cb0a6725f4eb260df (diff) | |
| download | yosys-6a68b8ed542b89f32303c8036ae0b698d90f8c2b.tar.gz yosys-6a68b8ed542b89f32303c8036ae0b698d90f8c2b.tar.bz2 yosys-6a68b8ed542b89f32303c8036ae0b698d90f8c2b.zip | |
Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup
Remove passes redundant with opt_dff
Diffstat (limited to 'passes/sat')
0 files changed, 0 insertions, 0 deletions