diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-09-27 00:25:00 +0000 |
---|---|---|
committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-09-27 00:25:00 +0000 |
commit | a9795c4fce52f825fbb455daa74b4d126a289ff6 (patch) | |
tree | bd304dddf0cbae1166c362a83a3ec98bbab83626 /frontends/verific | |
parent | b2ddd0d42d8bc6d7dc770e0a2077e6740298708f (diff) | |
download | yosys-a9795c4fce52f825fbb455daa74b4d126a289ff6.tar.gz yosys-a9795c4fce52f825fbb455daa74b4d126a289ff6.tar.bz2 yosys-a9795c4fce52f825fbb455daa74b4d126a289ff6.zip |
Bump version
Diffstat (limited to 'frontends/verific')
0 files changed, 0 insertions, 0 deletions