From: clairexen Date: Wed, 1 Jul 2020 14:34:32 +0000 (+0200) Subject: Merge pull request #2206 from boqwxp/qbfsat-fix-name-specialization X-Git-Tag: working-ls180~434 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2b0f6e24e24770b6bab2180bb2c6cc560eb8ec5a;p=yosys.git Merge pull request #2206 from boqwxp/qbfsat-fix-name-specialization qbfsat: Fix name-based hole specialization --- 2b0f6e24e24770b6bab2180bb2c6cc560eb8ec5a