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

[SymbiYosys.git] / tests / make / test_rules.py

2022-07-05	Jannis Harder	tests: Windows fixes	blob \| commitdiff \| raw
2022-07-03	Jannis Harder	Merge pull request #170 from programmerjake/add-simchec...	blob \| commitdiff \| raw \| diff to current
2022-06-13	Jannis Harder	Merge pull request #172 from jix/smtbmc-unroll-noincr...	blob \| commitdiff \| raw \| diff to current
2022-06-13	Jannis Harder	Merge pull request #175 from jix/more-test-improvements	blob \| commitdiff \| raw \| diff to current
2022-06-13	Jannis Harder	Use the test Makefile for all examples	blob \| commitdiff \| raw \| diff to current
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-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

RSS Atom