projects / SymbiYosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
SymbiYosys.git
2022-06-15 Jannis HarderDon't use python asserts to handle unexpected solver... commit | commitdiff | tree
2022-06-15 Jannis HarderSbyProc: New error_callback instead of exit_callback... commit | commitdiff | tree
2022-06-15 Jannis HarderMerge pull request #179 from jix/btor-option-handling commit | commitdiff | tree
2022-06-15 Jannis Harderbtor pono: improve option handling commit | commitdiff | tree
2022-06-14 Jannis HarderMerge pull request #178 from jix/aiger-aigbmc-fixes commit | commitdiff | tree
2022-06-14 Jannis Harderaiger: check supported modes and aigbmc fixes commit | commitdiff | tree
2022-06-14 Jannis HarderMerge pull request #177 from mattvenn/tristate-example commit | commitdiff | tree
2022-06-14 Matt Vennadd makefile for test commit | commitdiff | tree
2022-06-14 Matt Vennremove unused module port commit | commitdiff | tree
2022-06-14 Matt Vennexpect fail commit | commitdiff | tree
2022-06-14 Matt Venntristate example commit | commitdiff | tree
2022-06-13 Jannis HarderMerge pull request #172 from jix/smtbmc-unroll-noincr... commit | commitdiff | tree
2022-06-13 Jannis HarderMerge pull request #175 from jix/more-test-improvements commit | commitdiff | tree
2022-06-13 Jannis HarderUse the test Makefile for all examples commit | commitdiff | tree
2022-06-13 Jannis HarderRegression test for smtbmc --unroll --noincr commit | commitdiff | tree
2022-06-10 Jannis HarderMerge pull request #173 from jix/test-cvc commit | commitdiff | tree
2022-06-10 Jannis HarderMerge pull request #164 from jix/suggest_f_flag commit | commitdiff | tree
2022-06-08 Jannis HarderTest that cvc4 and cvc5 can be used commit | commitdiff | tree
2022-06-08 Jannis HarderMerge pull request #171 from jix/make-remove-unused... commit | commitdiff | tree
2022-06-08 Jannis Hardertests: Remove unused tool list in test Makefile commit | commitdiff | tree
2022-06-08 Jannis HarderMerge pull request #169 from jix/yices-forall commit | commitdiff | tree
2022-06-07 Jannis HarderMerge pull request #163 from jix/make_improvements commit | commitdiff | tree
2022-06-07 Jannis Hardertests: Move required tool checks from rule generation... commit | commitdiff | tree
2022-06-03 Jannis HarderDon't fail tests when xmlschema is missing commit | commitdiff | tree
2022-06-03 Jannis HarderTest designs using $allconst commit | commitdiff | tree
2022-06-02 Jannis Hardertests: Fail on CI when any required tool is missing commit | commitdiff | tree
2022-06-02 Jannis Hardertests: Check for btorsim --vcd commit | commitdiff | tree
2022-06-01 N. Engelhardtupdate install instructions for btorsim commit | commitdiff | tree
2022-05-30 Jannis HarderSuggest -f when the workdir already exists commit | commitdiff | tree
2022-05-30 Jannis HarderCheck for the tabby/oss cad suite before running make... commit | commitdiff | tree
2022-05-30 Jannis HarderBetter checking of available solvers commit | commitdiff | tree
2022-05-30 Jannis HarderMakefile: Rename run_tests to test, update help, use... commit | commitdiff | tree
2022-05-26 Jannis HarderMerge pull request #161 from programmerjake/add-div... commit | commitdiff | tree
2022-05-25 Jacob Lifshayadd depth 1 commit | commitdiff | tree
2022-05-25 Jacob Lifshayadd test for yosys's $divfloor and $modfloor cells commit | commitdiff | tree
2022-05-24 N. Engelhardtdocs: add instructions for newer btorsim version required commit | commitdiff | tree
2022-05-11 Jannis HarderMerge pull request #159 from jix/fix-dpmem-example commit | commitdiff | tree
2022-05-11 Jannis Harderexamples: Fix use of SVA value change expressions commit | commitdiff | tree
2022-04-25 Jannis HarderMerge pull request #156 from jix/refactor-tests commit | commitdiff | tree
2022-04-11 Jannis HarderRefactor tests commit | commitdiff | tree
2022-04-11 Jannis HarderAdd --dumptaskinfo option to output some .sby metadata... commit | commitdiff | tree
2022-04-11 Jannis HarderAdd envvar to enable automatic .gitignore creation... commit | commitdiff | tree
2022-04-08 Miodrag MilanovićMerge pull request #140 from nakengelhardt/junit_jny commit | commitdiff | tree
2022-04-06 N. Engelhardtjunit: use write_jny instead of write_json commit | commitdiff | tree
2022-04-03 Miodrag MilanovićMerge pull request #155 from jix/invalid_ff_dcinit_merge commit | commitdiff | tree
2022-04-01 Jannis HarderRegression test: do not merge FFs with unconstrained... commit | commitdiff | tree
2022-03-31 Jannis HarderMerge pull request #154 from jix/sby_design-fixes commit | commitdiff | tree
2022-03-31 Jannis HarderFix design_hierarchy handling of $paramod cells commit | commitdiff | tree
2022-03-31 Jannis HarderFix variable name in find_property_by_cellname's error... commit | commitdiff | tree
2022-03-30 Jannis HarderMerge pull request #151 from jix/prefer-first-trace commit | commitdiff | tree
2022-03-30 Jannis HarderPrefer the first tracefile for each failing assertion commit | commitdiff | tree
2022-03-30 N. EngelhardtMerge pull request #150 from nakengelhardt/fix_junit_ty... commit | commitdiff | tree
2022-03-30 Jannis HarderMerge pull request #147 from jix/smtbmc-keepgoing commit | commitdiff | tree
2022-03-30 Jannis HarderTests for `--keep-going` commit | commitdiff | tree
2022-03-29 N. Engelhardtnote unexpected return statuses in junit commit | commitdiff | tree
2022-03-28 N. EngelhardtMerge pull request #148 from nakengelhardt/docs_updates commit | commitdiff | tree
2022-03-28 N. EngelhardtMerge pull request #145 from nakengelhardt/fix_junit_tr... commit | commitdiff | tree
2022-03-28 N. EngelhardtMerge pull request #142 from nakengelhardt/fix_backslas... commit | commitdiff | tree
2022-03-26 Miodrag MilanovićMerge pull request #146 from jix/aim_vs_smt2_nonzero_st... commit | commitdiff | tree
2022-03-25 N. Engelhardtdocument btor engine, add overview of mode/engine/solve... commit | commitdiff | tree
2022-03-25 Jannis HarderTest signals with nonzero start offsets in aim files... commit | commitdiff | tree
2022-03-25 Jannis HarderUse `-no-startoffset`, avoiding index mismatch between... commit | commitdiff | tree
2022-03-24 Jannis HarderInitial support for the new smtbmc --keep-going option commit | commitdiff | tree
2022-03-22 N. Engelhardtjunit: handle multiple asserts failing with the same... commit | commitdiff | tree
2022-03-22 N. Engelhardttranslate backslashes in cell names the same way as... commit | commitdiff | tree
2022-03-15 Claire XenMerge pull request #120 from ythoma/patch-1 commit | commitdiff | tree
2022-03-15 N. EngelhardtMerge pull request #139 from nakengelhardt/housekeeping commit | commitdiff | tree
2022-03-15 N. Engelhardtci housekeeping commit | commitdiff | tree
2022-03-07 N. EngelhardtMerge pull request #133 from nakengelhardt/sby_junit commit | commitdiff | tree
2022-03-07 N. Engelhardtfix ci commit | commitdiff | tree
2022-02-24 N. Engelhardtadd testcase for overall run result commit | commitdiff | tree
2022-02-22 N. Engelhardtvalidate junit files (with extra attributes added to... commit | commitdiff | tree
2022-02-07 N. Engelhardtfix induction commit | commitdiff | tree
2022-02-07 N. Engelhardtfix junit error/failure/skipped count commit | commitdiff | tree
2022-02-07 N. Engelhardthandle unreached cover properties commit | commitdiff | tree
2022-02-07 N. Engelhardtrefactor junit print into own function commit | commitdiff | tree
2022-02-06 N. Engelhardthandle status of cover properties commit | commitdiff | tree
2022-01-31 N. Engelhardtrefactor model to have single base commit | commitdiff | tree
2022-01-27 N. Engelhardtparse solver location output for assert failures (cover... commit | commitdiff | tree
2022-01-21 N. Engelhardtadd fallback if solver can't tell which property fails commit | commitdiff | tree
2022-01-19 N. Engelhardtcreate json export and read in properties commit | commitdiff | tree
2022-01-13 N. EngelhardtWIP change junit print to conform to schema; needs... commit | commitdiff | tree
2022-01-13 N. Engelhardtadd JUnit schema and validator commit | commitdiff | tree
2022-01-12 Miodrag MilanovićMerge pull request #138 from YosysHQ/mmicko/ci commit | commitdiff | tree
2022-01-12 Miodrag MilanovicAdded CI commit | commitdiff | tree
2022-01-12 Miodrag MilanovićMerge pull request #136 from nakengelhardt/fix_pono commit | commitdiff | tree
2022-01-12 N. Engelhardtcreate only a single bad when using pono solver; workar... commit | commitdiff | tree
2022-01-12 N. Engelhardtadd testcase exposing #137 commit | commitdiff | tree
2022-01-12 N. Engelhardtuse --witness option when calling pono commit | commitdiff | tree
2022-01-12 N. EngelhardtMerge pull request #135 from nakengelhardt/rename_task commit | commitdiff | tree
2022-01-11 N. EngelhardtMerge pull request #134 from nakengelhardt/advertise_su... commit | commitdiff | tree
2022-01-11 N. EngelhardtRename SbyJob to SbyTask and SbyTask to SbyProc to... commit | commitdiff | tree
2022-01-04 N. Engelhardtmention tabby+oss cad suite in readme commit | commitdiff | tree
2021-12-18 Claire Xenia... Improvements and cleanups in tasks handling commit | commitdiff | tree
2021-12-17 Claire Xenia... Fixed [tasks] section parsing commit | commitdiff | tree
2021-12-17 Claire XenUpdate README.md commit | commitdiff | tree
2021-12-17 Claire XenUpdate README.md commit | commitdiff | tree
2021-12-17 Claire Xenia... Add inductive invariants example commit | commitdiff | tree
2021-12-17 Claire Xenia... Add ":"-syntax for [tasks] section commit | commitdiff | tree
2021-11-30 Claire Xenia... Update docs theme commit | commitdiff | tree
next