Merge pull request #2973 from YosysHQ/micko/optional_extensions
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 20 Aug 2021 14:09:55 +0000 (16:09 +0200)
committerGitHub <noreply@github.com>
Fri, 20 Aug 2021 14:09:55 +0000 (16:09 +0200)
commitc2866780d2ee82334649237f77a89900fa0de4bc
tree4c5df9bf6e2a88657fd0d873cad55134aed72b21
parent75a4cdfc8afc10fed80e43fb1ba31c7edaf6e361
parentb59c42734837f6cb987e97d60e56e096c8d4d40a
Merge pull request #2973 from YosysHQ/micko/optional_extensions

Make Verific extensions optional