projects / SymbiYosys.git / history
| 2022-06-01 | N. Engelhardt | update install instructions for btorsim | blob | commitdiff | raw |
| 2022-05-24 | N. Engelhardt | docs: add instructions for newer btorsim version required | blob | commitdiff | raw | diff to current |
| 2022-03-15 | Claire Xen | Merge pull request #120 from ythoma/patch-1 | blob | commitdiff | raw | diff to current |
| 2021-10-31 | Claire Xenia Wolf | Fixed names and links | blob | commitdiff | raw | diff to current |
| 2021-09-13 | Miodrag Milanović | Merge pull request #127 from christian-krieg/feat/updat... | blob | commitdiff | raw | diff to current |
| 2021-07-20 | Christian Krieg | Updated install instructions for super_prove | blob | commitdiff | raw | diff to current |
| 2021-02-05 | ythoma | Update install.rst | blob | commitdiff | raw | diff to current |
| 2020-10-23 | Miodrag Milanovic | Extract installation procedure to separate file | blob | commitdiff | raw | diff to current |