use new verific extensions library
authorMiodrag Milanovic <mmicko@gmail.com>
Fri, 17 Jun 2022 14:04:22 +0000 (16:04 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Fri, 17 Jun 2022 14:04:22 +0000 (16:04 +0200)
commit607e957657fc56625de5c28ea9cd43c859017d96
tree942aa19782fb75fa8fae80b49bc8a6f9ea0ac592
parent01daa077a2837830914f3d99f351918d690b9093
use new verific extensions library
frontends/verific/verific.cc