git.libre-soc.org Git - SymbiYosys.git/history

2022-03-30	N. Engelhardt	Merge pull request #150 from nakengelhardt/fix_junit_ty...	blob \| commitdiff \| raw
2022-03-30	Jannis Harder	Merge pull request #147 from jix/smtbmc-keepgoing	blob \| commitdiff \| raw \| diff to current
2022-03-30	Jannis Harder	Tests for `--keep-going`	blob \| commitdiff \| raw \| diff to current
2022-03-29	N. Engelhardt	note unexpected return statuses in junit	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
2022-03-15	N. Engelhardt	Merge pull request #139 from nakengelhardt/housekeeping	blob \| commitdiff \| raw \| diff to current
2022-03-15	N. Engelhardt	ci housekeeping	blob \| commitdiff \| raw \| diff to current
2022-03-07	N. Engelhardt	Merge pull request #133 from nakengelhardt/sby_junit	blob \| commitdiff \| raw \| diff to current
2022-03-07	N. Engelhardt	fix ci	blob \| commitdiff \| raw \| diff to current
2022-02-22	N. Engelhardt	validate junit files (with extra attributes added to...	blob \| commitdiff \| raw \| diff to current
2020-07-24	N. Engelhardt	fix test rule	blob \| commitdiff \| raw \| diff to current
2020-07-24	clairexen	Merge pull request #104 from nakengelhardt/more_tests	blob \| commitdiff \| raw \| diff to current
2020-07-24	N. Engelhardt	add tests directory with additional tests	blob \| commitdiff \| raw \| diff to current