diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-03-11 15:29:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-11 15:29:34 +0100 |
| commit | 2f44683f4f32c2066eadc3caf83b2d5b5cbdbb27 (patch) | |
| tree | 519d3654760d4a03f780959f4e617de528561dd1 /techlibs/intel_alm/Makefile.inc | |
| parent | eb8c61f033fca5c0148d7ede41b8e36fe751a234 (diff) | |
| parent | 5204694123e6ac10b931ac45dbe7f4cd0b11b93b (diff) | |
| download | yosys-2f44683f4f32c2066eadc3caf83b2d5b5cbdbb27.tar.gz yosys-2f44683f4f32c2066eadc3caf83b2d5b5cbdbb27.tar.bz2 yosys-2f44683f4f32c2066eadc3caf83b2d5b5cbdbb27.zip | |
Merge pull request #3226 from YosysHQ/micko/btor2witness
Sim support for btor2 witness files
Diffstat (limited to 'techlibs/intel_alm/Makefile.inc')
0 files changed, 0 insertions, 0 deletions