diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-06-21 00:16:10 +0000 |
---|---|---|
committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-06-21 00:16:10 +0000 |
commit | 0b486c56e844f7645a34f58717e89b589cc276d3 (patch) | |
tree | 7764a29205edcf74623538dbdf685819f93edd09 /frontends/verific/verific.cc | |
parent | 34804f3fb63d8f576ec614904171c1384839cd73 (diff) | |
download | yosys-0b486c56e844f7645a34f58717e89b589cc276d3.tar.gz yosys-0b486c56e844f7645a34f58717e89b589cc276d3.tar.bz2 yosys-0b486c56e844f7645a34f58717e89b589cc276d3.zip |
Bump version
Diffstat (limited to 'frontends/verific/verific.cc')
0 files changed, 0 insertions, 0 deletions