From: Claire Xen Date: Mon, 13 Dec 2021 21:03:29 +0000 (+0100) Subject: Merge pull request #3108 from YosysHQ/claire/verificdefs X-Git-Tag: yosys-0.13~30 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5e5c8a54ce56efcc0f3144736d4cf7fd2314aa83;p=yosys.git Merge pull request #3108 from YosysHQ/claire/verificdefs Add YOSYS to the implicitly defined verilog macros in verific --- 5e5c8a54ce56efcc0f3144736d4cf7fd2314aa83