From: Claire Wolf Date: Thu, 23 Apr 2020 09:34:19 +0000 (+0200) Subject: Merge pull request #1989 from boqwxp/qbfsat_anyconst_sourcelocs X-Git-Tag: working-ls180~590 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dc9a72bc8d003e4d6cc6b40afbb8b6ce792799c0;p=yosys.git Merge pull request #1989 from boqwxp/qbfsat_anyconst_sourcelocs qbfsat: Make hole name recovery from source locations more robust. --- dc9a72bc8d003e4d6cc6b40afbb8b6ce792799c0