From: Miodrag Milanović <mmicko@gmail.com>
Date: Fri, 10 Sep 2021 15:32:04 +0000 (+0200)
Subject: Merge pull request #3001 from YosysHQ/claire/sigcheck
X-Git-Tag: yosys-0.10~12
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=396918cc30a870e6d6049bdda1ddf8176ec5d116;p=yosys.git

Merge pull request #3001 from YosysHQ/claire/sigcheck

Add additional check to SigSpec
---

396918cc30a870e6d6049bdda1ddf8176ec5d116