diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2021-10-22 01:00:39 +0000 |
---|---|---|
committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2021-10-22 01:00:39 +0000 |
commit | 52ba31b1c023b571868a396adfe1f43a0f71e867 (patch) | |
tree | f8cd60bcbe2ca9526f748020ddf44ade6c2f1c82 /frontends/verific/verific.cc | |
parent | 5cebf6a8efb4f1e9b836db76be0bb2a964932905 (diff) | |
download | yosys-52ba31b1c023b571868a396adfe1f43a0f71e867.tar.gz yosys-52ba31b1c023b571868a396adfe1f43a0f71e867.tar.bz2 yosys-52ba31b1c023b571868a396adfe1f43a0f71e867.zip |
Bump version
Diffstat (limited to 'frontends/verific/verific.cc')
0 files changed, 0 insertions, 0 deletions