diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2020-01-15 08:47:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-15 08:47:16 +0100 |
| commit | abba1541bc18b031625708a966c830b5c1f81283 (patch) | |
| tree | cce1f4d72ae256409cc76911e85a97911e7cc960 /passes/sat/sat.cc | |
| parent | ffd6f54f92a7ba3856b5f168b7db97eb8ed87caa (diff) | |
| parent | 36d1a2c60ff8179d9cfbdb1ae0ca5dd5d883991a (diff) | |
| download | yosys-abba1541bc18b031625708a966c830b5c1f81283.tar.gz yosys-abba1541bc18b031625708a966c830b5c1f81283.tar.bz2 yosys-abba1541bc18b031625708a966c830b5c1f81283.zip | |
Merge pull request #1636 from YosysHQ/eddie/fix_synth_xilinx_W
synth_xilinx: fix default W value for non-xc7
Diffstat (limited to 'passes/sat/sat.cc')
0 files changed, 0 insertions, 0 deletions