diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-03-31 14:50:32 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-31 14:50:32 -0700 |
| commit | 1bb5a5215fc3e1e84af3cb77bb26cc5705ab7837 (patch) | |
| tree | d5c81a98367cb0509ac1726d3599162e5e24dda2 /passes/sat/freduce.cc | |
| parent | 05f74d4f315eab0fa0c7e83627482f5160113ba5 (diff) | |
| parent | cdf17c445525c0f665473dfcf342a5a1ecac2c6b (diff) | |
| download | yosys-1bb5a5215fc3e1e84af3cb77bb26cc5705ab7837.tar.gz yosys-1bb5a5215fc3e1e84af3cb77bb26cc5705ab7837.tar.bz2 yosys-1bb5a5215fc3e1e84af3cb77bb26cc5705ab7837.zip | |
Merge pull request #1761 from YosysHQ/eddie/opt_merge_speedup
opt_merge: speedup
Diffstat (limited to 'passes/sat/freduce.cc')
0 files changed, 0 insertions, 0 deletions