projects / SymbiYosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #195 from jix/sbyproc-truncated-output
[SymbiYosys.git] / tests / make / collect_tests.py
2022-07-05 Jannis HarderMerge pull request #190 from jix/windows_fixes commit | commitdiff
2022-07-05 Jannis Hardertests: Windows fixes commit | commitdiff
2022-07-03 Jannis HarderMerge pull request #170 from programmerjake/add-simchec... commit | commitdiff
2022-06-13 Jannis HarderMerge pull request #172 from jix/smtbmc-unroll-noincr... commit | commitdiff
2022-06-13 Jannis HarderMerge pull request #175 from jix/more-test-improvements commit | commitdiff
2022-06-13 Jannis HarderUse the test Makefile for all examples commit | commitdiff
2022-06-07 Jannis Hardertests: Move required tool checks from rule generation... commit | commitdiff
2022-05-30 Jannis HarderBetter checking of available solvers commit | commitdiff
2022-04-25 Jannis HarderMerge pull request #156 from jix/refactor-tests commit | commitdiff
2022-04-11 Jannis HarderRefactor tests commit | commitdiff