diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-05-12 12:45:47 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-05-12 12:45:47 +0200 |
| commit | 68c059565a3b75808e74eb481f14cb7f0c907f37 (patch) | |
| tree | c2b57270822033c4dd01cfd559e7dab4b9fbc97e /backends/btor | |
| parent | f69b5800c940557cafd20598b03d774dd6cf6f8d (diff) | |
| download | yosys-68c059565a3b75808e74eb481f14cb7f0c907f37.tar.gz yosys-68c059565a3b75808e74eb481f14cb7f0c907f37.tar.bz2 yosys-68c059565a3b75808e74eb481f14cb7f0c907f37.zip | |
Fixed bug in opt_reduce (see vloghammer issue_044)
Diffstat (limited to 'backends/btor')
0 files changed, 0 insertions, 0 deletions