projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 863a53b 21371fb)
Merge pull request #127 from christian-krieg/feat/update-docs_super-prove
authorMiodrag Milanović <mmicko@gmail.com>
Mon, 13 Sep 2021 14:21:18 +0000 (16:21 +0200)
committerGitHub <noreply@github.com>
Mon, 13 Sep 2021 14:21:18 +0000 (16:21 +0200)
Updated install instructions for super_prove


Trivial merge