projects
/
SymbiYosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge pull request #195 from jix/sbyproc-truncated-output
[SymbiYosys.git]
/
tests
/ Makefile
2022-07-05
Jannis Harder
Merge pull request #190 from jix/windows_fixes
commit
|
commitdiff
2022-07-05
Jannis Harder
tests: Windows fixes
commit
|
commitdiff
2022-07-03
Jannis Harder
Merge pull request #170 from programmerjake/add-simchec...
commit
|
commitdiff
2022-06-10
Jannis Harder
Merge pull request #164 from jix/suggest_f_flag
commit
|
commitdiff
2022-06-08
Jannis Harder
Merge pull request #171 from jix/make-remove-unused...
commit
|
commitdiff
2022-06-08
Jannis Harder
tests: Remove unused tool list in test Makefile
commit
|
commitdiff
2022-06-08
Jannis Harder
Merge pull request #169 from jix/yices-forall
commit
|
commitdiff
2022-06-07
Jannis Harder
Merge pull request #163 from jix/make_improvements
commit
|
commitdiff
2022-06-07
Jannis Harder
tests: Move required tool checks from rule generation...
commit
|
commitdiff
2022-06-02
Jannis Harder
tests: Fail on CI when any required tool is missing
commit
|
commitdiff
2022-06-02
Jannis Harder
tests: Check for btorsim --vcd
commit
|
commitdiff
2022-05-30
Jannis Harder
Better checking of available solvers
commit
|
commitdiff
2022-04-25
Jannis Harder
Merge pull request #156 from jix/refactor-tests
commit
|
commitdiff
2022-04-11
Jannis Harder
Refactor tests
commit
|
commitdiff
2022-03-30
N. Engelhardt
Merge pull request #150 from nakengelhardt/fix_junit_ty...
commit
|
commitdiff
2022-03-30
Jannis Harder
Merge pull request #147 from jix/smtbmc-keepgoing
commit
|
commitdiff
2022-03-30
Jannis Harder
Tests for `--keep-going`
commit
|
commitdiff
2022-03-29
N. Engelhardt
note unexpected return statuses in junit
commit
|
commitdiff
2022-03-15
Claire Xen
Merge pull request #120 from ythoma/patch-1
commit
|
commitdiff
2022-03-15
N. Engelhardt
Merge pull request #139 from nakengelhardt/housekeeping
commit
|
commitdiff
2022-03-15
N. Engelhardt
ci housekeeping
commit
|
commitdiff
2022-03-07
N. Engelhardt
Merge pull request #133 from nakengelhardt/sby_junit
commit
|
commitdiff
2022-03-07
N. Engelhardt
fix ci
commit
|
commitdiff
2022-02-22
N. Engelhardt
validate junit files (with extra attributes added to...
commit
|
commitdiff
2020-07-24
N. Engelhardt
fix test rule
commit
|
commitdiff
2020-07-24
clairexen
Merge pull request #104 from nakengelhardt/more_tests
commit
|
commitdiff
2020-07-24
N. Engelhardt
add tests directory with additional tests
commit
|
commitdiff