diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-02-13 08:20:19 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-02-13 08:20:19 +0100 |
| commit | a75f94ec4ae411d98d9882e423e0ae02eda4bd37 (patch) | |
| tree | c853dbdcf0ec6eddb61570695f8d0cb1bb499bd1 /backends/btor/btor.cc | |
| parent | 7bd329afa07ad97969afa69faba925634b03252d (diff) | |
Run dffsr2dff in synth_xilinx
Diffstat (limited to 'backends/btor/btor.cc')
0 files changed, 0 insertions, 0 deletions