projects / SymbiYosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
update install instructions for btorsim
[SymbiYosys.git] / sbysrc /
2022-04-25 Jannis HarderMerge pull request #156 from jix/refactor-tests tree | commitdiff
2022-04-11 Jannis HarderAdd --dumptaskinfo option to output some .sby metadata... tree | commitdiff
2022-04-11 Jannis HarderAdd envvar to enable automatic .gitignore creation... tree | commitdiff
2022-04-08 Miodrag MilanovićMerge pull request #140 from nakengelhardt/junit_jny tree | commitdiff
2022-04-06 N. Engelhardtjunit: use write_jny instead of write_json tree | commitdiff
2022-03-31 Jannis HarderMerge pull request #154 from jix/sby_design-fixes tree | commitdiff
2022-03-31 Jannis HarderFix design_hierarchy handling of $paramod cells tree | commitdiff
2022-03-31 Jannis HarderFix variable name in find_property_by_cellname's error... 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-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 HarderUse `-no-startoffset`, avoiding index mismatch between... tree | commitdiff
2022-03-24 Jannis HarderInitial support for the new smtbmc --keep-going option 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-07 N. EngelhardtMerge pull request #133 from nakengelhardt/sby_junit 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-02-07 N. Engelhardtrefactor junit print into own function tree | commitdiff
2022-02-06 N. Engelhardthandle status of cover properties tree | commitdiff
2022-01-31 N. Engelhardtrefactor model to have single base tree | commitdiff
2022-01-27 N. Engelhardtparse solver location output for assert failures (cover... tree | commitdiff
2022-01-21 N. Engelhardtadd fallback if solver can't tell which property fails tree | commitdiff
2022-01-19 N. Engelhardtcreate json export and read in properties tree | commitdiff
2022-01-13 N. EngelhardtWIP change junit print to conform to schema; needs... tree | commitdiff
2022-01-12 Miodrag MilanovićMerge pull request #136 from nakengelhardt/fix_pono tree | commitdiff
2022-01-12 N. Engelhardtcreate only a single bad when using pono solver; workar... tree | commitdiff
2022-01-12 N. Engelhardtuse --witness option when calling pono tree | commitdiff
2022-01-12 N. EngelhardtMerge pull request #135 from nakengelhardt/rename_task tree | commitdiff
2022-01-11 N. EngelhardtRename SbyJob to SbyTask and SbyTask to SbyProc to... tree | commitdiff
2021-12-18 Claire Xenia WolfImprovements and cleanups in tasks handling tree | commitdiff
2021-12-17 Claire Xenia WolfFixed [tasks] section parsing tree | commitdiff
2021-12-17 Claire Xenia WolfAdd ":"-syntax for [tasks] section tree | commitdiff
2021-10-31 Claire Xenia WolfAdd support for directories in [files] section tree | commitdiff
2021-10-31 Claire Xenia WolfFixed names and links tree | commitdiff
2021-09-13 Miodrag MilanovićMerge pull request #127 from christian-krieg/feat/updat... tree | commitdiff
2021-08-25 Miodrag MilanovicFix regression tree | commitdiff
2021-08-25 Miodrag MilanovicInitialize variable tree | commitdiff
2021-08-23 Claire XenMerge pull request #126 from piegamesde/master tree | commitdiff
2021-07-12 piegamesfixup! Allow to set a working directory even when havin... tree | commitdiff
2021-06-26 piegamesBetter error message when tasks failed tree | commitdiff
2021-06-26 piegamesTurn .format() strings into f-strings tree | commitdiff
2021-06-21 piegamesAllow to set a working directory even when having multi... tree | commitdiff
2021-06-21 piegamesPrint paths as absolute tree | commitdiff
2021-03-22 Miodrag MilanovićMerge pull request #121 from YosysHQ/windows_fix tree | commitdiff
2021-03-22 Miodrag MilanovicWindows specific fixes tree | commitdiff
2021-01-26 Miodrag MilanovicFix syntax errors tree | commitdiff
2020-08-22 whitequarkMerge pull request #101 from YosysHQ/program-prefix tree | commitdiff
2020-08-22 whitequarkAdd a PROGRAM_PREFIX= Makefile option for packages... tree | commitdiff
2020-07-31 Marcelina KościelnickaRun dffunmap before writing the design with aiger/btor... 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
2020-07-21 N. Engelhardtfix error message formatting tree | commitdiff
2020-07-21 Claire WolfInclude verilog source files for demo1.sby tree | commitdiff
2020-07-20 clairexenMerge pull request #102 from YosysHQ/claire/maketest tree | commitdiff
2020-07-20 Claire WolfAdd "Unexpected response" handling to smtbmc engine tree | commitdiff
2020-07-09 clairexenMerge pull request #99 from whitequark/patch-1 tree | commitdiff
2020-07-05 whitequarkInject executable dependencies from the environment tree | commitdiff
2020-07-03 clairexenMerge pull request #98 from YosysHQ/cosa2_to_pono tree | commitdiff
2020-07-03 Miodrag Milanoviccosa2 -> pono rename tree | commitdiff
2020-07-01 clairexenMerge pull request #97 from nakengelhardt/seed_arg tree | commitdiff
2020-07-01 clairexenMerge pull request #94 from nakengelhardt/fix_93 tree | commitdiff
2020-07-01 N. Engelhardtadd --seed option to smtbmc and btor engines tree | commitdiff
2020-07-01 clairexenMerge pull request #96 from YosysHQ/claire/btorscript tree | commitdiff
2020-06-23 Claire WolfBe more conservative in btor ys script tree | commitdiff
2020-06-16 N. Engelhardtignore race condition in killing already-terminated... tree | commitdiff
2020-05-18 clairexenMerge pull request #88 from YosysHQ/claire/cosa2 tree | commitdiff
2020-05-18 Claire WolfAdd support for cosa2 BTOR solver tree | commitdiff
2020-05-18 N. Engelhardtbtor engine: handle models with 0 properties tree | commitdiff
2020-05-13 N. EngelhardtMerge pull request #87 from nakengelhardt/cover_trace_s... tree | commitdiff
2020-05-13 N. Engelhardtfix trace summary printing tree | commitdiff
2020-05-13 N. Engelhardtcall job.terminate at end of btor engine run to kill... tree | commitdiff
2020-05-12 N. Engelhardtstart btorsim as soon as a witness is ready, print... tree | commitdiff
2020-05-08 Claire WolfAdd silent mode to SbyTask tree | commitdiff
2020-04-29 N. Engelhardtfix return code check in btor engine tree | commitdiff
2020-04-29 N. EngelhardtMerge pull request #85 from nakengelhardt/new_btorsim tree | commitdiff
2020-04-22 matt vennMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2020-04-14 Claire WolfAdd task pattern matching, closes #76 tree | commitdiff
2020-04-14 Claire WolfAdd a status message when one or more tasks returned... tree | commitdiff
2020-04-08 N. Engelhardtmerge master tree | commitdiff
2020-04-08 N. Engelhardtuse info file for btorsim tree | commitdiff
2020-04-02 Claire WolfMerge pull request #74 from mattvenn/master tree | commitdiff
2020-04-02 N. Engelhardtand another tree | commitdiff
2020-04-02 N. Engelhardtfix formatting error tree | commitdiff
2020-04-02 Claire WolfMerge pull request #73 from nakengelhardt/str_format tree | commitdiff
2020-03-30 N. Engelhardtfix callback functions tree | commitdiff
2020-03-30 N. Engelhardtadd btor cover mode; use btorsim for vcd generation tree | commitdiff
2020-03-30 N. Engelhardtremove stray braces tree | commitdiff
2020-03-26 matt vennuse argument for name of .sby and .sv files tree | commitdiff
2020-03-25 matt vennadd --init-config option tree | commitdiff
next