SymbiYosys.git
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
2022-01-12 Miodrag MilanovićMerge pull request #138 from YosysHQ/mmicko/ci
2022-01-12 Miodrag MilanovicAdded CI
2022-01-12 Miodrag MilanovićMerge pull request #136 from nakengelhardt/fix_pono
2022-01-12 N. Engelhardtcreate only a single bad when using pono solver; workar...
2022-01-12 N. Engelhardtadd testcase exposing #137
2022-01-12 N. Engelhardtuse --witness option when calling pono
2022-01-12 N. EngelhardtMerge pull request #135 from nakengelhardt/rename_task
2022-01-11 N. EngelhardtMerge pull request #134 from nakengelhardt/advertise_su...
2022-01-11 N. EngelhardtRename SbyJob to SbyTask and SbyTask to SbyProc to...
2022-01-04 N. Engelhardtmention tabby+oss cad suite in readme
2021-12-18 Claire Xenia... Improvements and cleanups in tasks handling
2021-12-17 Claire Xenia... Fixed [tasks] section parsing
2021-12-17 Claire XenUpdate README.md
2021-12-17 Claire XenUpdate README.md
2021-12-17 Claire Xenia... Add inductive invariants example
2021-12-17 Claire Xenia... Add ":"-syntax for [tasks] section
2021-11-30 Claire Xenia... Update docs theme
2021-11-29 Claire Xenia... Update docs theme
2021-11-26 Claire Xenia... update docs theme
2021-10-31 Claire Xenia... Add support for directories in [files] section
2021-10-31 Claire Xenia... Fixed names and links
2021-09-13 Miodrag MilanovićMerge pull request #127 from christian-krieg/feat/updat...
2021-08-25 Miodrag MilanovicFix regression
2021-08-25 Miodrag MilanovicInitialize variable
2021-08-23 Claire XenMerge pull request #126 from piegamesde/master
2021-07-20 Christian KriegUpdated install instructions for super_prove
2021-07-12 piegamesfixup! Allow to set a working directory even when havin...
2021-06-26 piegamesBetter error message when tasks failed
2021-06-26 piegamesTurn .format() strings into f-strings
2021-06-21 piegamesAllow to set a working directory even when having multi...
2021-06-21 piegamesPrint paths as absolute
next