projects / SymbiYosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
SymbiYosys.git
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
2020-04-29 N. EngelhardtMerge pull request #85 from nakengelhardt/new_btorsim commit | commitdiff | tree
2020-04-22 Claire WolfUpdate wolf_goat_cabbage.sv commit | commitdiff | tree
2020-04-22 Claire WolfMerge pull request #86 from mattvenn/master commit | commitdiff | tree
2020-04-22 matt vennconsistent naming and put person moving line at the top commit | commitdiff | tree
2020-04-22 matt vennMerge branch 'master' of https://github.com/YosysHQ... commit | commitdiff | tree
2020-04-22 matt vennchange order of statements and make gender neutral commit | commitdiff | tree
2020-04-14 Claire WolfAdd task pattern matching, closes #76 commit | commitdiff | tree
2020-04-14 Claire WolfAdd a status message when one or more tasks returned... commit | commitdiff | tree
2020-04-09 Claire WolfAdd djb2hash example commit | commitdiff | tree
2020-04-08 N. Engelhardtmerge master commit | commitdiff | tree
2020-04-08 N. Engelhardtuse info file for btorsim commit | commitdiff | tree
2020-04-03 Claire WolfGet rid of verific warning in abstraction example commit | commitdiff | tree
2020-04-03 Claire WolfFix typo commit | commitdiff | tree
2020-04-02 Claire WolfMerge pull request #74 from mattvenn/master commit | commitdiff | tree
2020-04-02 N. Engelhardtand another commit | commitdiff | tree
2020-04-02 N. Engelhardtfix formatting error commit | commitdiff | tree
2020-04-02 Claire WolfMerge pull request #73 from nakengelhardt/str_format commit | commitdiff | tree
2020-03-30 N. Engelhardtfix callback functions commit | commitdiff | tree
2020-03-30 N. Engelhardtadd btor cover mode; use btorsim for vcd generation commit | commitdiff | tree
2020-03-30 N. Engelhardtremove stray braces commit | commitdiff | tree
next