diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-06-17 16:20:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-17 16:20:31 +0200 |
| commit | c23139fd98f018d4f73b34e220a23787f640d130 (patch) | |
| tree | 942aa19782fb75fa8fae80b49bc8a6f9ea0ac592 /passes | |
| parent | 01daa077a2837830914f3d99f351918d690b9093 (diff) | |
| parent | 607e957657fc56625de5c28ea9cd43c859017d96 (diff) | |
| download | yosys-c23139fd98f018d4f73b34e220a23787f640d130.tar.gz yosys-c23139fd98f018d4f73b34e220a23787f640d130.tar.bz2 yosys-c23139fd98f018d4f73b34e220a23787f640d130.zip | |
Merge pull request #3382 from YosysHQ/micko/verific_extensions
use new verific extensions library
Diffstat (limited to 'passes')
0 files changed, 0 insertions, 0 deletions