diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-06-30 00:17:25 +0000 |
---|---|---|
committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-06-30 00:17:25 +0000 |
commit | 9d63a90e0e0f3e9bd86884eb4fe3262ce70ce819 (patch) | |
tree | 76527a06dcd9d67df7ef9ed5d2350d05c8b4b46f /frontends/verific/verific.cc | |
parent | 0d2377c8a6face25a83f15929e02ce62d99da005 (diff) | |
download | yosys-9d63a90e0e0f3e9bd86884eb4fe3262ce70ce819.tar.gz yosys-9d63a90e0e0f3e9bd86884eb4fe3262ce70ce819.tar.bz2 yosys-9d63a90e0e0f3e9bd86884eb4fe3262ce70ce819.zip |
Bump version
Diffstat (limited to 'frontends/verific/verific.cc')
0 files changed, 0 insertions, 0 deletions