diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2021-08-02 00:50:24 +0000 |
|---|---|---|
| committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2021-08-02 00:50:24 +0000 |
| commit | 10bcc4e1926cb7cee7aa12646e82ec16a42ce480 (patch) | |
| tree | d1fb2bac701d9200c2fbd20329d0f991fa2444be /frontends/verific | |
| parent | ec2a468bd389a8275a9a2584fb475901cc495d03 (diff) | |
| download | yosys-10bcc4e1926cb7cee7aa12646e82ec16a42ce480.tar.gz yosys-10bcc4e1926cb7cee7aa12646e82ec16a42ce480.tar.bz2 yosys-10bcc4e1926cb7cee7aa12646e82ec16a42ce480.zip | |
Bump version
Diffstat (limited to 'frontends/verific')
0 files changed, 0 insertions, 0 deletions