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 | |
| parent | 0d2377c8a6face25a83f15929e02ce62d99da005 (diff) | |
| download | yosys-9d63a90e0e0f3e9bd86884eb4fe3262ce70ce819.tar.gz yosys-9d63a90e0e0f3e9bd86884eb4fe3262ce70ce819.tar.bz2 yosys-9d63a90e0e0f3e9bd86884eb4fe3262ce70ce819.zip | |
Bump version
Diffstat (limited to 'frontends/verific')
0 files changed, 0 insertions, 0 deletions