From: Eddie Hung Date: Wed, 3 Jul 2019 16:43:00 +0000 (-0700) Subject: Merge pull request #1156 from YosysHQ/eddie/fix_abc9_unknown_cell X-Git-Tag: working-ls180~1224 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=de263281308c112891ef330536bd228460a0f85f;p=yosys.git Merge pull request #1156 from YosysHQ/eddie/fix_abc9_unknown_cell write_xaiger to treat unknown cell connections as keep-s --- de263281308c112891ef330536bd228460a0f85f