diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2020-07-17 15:05:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-17 15:05:46 +0200 |
| commit | eed05953f820439178b2138cef7d53d50528354a (patch) | |
| tree | 4c2b97d4a8a30e05dbcd9efe90c51f205600b9ea /kernel/satgen.cc | |
| parent | 10bc0967e270cede75e38264b48621a07387d8e3 (diff) | |
| parent | 1b95b0e570492c9ee9f221ccd362b5846a941749 (diff) | |
| download | yosys-eed05953f820439178b2138cef7d53d50528354a.tar.gz yosys-eed05953f820439178b2138cef7d53d50528354a.tar.bz2 yosys-eed05953f820439178b2138cef7d53d50528354a.zip | |
Merge pull request #2275 from YosysHQ/mwk/sf2-clkint-fix
sf2: Emit CLKINT even if -clkbuf not passed
Diffstat (limited to 'kernel/satgen.cc')
0 files changed, 0 insertions, 0 deletions