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] / sbysrc /
2022-07-13 Jannis HarderMerge pull request #195 from jix/sbyproc-truncated... master tree | commitdiff
2022-07-13 Jannis HarderMerge pull request #193 from jix/abc_pdr_v tree | commitdiff
2022-07-13 Jannis HarderFix a race-condition SbyProc that could truncate output tree | commitdiff
2022-07-08 Jannis Harderabc pdr: Enable log output by default tree | commitdiff
2022-07-06 Jannis HarderMerge pull request #191 from jix/early-readconfig tree | commitdiff
2022-07-06 Jannis HarderMerge pull request #192 from jix/win_retcode tree | commitdiff
2022-07-06 Jannis HarderMake SbyProc hide Windows differences in retcode handling tree | commitdiff
2022-07-05 Jannis HarderRead config before creating a workdir 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-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 HarderAutomatic engine selection tree | commitdiff
2022-06-24 Jannis Hardersby_design: Extract total memory size and forall usage tree | commitdiff
2022-06-24 Jannis HarderMerge pull request #185 from georgerennie/prefix_empty_... tree | commitdiff
2022-06-23 Jannis HarderMerge pull request #183 from jix/engine-option-docs tree | commitdiff
2022-06-23 Jannis HarderMerge pull request #184 from jix/smtbmc-keepgoing-induc... tree | commitdiff
2022-06-23 Jannis Hardersmtbmc: Fix induction trace filename with --keep-going... tree | commitdiff
2022-06-23 Jacob Lifshayswitch to using hierarchy -smtcheck for smtlib2 solvers... add-simcheck-option tree | commitdiff
2022-06-18 George RennieUse default prefix directory when no task is specified tree | commitdiff
2022-06-15 Jannis HarderMerge pull request #182 from jix/taskloop tree | commitdiff
2022-06-15 Jannis HarderDecouple taskloop from task tree | commitdiff
2022-06-15 Jannis HarderMerge pull request #181 from jix/monotonic tree | commitdiff
2022-06-15 Jannis HarderUse monotonic clock for timeouts tree | commitdiff
2022-06-15 Jannis HarderMerge pull request #180 from jix/sby-fewer-asserts tree | commitdiff
2022-06-15 Jannis HarderDon't use python asserts to handle unexpected solver... tree | commitdiff
2022-06-15 Jannis HarderSbyProc: New error_callback instead of exit_callback... tree | commitdiff
2022-06-15 Jannis HarderMerge pull request #179 from jix/btor-option-handling tree | commitdiff
2022-06-15 Jannis Harderbtor pono: improve option handling 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-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-05-30 Jannis HarderSuggest -f when the workdir already exists tree | commitdiff
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
next