diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-06-04 00:16:35 +0000 |
|---|---|---|
| committer | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-06-04 00:16:35 +0000 |
| commit | 8d0f71b25640be359c06456e524f9e513f4340d4 (patch) | |
| tree | 558cf012835fc9179a1c9b6d4cec36e7300a9310 /frontends/verific | |
| parent | d88a5d26b7849e25dceb3854070dd56f9044c7ee (diff) | |
| download | yosys-8d0f71b25640be359c06456e524f9e513f4340d4.tar.gz yosys-8d0f71b25640be359c06456e524f9e513f4340d4.tar.bz2 yosys-8d0f71b25640be359c06456e524f9e513f4340d4.zip | |
Bump version
Diffstat (limited to 'frontends/verific')
0 files changed, 0 insertions, 0 deletions