diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-11-20 13:49:27 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-20 13:49:27 +0100 |
| commit | 0ac330bb81946081a3ab9ae45ef5aa7122dcb786 (patch) | |
| tree | 92b3e480508add4556ca59ac331cac5865169e11 /CHANGELOG | |
| parent | 7ea0a5937ba2572f6d9d62e73e24df480c49561d (diff) | |
| parent | 55bda2b2c693a7ff79da545e7b52901de00df475 (diff) | |
| download | yosys-0ac330bb81946081a3ab9ae45ef5aa7122dcb786.tar.gz yosys-0ac330bb81946081a3ab9ae45ef5aa7122dcb786.tar.bz2 yosys-0ac330bb81946081a3ab9ae45ef5aa7122dcb786.zip | |
Merge pull request #1507 from YosysHQ/clifford/verificfixes
Some fixes in our Verific integration
Diffstat (limited to 'CHANGELOG')
0 files changed, 0 insertions, 0 deletions