SymbiYosys.git
2022-06-30 Jannis Harderdocs: add missing autotune.rst
2022-06-29 Jannis HarderMerge pull request #158 from jix/autotune
2022-06-27 Jannis Harderautotune: Initial documentation
2022-06-27 Jannis HarderTest autotune
2022-06-27 Jannis HarderAutomatic engine selection
2022-06-24 Jannis Hardersby_design: Extract total memory size and forall usage
2022-06-24 Jannis HarderMerge pull request #185 from georgerennie/prefix_empty_...
2022-06-23 Jannis HarderMerge pull request #183 from jix/engine-option-docs
2022-06-23 Jannis HarderMerge pull request #184 from jix/smtbmc-keepgoing-induc...
2022-06-23 Jannis Hardersmtbmc: Fix induction trace filename with --keep-going...
2022-06-20 Jannis HarderReflect recent engine updates in the reference docs
2022-06-18 George RennieUse default prefix directory when no task is specified
2022-06-15 Jannis HarderMerge pull request #182 from jix/taskloop
2022-06-15 Jannis HarderDecouple taskloop from task
2022-06-15 Jannis HarderMerge pull request #181 from jix/monotonic
2022-06-15 Jannis HarderUse monotonic clock for timeouts
2022-06-15 Jannis HarderMerge pull request #180 from jix/sby-fewer-asserts
2022-06-15 Jannis HarderDon't use python asserts to handle unexpected solver...
2022-06-15 Jannis HarderSbyProc: New error_callback instead of exit_callback...
2022-06-15 Jannis HarderMerge pull request #179 from jix/btor-option-handling
2022-06-15 Jannis Harderbtor pono: improve option handling
2022-06-14 Jannis HarderMerge pull request #178 from jix/aiger-aigbmc-fixes
2022-06-14 Jannis Harderaiger: check supported modes and aigbmc fixes
2022-06-14 Jannis HarderMerge pull request #177 from mattvenn/tristate-example
2022-06-14 Matt Vennadd makefile for test
2022-06-14 Matt Vennremove unused module port
2022-06-14 Matt Vennexpect fail
2022-06-14 Matt Venntristate example
2022-06-13 Jannis HarderMerge pull request #172 from jix/smtbmc-unroll-noincr...
2022-06-13 Jannis HarderMerge pull request #175 from jix/more-test-improvements
2022-06-13 Jannis HarderUse the test Makefile for all examples
2022-06-13 Jannis HarderRegression test for smtbmc --unroll --noincr
2022-06-10 Jannis HarderMerge pull request #173 from jix/test-cvc
2022-06-10 Jannis HarderMerge pull request #164 from jix/suggest_f_flag
2022-06-08 Jannis HarderTest that cvc4 and cvc5 can be used
2022-06-08 Jannis HarderMerge pull request #171 from jix/make-remove-unused...
2022-06-08 Jannis Hardertests: Remove unused tool list in test Makefile
2022-06-08 Jannis HarderMerge pull request #169 from jix/yices-forall
2022-06-07 Jannis HarderMerge pull request #163 from jix/make_improvements
2022-06-07 Jannis Hardertests: Move required tool checks from rule generation...
2022-06-03 Jannis HarderDon't fail tests when xmlschema is missing
2022-06-03 Jannis HarderTest designs using $allconst
2022-06-02 Jannis Hardertests: Fail on CI when any required tool is missing
2022-06-02 Jannis Hardertests: Check for btorsim --vcd
2022-06-01 N. Engelhardtupdate install instructions for btorsim
2022-05-30 Jannis HarderSuggest -f when the workdir already exists
2022-05-30 Jannis HarderCheck for the tabby/oss cad suite before running make...
2022-05-30 Jannis HarderBetter checking of available solvers
2022-05-30 Jannis HarderMakefile: Rename run_tests to test, update help, use...
2022-05-26 Jannis HarderMerge pull request #161 from programmerjake/add-div...
2022-05-25 Jacob Lifshayadd depth 1
2022-05-25 Jacob Lifshayadd test for yosys's $divfloor and $modfloor cells
2022-05-24 N. Engelhardtdocs: add instructions for newer btorsim version required
2022-05-11 Jannis HarderMerge pull request #159 from jix/fix-dpmem-example
2022-05-11 Jannis Harderexamples: Fix use of SVA value change expressions
2022-04-25 Jannis HarderMerge pull request #156 from jix/refactor-tests
2022-04-11 Jannis HarderRefactor tests
2022-04-11 Jannis HarderAdd --dumptaskinfo option to output some .sby metadata...
2022-04-11 Jannis HarderAdd envvar to enable automatic .gitignore creation...
2022-04-08 Miodrag MilanovićMerge pull request #140 from nakengelhardt/junit_jny
2022-04-06 N. Engelhardtjunit: use write_jny instead of write_json
2022-04-03 Miodrag MilanovićMerge pull request #155 from jix/invalid_ff_dcinit_merge
2022-04-01 Jannis HarderRegression test: do not merge FFs with unconstrained...
2022-03-31 Jannis HarderMerge pull request #154 from jix/sby_design-fixes
2022-03-31 Jannis HarderFix design_hierarchy handling of $paramod cells
2022-03-31 Jannis HarderFix variable name in find_property_by_cellname's error...
2022-03-30 Jannis HarderMerge pull request #151 from jix/prefer-first-trace
2022-03-30 Jannis HarderPrefer the first tracefile for each failing assertion
2022-03-30 N. EngelhardtMerge pull request #150 from nakengelhardt/fix_junit_ty...
2022-03-30 Jannis HarderMerge pull request #147 from jix/smtbmc-keepgoing
2022-03-30 Jannis HarderTests for `--keep-going`
2022-03-29 N. Engelhardtnote unexpected return statuses in junit
2022-03-28 N. EngelhardtMerge pull request #148 from nakengelhardt/docs_updates
2022-03-28 N. EngelhardtMerge pull request #145 from nakengelhardt/fix_junit_tr...
2022-03-28 N. EngelhardtMerge pull request #142 from nakengelhardt/fix_backslas...
2022-03-26 Miodrag MilanovićMerge pull request #146 from jix/aim_vs_smt2_nonzero_st...
2022-03-25 N. Engelhardtdocument btor engine, add overview of mode/engine/solve...
2022-03-25 Jannis HarderTest signals with nonzero start offsets in aim files...
2022-03-25 Jannis HarderUse `-no-startoffset`, avoiding index mismatch between...
2022-03-24 Jannis HarderInitial support for the new smtbmc --keep-going option
2022-03-22 N. Engelhardtjunit: handle multiple asserts failing with the same...
2022-03-22 N. Engelhardttranslate backslashes in cell names the same way as...
2022-03-15 Claire XenMerge pull request #120 from ythoma/patch-1
2022-03-15 N. EngelhardtMerge pull request #139 from nakengelhardt/housekeeping
2022-03-15 N. Engelhardtci housekeeping
2022-03-07 N. EngelhardtMerge pull request #133 from nakengelhardt/sby_junit
2022-03-07 N. Engelhardtfix ci
2022-02-24 N. Engelhardtadd testcase for overall run result
2022-02-22 N. Engelhardtvalidate junit files (with extra attributes added to...
2022-02-07 N. Engelhardtfix induction
2022-02-07 N. Engelhardtfix junit error/failure/skipped count
2022-02-07 N. Engelhardthandle unreached cover properties
2022-02-07 N. Engelhardtrefactor junit print into own function
2022-02-06 N. Engelhardthandle status of cover properties
2022-01-31 N. Engelhardtrefactor model to have single base
2022-01-27 N. Engelhardtparse solver location output for assert failures (cover...
2022-01-21 N. Engelhardtadd fallback if solver can't tell which property fails
2022-01-19 N. Engelhardtcreate json export and read in properties
2022-01-13 N. EngelhardtWIP change junit print to conform to schema; needs...
2022-01-13 N. Engelhardtadd JUnit schema and validator
next