From: Miodrag Milanović <mmicko@gmail.com>
Date: Fri, 17 Jun 2022 14:20:31 +0000 (+0200)
Subject: Merge pull request #3382 from YosysHQ/micko/verific_extensions
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c23139fd98f018d4f73b34e220a23787f640d130;p=yosys.git

Merge pull request #3382 from YosysHQ/micko/verific_extensions

use new verific extensions library
---

c23139fd98f018d4f73b34e220a23787f640d130