From: N. Engelhardt Date: Wed, 29 Apr 2020 09:47:20 +0000 (+0200) Subject: Merge pull request #85 from nakengelhardt/new_btorsim X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5d6323147d76a06f409236715f0db422c49006c3;p=SymbiYosys.git Merge pull request #85 from nakengelhardt/new_btorsim Note that the btor engine now requires changes not upstreamed to btor2tools yet, see btor2tools/pull/4 --- 5d6323147d76a06f409236715f0db422c49006c3