diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-29 23:01:56 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-07-01 19:55:16 +0000 |
| commit | 95e801681146eef6fce177e84701cddf1b822e23 (patch) | |
| tree | 0bcaf48a2ef5cf4a6f2740f6562a7634524c36a2 /passes/opt | |
| parent | 8cd60be654c60b1242ea7fc166b2f1a18c1a59c5 (diff) | |
| download | yosys-95e801681146eef6fce177e84701cddf1b822e23.tar.gz yosys-95e801681146eef6fce177e84701cddf1b822e23.tar.bz2 yosys-95e801681146eef6fce177e84701cddf1b822e23.zip | |
qbfsat: Clean up external executable command lines and update temporary directory name.
Diffstat (limited to 'passes/opt')
0 files changed, 0 insertions, 0 deletions