diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-08-12 08:45:04 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-08-12 08:45:04 +0200 |
| commit | 667b0150185d53578b002a00df9c4f347a35fed2 (patch) | |
| tree | d9673005bd2ed4f243f10d8e80654fef62b31843 /backends/smt2 | |
| parent | 8c4c62f3e1f6d0e6128c4b88f764cc58a744aee8 (diff) | |
| parent | cbda56d178f17ae963bb0ea2f295e222a25c25b4 (diff) | |
| download | yosys-667b0150185d53578b002a00df9c4f347a35fed2.tar.gz yosys-667b0150185d53578b002a00df9c4f347a35fed2.tar.bz2 yosys-667b0150185d53578b002a00df9c4f347a35fed2.zip | |
Merge pull request #70 from gaomy3832/bugfix
Remove unused blackbox modules in opt_clean.
Diffstat (limited to 'backends/smt2')
0 files changed, 0 insertions, 0 deletions