From: Claire Xen Date: Wed, 20 Jan 2021 23:54:45 +0000 (+0100) Subject: Merge pull request #2552 from YosysHQ/claire/yosyshq X-Git-Tag: working-ls180~118 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b734f2c932d5945127a52b20d915c908d69ff188;p=yosys.git Merge pull request #2552 from YosysHQ/claire/yosyshq Switch verific bindings from Symbiotic EDA flavored Verific to YosysHQ flavored Verific --- b734f2c932d5945127a52b20d915c908d69ff188