2022-06-13 | Jannis Harder | Use the test Makefile for all examples | blob | commitdiff | raw |
2022-06-10 | Jannis Harder | Merge pull request #164 from jix/suggest_f_flag | blob | commitdiff | raw | diff to current |
2022-06-08 | Jannis Harder | Merge pull request #169 from jix/yices-forall | blob | commitdiff | raw | diff to current |
2022-06-07 | Jannis Harder | Merge pull request #163 from jix/make_improvements | blob | commitdiff | raw | diff to current |
2022-06-02 | Jannis Harder | tests: Fail on CI when any required tool is missing | blob | commitdiff | raw | diff to current |
2022-03-15 | Claire Xen | Merge pull request #120 from ythoma/patch-1 | blob | commitdiff | raw |
2022-03-07 | N. Engelhardt | Merge pull request #133 from nakengelhardt/sby_junit | blob | commitdiff | raw |
2022-03-07 | N. Engelhardt | fix ci | blob | commitdiff | raw |
2022-01-12 | Miodrag Milanović | Merge pull request #138 from YosysHQ/mmicko/ci | blob | commitdiff | raw | diff to current |
2022-01-12 | Miodrag Milanovic | Added CI | blob | commitdiff | raw | diff to current |