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 /
2022-07-05 Jannis HarderMerge pull request #190 from jix/windows_fixes tree | commitdiff
2022-07-05 Jannis Hardertests: Windows fixes tree | commitdiff
2022-07-04 Jannis HarderMerge pull request #187 from jix/const_clocks tree | commitdiff
2022-07-04 Jannis Hardertest uninited FFs with const clks and fix btor script... tree | commitdiff
2022-07-04 Jannis HarderMerge pull request #186 from jix/ff_xinit_opt tree | commitdiff
2022-07-04 Jannis Hardertests: Test for invalid x-value FF init optimizations tree | commitdiff
2022-07-03 Jannis HarderMerge pull request #170 from programmerjake/add-simchec... tree | commitdiff
2022-06-29 Jannis HarderMerge pull request #158 from jix/autotune tree | commitdiff
2022-06-27 Jannis HarderTest autotune tree | commitdiff
2022-06-23 Jacob Lifshayswitch to using hierarchy -smtcheck for smtlib2 solvers... add-simcheck-option tree | commitdiff
2022-06-14 Jannis HarderMerge pull request #178 from jix/aiger-aigbmc-fixes tree | commitdiff
2022-06-14 Jannis Harderaiger: check supported modes and aigbmc fixes tree | commitdiff
2022-06-13 Jannis HarderMerge pull request #172 from jix/smtbmc-unroll-noincr... tree | commitdiff
2022-06-13 Jannis HarderMerge pull request #175 from jix/more-test-improvements tree | commitdiff
2022-06-13 Jannis HarderUse the test Makefile for all examples tree | commitdiff
2022-06-13 Jannis HarderRegression test for smtbmc --unroll --noincr tree | commitdiff
2022-06-10 Jannis HarderMerge pull request #173 from jix/test-cvc tree | commitdiff
2022-06-10 Jannis HarderMerge pull request #164 from jix/suggest_f_flag tree | commitdiff
2022-06-08 Jannis HarderTest that cvc4 and cvc5 can be used tree | commitdiff
2022-06-08 Jannis HarderMerge pull request #171 from jix/make-remove-unused... tree | commitdiff
2022-06-08 Jannis Hardertests: Remove unused tool list in test Makefile tree | commitdiff
2022-06-08 Jannis HarderMerge pull request #169 from jix/yices-forall tree | commitdiff
2022-06-07 Jannis HarderMerge pull request #163 from jix/make_improvements tree | commitdiff
2022-06-07 Jannis Hardertests: Move required tool checks from rule generation... tree | commitdiff
2022-06-03 Jannis HarderDon't fail tests when xmlschema is missing tree | commitdiff
2022-06-03 Jannis HarderTest designs using $allconst tree | commitdiff
2022-06-02 Jannis Hardertests: Fail on CI when any required tool is missing tree | commitdiff
2022-06-02 Jannis Hardertests: Check for btorsim --vcd tree | commitdiff
2022-05-30 Jannis HarderBetter checking of available solvers tree | commitdiff
2022-05-26 Jannis HarderMerge pull request #161 from programmerjake/add-div... tree | commitdiff
2022-05-25 Jacob Lifshayadd depth 1 tree | commitdiff
2022-05-25 Jacob Lifshayadd test for yosys's $divfloor and $modfloor cells tree | commitdiff
2022-04-25 Jannis HarderMerge pull request #156 from jix/refactor-tests tree | commitdiff
2022-04-11 Jannis HarderRefactor tests tree | commitdiff
2022-04-03 Miodrag MilanovićMerge pull request #155 from jix/invalid_ff_dcinit_merge tree | commitdiff
2022-04-01 Jannis HarderRegression test: do not merge FFs with unconstrained... tree | commitdiff
2022-03-31 Jannis HarderMerge pull request #154 from jix/sby_design-fixes tree | commitdiff
2022-03-30 Jannis HarderMerge pull request #151 from jix/prefer-first-trace tree | commitdiff
2022-03-30 Jannis HarderPrefer the first tracefile for each failing assertion tree | commitdiff
2022-03-30 N. EngelhardtMerge pull request #150 from nakengelhardt/fix_junit_ty... tree | commitdiff
2022-03-30 Jannis HarderMerge pull request #147 from jix/smtbmc-keepgoing tree | commitdiff
2022-03-30 Jannis HarderTests for `--keep-going` tree | commitdiff
2022-03-29 N. Engelhardtnote unexpected return statuses in junit tree | commitdiff
2022-03-28 N. EngelhardtMerge pull request #148 from nakengelhardt/docs_updates tree | commitdiff
2022-03-28 N. EngelhardtMerge pull request #145 from nakengelhardt/fix_junit_tr... tree | commitdiff
2022-03-28 N. EngelhardtMerge pull request #142 from nakengelhardt/fix_backslas... tree | commitdiff
2022-03-26 Miodrag MilanovićMerge pull request #146 from jix/aim_vs_smt2_nonzero_st... tree | commitdiff
2022-03-25 Jannis HarderTest signals with nonzero start offsets in aim files... tree | commitdiff
2022-03-22 N. Engelhardtjunit: handle multiple asserts failing with the same... tree | commitdiff
2022-03-22 N. Engelhardttranslate backslashes in cell names the same way as... tree | commitdiff
2022-03-15 Claire XenMerge pull request #120 from ythoma/patch-1 tree | commitdiff
2022-03-15 N. EngelhardtMerge pull request #139 from nakengelhardt/housekeeping tree | commitdiff
2022-03-15 N. Engelhardtci housekeeping tree | commitdiff
2022-03-07 N. EngelhardtMerge pull request #133 from nakengelhardt/sby_junit tree | commitdiff
2022-03-07 N. Engelhardtfix ci tree | commitdiff
2022-02-24 N. Engelhardtadd testcase for overall run result tree | commitdiff
2022-02-22 N. Engelhardtvalidate junit files (with extra attributes added to... tree | commitdiff
2022-02-07 N. Engelhardtfix induction tree | commitdiff
2022-02-07 N. Engelhardtfix junit error/failure/skipped count tree | commitdiff
2022-02-07 N. Engelhardthandle unreached cover properties tree | commitdiff
2022-01-27 N. Engelhardtparse solver location output for assert failures (cover... tree | commitdiff
2022-01-13 N. Engelhardtadd JUnit schema and validator tree | commitdiff
2022-01-12 Miodrag MilanovićMerge pull request #136 from nakengelhardt/fix_pono tree | commitdiff
2022-01-12 N. Engelhardtadd testcase exposing #137 tree | commitdiff
2020-07-24 N. Engelhardtfix test rule tree | commitdiff
2020-07-24 Claire WolfRemove redundant copy of picorv32 tree | commitdiff
2020-07-24 clairexenMerge pull request #104 from nakengelhardt/more_tests tree | commitdiff
2020-07-24 N. Engelhardtadd tests directory with additional tests tree | commitdiff