diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-26 01:02:53 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-04 22:13:26 +0000 |
| commit | 3a4fd4a999771f54adb16bf2cc037c79e7e393e8 (patch) | |
| tree | 948737889bf33657caf176d0e7471fc037b6d73b /techlibs/xilinx/xilinx_dffopt.cc | |
| parent | b9e79e0bb76e0b45650005914ebf21c77e0242d1 (diff) | |
| download | yosys-3a4fd4a999771f54adb16bf2cc037c79e7e393e8.tar.gz yosys-3a4fd4a999771f54adb16bf2cc037c79e7e393e8.tar.bz2 yosys-3a4fd4a999771f54adb16bf2cc037c79e7e393e8.zip | |
Implement `-specialize-from-file` option for the `qbfsat` command.
Diffstat (limited to 'techlibs/xilinx/xilinx_dffopt.cc')
0 files changed, 0 insertions, 0 deletions