projects / SymbiYosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
tests: Fail on CI when any required tool is missing
[SymbiYosys.git] / tests / make / test_rules.py
2022-06-02 Jannis Hardertests: Fail on CI when any required tool is missing blob | commitdiff | raw
2022-06-02 Jannis Hardertests: Check for btorsim --vcd blob | commitdiff | raw | diff to current
2022-05-30 Jannis HarderBetter checking of available solvers blob | commitdiff | raw | diff to current
2022-04-25 Jannis HarderMerge pull request #156 from jix/refactor-tests blob | commitdiff | raw | diff to current
2022-04-11 Jannis HarderRefactor tests blob | commitdiff | raw | diff to current