From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 3 Oct 2019 01:07:38 +0000 (-0700)
Subject: Merge branch 'eddie/fix_sat_init' into eddie/fix1427
X-Git-Tag: working-ls180~1000^2~3
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c6a55d948aebc8993cc3e33372b9c403b0b90554;p=yosys.git

Merge branch 'eddie/fix_sat_init' into eddie/fix1427
---

c6a55d948aebc8993cc3e33372b9c403b0b90554