diff options
author | Miodrag Milanovic <mmicko@gmail.com> | 2022-06-21 18:06:16 +0200 |
---|---|---|
committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-06-21 18:07:47 +0200 |
commit | 1fdbb42fdd51aa940e4331cdf5b4d1ff56738658 (patch) | |
tree | a288871facc3921989dfc71cb53b856c0fc359ce /frontends/verific/example.sv | |
parent | a30b38910cc49303e4fa3d3c0d7f65647a751cfa (diff) | |
download | yosys-1fdbb42fdd51aa940e4331cdf5b4d1ff56738658.tar.gz yosys-1fdbb42fdd51aa940e4331cdf5b4d1ff56738658.tar.bz2 yosys-1fdbb42fdd51aa940e4331cdf5b4d1ff56738658.zip |
Revert "use new verific extensions library"
This reverts commit 607e957657fc56625de5c28ea9cd43c859017d96.
Diffstat (limited to 'frontends/verific/example.sv')
0 files changed, 0 insertions, 0 deletions