diff options
author | Yosys Bot <yosys-bot@symbioticeda.com> | 2020-08-30 00:10:07 +0000 |
---|---|---|
committer | Yosys Bot <yosys-bot@symbioticeda.com> | 2020-08-30 00:10:07 +0000 |
commit | 3030c2b46cabee8eee5e3ae25c9859887b0b97a1 (patch) | |
tree | 4407b4ec82db3c02b2ad51c3b3cfd2deef8c3b88 /frontends/verific/verific.cc | |
parent | c1fff52477619b0cee85663eb2d36476e10c9ace (diff) | |
download | yosys-3030c2b46cabee8eee5e3ae25c9859887b0b97a1.tar.gz yosys-3030c2b46cabee8eee5e3ae25c9859887b0b97a1.tar.bz2 yosys-3030c2b46cabee8eee5e3ae25c9859887b0b97a1.zip |
Bump version
Diffstat (limited to 'frontends/verific/verific.cc')
0 files changed, 0 insertions, 0 deletions