diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-08-28 19:52:06 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-08-28 19:52:06 +0200 |
| commit | 908f34aafc3135c91b257f8cc2e66d49860138d2 (patch) | |
| tree | 2c63040dd980023a177e22ae22fbcda981907c8b /passes/sat/example.ys | |
| parent | 3aad3ed3da2d838e774b68644ff9e51c475d9916 (diff) | |
| download | yosys-908f34aafc3135c91b257f8cc2e66d49860138d2.tar.gz yosys-908f34aafc3135c91b257f8cc2e66d49860138d2.tar.bz2 yosys-908f34aafc3135c91b257f8cc2e66d49860138d2.zip | |
Rename recover_reduce to extract_reduce, fix args handling
Diffstat (limited to 'passes/sat/example.ys')
0 files changed, 0 insertions, 0 deletions