diff options
| author | Claire Xen <claire@clairexen.net> | 2021-07-05 16:59:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-05 16:59:37 +0200 |
| commit | 676c544abe09a8a7b062be77c3e6e263f6ee86f3 (patch) | |
| tree | 8e4a99bf63c47079bf01ba81ce89e486c24de350 /frontends/verific/verificsva.cc | |
| parent | 75e5500d4d3a9f37d14e94304bb7b90762ac13e8 (diff) | |
| parent | 0dbb05a75e1bb92c194ce6305fee02bf2e5e0470 (diff) | |
| download | yosys-676c544abe09a8a7b062be77c3e6e263f6ee86f3.tar.gz yosys-676c544abe09a8a7b062be77c3e6e263f6ee86f3.tar.bz2 yosys-676c544abe09a8a7b062be77c3e6e263f6ee86f3.zip | |
Merge pull request #2835 from YosysHQ/verific_command
Support command files in Verific
Diffstat (limited to 'frontends/verific/verificsva.cc')
0 files changed, 0 insertions, 0 deletions