diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-06-17 16:04:22 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-06-17 16:04:22 +0200 |
| commit | 607e957657fc56625de5c28ea9cd43c859017d96 (patch) | |
| tree | 942aa19782fb75fa8fae80b49bc8a6f9ea0ac592 /passes | |
| parent | 01daa077a2837830914f3d99f351918d690b9093 (diff) | |
| download | yosys-607e957657fc56625de5c28ea9cd43c859017d96.tar.gz yosys-607e957657fc56625de5c28ea9cd43c859017d96.tar.bz2 yosys-607e957657fc56625de5c28ea9cd43c859017d96.zip | |
use new verific extensions library
Diffstat (limited to 'passes')
0 files changed, 0 insertions, 0 deletions