From: Miodrag Milanović Date: Mon, 13 Sep 2021 14:21:18 +0000 (+0200) Subject: Merge pull request #127 from christian-krieg/feat/update-docs_super-prove X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=15278f13467bea24a7300e23ebc5555b9261facf;p=SymbiYosys.git Merge pull request #127 from christian-krieg/feat/update-docs_super-prove Updated install instructions for super_prove --- 15278f13467bea24a7300e23ebc5555b9261facf