diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-06-11 00:17:13 +0000 |
|---|---|---|
| committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-06-11 00:17:13 +0000 |
| commit | b15a46c2c0bf79445d3f0ba0ec80303080d33cfe (patch) | |
| tree | f2b6427358edcd8df36eac7740d4b9b23c49f678 /frontends/verific | |
| parent | 53b205c41df737d2fc4feaf6a46e596a93780bf8 (diff) | |
| download | yosys-b15a46c2c0bf79445d3f0ba0ec80303080d33cfe.tar.gz yosys-b15a46c2c0bf79445d3f0ba0ec80303080d33cfe.tar.bz2 yosys-b15a46c2c0bf79445d3f0ba0ec80303080d33cfe.zip | |
Bump version
Diffstat (limited to 'frontends/verific')
0 files changed, 0 insertions, 0 deletions