diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-10-13 20:23:19 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-10-13 20:23:19 +0200 |
| commit | 1954c78ea7b6ddc732ac4dc9f02a0d0cbc104a64 (patch) | |
| tree | 06e2f8a12488ed8cdc78229f83961321e6bf779c /passes/opt/opt_reduce.cc | |
| parent | e7a3c47cc793eaacff3b3bf0e996944f6963a7a8 (diff) | |
| download | yosys-1954c78ea7b6ddc732ac4dc9f02a0d0cbc104a64.tar.gz yosys-1954c78ea7b6ddc732ac4dc9f02a0d0cbc104a64.tar.bz2 yosys-1954c78ea7b6ddc732ac4dc9f02a0d0cbc104a64.zip | |
Add "verific -vlog-libdir"
Diffstat (limited to 'passes/opt/opt_reduce.cc')
0 files changed, 0 insertions, 0 deletions