diff options
| author | David Shah <dave@ds0.me> | 2019-07-27 07:40:38 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-27 07:40:38 +0100 |
| commit | 6538671c84a12114a991d59569eede3e0d368758 (patch) | |
| tree | fc79a549c0dc422d77928d306bd14f4235f62ebb /frontends/verific | |
| parent | a02d1720a766ae1b993a9884e840f37b3d785b8f (diff) | |
| parent | 482926cbd306cc71aebb81b1b8e825ced9b3f26d (diff) | |
| download | yosys-6538671c84a12114a991d59569eede3e0d368758.tar.gz yosys-6538671c84a12114a991d59569eede3e0d368758.tar.bz2 yosys-6538671c84a12114a991d59569eede3e0d368758.zip | |
Merge pull request #1226 from YosysHQ/dave/gzip
Add support for gzip'd input files
Diffstat (limited to 'frontends/verific')
0 files changed, 0 insertions, 0 deletions