From: Claire Wolf Date: Thu, 30 Jan 2020 18:55:53 +0000 (+0100) Subject: Merge pull request #1667 from YosysHQ/clifford/verificnand X-Git-Tag: working-ls180~830 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2ce7a0d369ff73b483364e8fbb44c4887f17385f;p=yosys.git Merge pull request #1667 from YosysHQ/clifford/verificnand Add Verific support for OPER_REDUCE_NAND --- 2ce7a0d369ff73b483364e8fbb44c4887f17385f