projects / SymbiYosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
SymbiYosys.git
2022-06-23 Jacob Lifshayswitch to using hierarchy -smtcheck for smtlib2 solvers... add-simcheck-option commit | commitdiff | tree
2022-06-01 N. Engelhardtupdate install instructions for btorsim 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
2021-11-29 Claire Xenia... Update docs theme commit | commitdiff | tree
2021-11-26 Claire Xenia... update docs theme commit | commitdiff | tree
2021-10-31 Claire Xenia... Add support for directories in [files] section commit | commitdiff | tree
2021-10-31 Claire Xenia... Fixed names and links commit | commitdiff | tree
2021-09-13 Miodrag MilanovićMerge pull request #127 from christian-krieg/feat/updat... commit | commitdiff | tree
2021-08-25 Miodrag MilanovicFix regression commit | commitdiff | tree
2021-08-25 Miodrag MilanovicInitialize variable commit | commitdiff | tree
2021-08-23 Claire XenMerge pull request #126 from piegamesde/master commit | commitdiff | tree
2021-07-20 Christian KriegUpdated install instructions for super_prove commit | commitdiff | tree
2021-07-12 piegamesfixup! Allow to set a working directory even when havin... commit | commitdiff | tree
2021-06-26 piegamesBetter error message when tasks failed commit | commitdiff | tree
2021-06-26 piegamesTurn .format() strings into f-strings commit | commitdiff | tree
2021-06-21 piegamesAllow to set a working directory even when having multi... commit | commitdiff | tree
2021-06-21 piegamesPrint paths as absolute commit | commitdiff | tree
2021-05-21 Claire Xenia... Update docs conf.py commit | commitdiff | tree
2021-05-21 Claire Xenia... New docs conf.py commit | commitdiff | tree
2021-04-16 N. EngelhardtMake readme of abstraction example more tutorial-like commit | commitdiff | tree
2021-03-22 Miodrag MilanovićMerge pull request #121 from YosysHQ/windows_fix commit | commitdiff | tree
2021-03-22 Miodrag MilanovicWindows specific fixes commit | commitdiff | tree
2021-03-04 Claire XenUpdate conf.py commit | commitdiff | tree
2021-02-24 Claire XenDelete symbiotic_logo.png commit | commitdiff | tree
2021-02-24 Claire XenUpdate conf.py commit | commitdiff | tree
2021-02-05 ythomaUpdate install.rst commit | commitdiff | tree
2021-01-26 Miodrag MilanovicFix syntax errors commit | commitdiff | tree
2020-10-23 Miodrag MilanovicExtract installation procedure to separate file commit | commitdiff | tree
2020-10-15 Matt Venncopyright commit | commitdiff | tree
2020-10-15 Matt Vennlogo and links commit | commitdiff | tree
2020-10-12 N. EngelhardtMerge pull request #116 from nakengelhardt/sed_mac commit | commitdiff | tree
2020-10-09 N. Engelhardtsed -i option is not posix, and argument syntax is... commit | commitdiff | tree
2020-09-11 Miodrag MilanovićMerge pull request #115 from nakengelhardt/rename_test commit | commitdiff | tree
next