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

2022-06-08	Jannis Harder	tests: Remove unused tool list in test Makefile	blob \| commitdiff \| raw
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-07	Jannis Harder	tests: Move required tool checks from rule generation...	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-06-02	Jannis Harder	tests: Check for btorsim --vcd	blob \| commitdiff \| raw \| diff to current
2022-05-30	Jannis Harder	Better checking of available solvers	blob \| commitdiff \| raw \| diff to current
2022-04-25	Jannis Harder	Merge pull request #156 from jix/refactor-tests	blob \| commitdiff \| raw \| diff to current
2022-04-11	Jannis Harder	Refactor tests	blob \| commitdiff \| raw \| diff to current
2022-03-30	N. Engelhardt	Merge pull request #150 from nakengelhardt/fix_junit_ty...	blob \| commitdiff \| raw \| diff to current
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

RSS Atom