projects / SymbiYosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
SymbiYosys.git
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-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
2020-09-11 N. Engelhardtrename make test to make ci commit | commitdiff | tree
2020-08-22 whitequarkMerge pull request #101 from YosysHQ/program-prefix commit | commitdiff | tree
2020-08-22 whitequarkAdd a PROGRAM_PREFIX= Makefile option for packages... commit | commitdiff | tree
2020-07-31 Marcelina KościelnickaRun dffunmap before writing the design with aiger/btor... commit | commitdiff | tree
2020-07-24 N. Engelhardtfix test rule commit | commitdiff | tree
2020-07-24 Claire WolfRemove redundant copy of picorv32 commit | commitdiff | tree
2020-07-24 Claire WolfImprovements in "make test" commit | commitdiff | tree
2020-07-24 clairexenMerge pull request #104 from nakengelhardt/more_tests commit | commitdiff | tree
2020-07-24 N. Engelhardtadd tests directory with additional tests commit | commitdiff | tree
2020-07-21 N. Engelhardtfix error message formatting commit | commitdiff | tree
2020-07-21 Claire WolfInclude verilog source files for demo1.sby commit | commitdiff | tree
2020-07-20 clairexenMerge pull request #102 from YosysHQ/claire/maketest commit | commitdiff | tree
2020-07-20 Claire WolfAdd "Unexpected response" handling to smtbmc engine commit | commitdiff | tree
2020-07-20 Claire WolfAdd "make test" commit | commitdiff | tree
2020-07-09 clairexenMerge pull request #99 from whitequark/patch-1 commit | commitdiff | tree
2020-07-09 clairexenMerge pull request #100 from edbordin/master commit | commitdiff | tree
2020-07-08 Ed Bordinuse latest win python launcher from yosys commit | commitdiff | tree
2020-07-05 whitequarkInject executable dependencies from the environment commit | commitdiff | tree
2020-07-03 clairexenMerge pull request #98 from YosysHQ/cosa2_to_pono commit | commitdiff | tree
2020-07-03 Miodrag Milanoviccosa2 -> pono rename commit | commitdiff | tree
2020-07-01 clairexenMerge pull request #97 from nakengelhardt/seed_arg commit | commitdiff | tree
2020-07-01 clairexenMerge pull request #94 from nakengelhardt/fix_93 commit | commitdiff | tree
2020-07-01 N. Engelhardtadd --seed option to smtbmc and btor engines commit | commitdiff | tree
2020-07-01 clairexenMerge pull request #96 from YosysHQ/claire/btorscript commit | commitdiff | tree
2020-06-30 N. EngelhardtMerge pull request #95 from adumont/patch-1 commit | commitdiff | tree
2020-06-28 Alexandre Dumont... Tipo missing * in Global Clock example commit | commitdiff | tree
2020-06-23 Claire WolfBe more conservative in btor ys script commit | commitdiff | tree
2020-06-16 N. Engelhardtignore race condition in killing already-terminated... commit | commitdiff | tree
2020-05-18 clairexenMerge pull request #88 from YosysHQ/claire/cosa2 commit | commitdiff | tree
2020-05-18 Claire WolfAdd support for cosa2 BTOR solver commit | commitdiff | tree
2020-05-18 N. Engelhardtbtor engine: handle models with 0 properties commit | commitdiff | tree
2020-05-13 N. EngelhardtMerge pull request #87 from nakengelhardt/cover_trace_s... commit | commitdiff | tree
2020-05-13 N. Engelhardtfix trace summary printing commit | commitdiff | tree
2020-05-13 N. Engelhardtcall job.terminate at end of btor engine run to kill... commit | commitdiff | tree
2020-05-12 N. Engelhardtstart btorsim as soon as a witness is ready, print... commit | commitdiff | tree
2020-05-08 Claire WolfAdd silent mode to SbyTask commit | commitdiff | tree
2020-04-29 N. Engelhardtfix return code check in btor engine commit | commitdiff | tree
next