SymbiYosys.git
2021-12-17 Claire Xenia... Fixed [tasks] section parsing
2021-12-17 Claire XenUpdate README.md
2021-12-17 Claire XenUpdate README.md
2021-12-17 Claire Xenia... Add inductive invariants example
2021-12-17 Claire Xenia... Add ":"-syntax for [tasks] section
2021-11-30 Claire Xenia... Update docs theme
2021-11-29 Claire Xenia... Update docs theme
2021-11-26 Claire Xenia... update docs theme
2021-10-31 Claire Xenia... Add support for directories in [files] section
2021-10-31 Claire Xenia... Fixed names and links
2021-09-13 Miodrag MilanovićMerge pull request #127 from christian-krieg/feat/updat...
2021-08-25 Miodrag MilanovicFix regression
2021-08-25 Miodrag MilanovicInitialize variable
2021-08-23 Claire XenMerge pull request #126 from piegamesde/master
2021-07-20 Christian KriegUpdated install instructions for super_prove
2021-07-12 piegamesfixup! Allow to set a working directory even when havin...
2021-06-26 piegamesBetter error message when tasks failed
2021-06-26 piegamesTurn .format() strings into f-strings
2021-06-21 piegamesAllow to set a working directory even when having multi...
2021-06-21 piegamesPrint paths as absolute
2021-05-21 Claire Xenia... Update docs conf.py
2021-05-21 Claire Xenia... New docs conf.py
2021-04-16 N. EngelhardtMake readme of abstraction example more tutorial-like
2021-03-22 Miodrag MilanovićMerge pull request #121 from YosysHQ/windows_fix
2021-03-22 Miodrag MilanovicWindows specific fixes
2021-03-04 Claire XenUpdate conf.py
2021-02-24 Claire XenDelete symbiotic_logo.png
2021-02-24 Claire XenUpdate conf.py
2021-01-26 Miodrag MilanovicFix syntax errors
2020-10-23 Miodrag MilanovicExtract installation procedure to separate file
2020-10-15 Matt Venncopyright
2020-10-15 Matt Vennlogo and links
2020-10-12 N. EngelhardtMerge pull request #116 from nakengelhardt/sed_mac
2020-10-09 N. Engelhardtsed -i option is not posix, and argument syntax is...
2020-09-11 Miodrag MilanovićMerge pull request #115 from nakengelhardt/rename_test
2020-09-11 N. Engelhardtrename make test to make ci
2020-08-22 whitequarkMerge pull request #101 from YosysHQ/program-prefix
2020-08-22 whitequarkAdd a PROGRAM_PREFIX= Makefile option for packages...
2020-07-31 Marcelina KościelnickaRun dffunmap before writing the design with aiger/btor...
2020-07-24 N. Engelhardtfix test rule
2020-07-24 Claire WolfRemove redundant copy of picorv32
2020-07-24 Claire WolfImprovements in "make test"
2020-07-24 clairexenMerge pull request #104 from nakengelhardt/more_tests
2020-07-24 N. Engelhardtadd tests directory with additional tests
2020-07-21 N. Engelhardtfix error message formatting
2020-07-21 Claire WolfInclude verilog source files for demo1.sby
2020-07-20 clairexenMerge pull request #102 from YosysHQ/claire/maketest
2020-07-20 Claire WolfAdd "Unexpected response" handling to smtbmc engine
2020-07-20 Claire WolfAdd "make test"
2020-07-09 clairexenMerge pull request #99 from whitequark/patch-1
2020-07-09 clairexenMerge pull request #100 from edbordin/master
2020-07-08 Ed Bordinuse latest win python launcher from yosys
2020-07-05 whitequarkInject executable dependencies from the environment
2020-07-03 clairexenMerge pull request #98 from YosysHQ/cosa2_to_pono
2020-07-03 Miodrag Milanoviccosa2 -> pono rename
2020-07-01 clairexenMerge pull request #97 from nakengelhardt/seed_arg
2020-07-01 clairexenMerge pull request #94 from nakengelhardt/fix_93
2020-07-01 N. Engelhardtadd --seed option to smtbmc and btor engines
2020-07-01 clairexenMerge pull request #96 from YosysHQ/claire/btorscript
2020-06-30 N. EngelhardtMerge pull request #95 from adumont/patch-1
2020-06-28 Alexandre Dumont... Tipo missing * in Global Clock example
2020-06-23 Claire WolfBe more conservative in btor ys script
2020-06-16 N. Engelhardtignore race condition in killing already-terminated...
2020-05-18 clairexenMerge pull request #88 from YosysHQ/claire/cosa2
2020-05-18 Claire WolfAdd support for cosa2 BTOR solver
2020-05-18 N. Engelhardtbtor engine: handle models with 0 properties
2020-05-13 N. EngelhardtMerge pull request #87 from nakengelhardt/cover_trace_s...
2020-05-13 N. Engelhardtfix trace summary printing
2020-05-13 N. Engelhardtcall job.terminate at end of btor engine run to kill...
2020-05-12 N. Engelhardtstart btorsim as soon as a witness is ready, print...
2020-05-08 Claire WolfAdd silent mode to SbyTask
2020-04-29 N. Engelhardtfix return code check in btor engine
2020-04-29 N. EngelhardtMerge pull request #85 from nakengelhardt/new_btorsim
2020-04-22 Claire WolfUpdate wolf_goat_cabbage.sv
2020-04-22 Claire WolfMerge pull request #86 from mattvenn/master
2020-04-22 matt vennconsistent naming and put person moving line at the top
2020-04-22 matt vennMerge branch 'master' of https://github.com/YosysHQ...
2020-04-22 matt vennchange order of statements and make gender neutral
2020-04-14 Claire WolfAdd task pattern matching, closes #76
2020-04-14 Claire WolfAdd a status message when one or more tasks returned...
2020-04-09 Claire WolfAdd djb2hash example
2020-04-08 N. Engelhardtmerge master
2020-04-08 N. Engelhardtuse info file for btorsim
2020-04-03 Claire WolfGet rid of verific warning in abstraction example
2020-04-03 Claire WolfFix typo
2020-04-02 Claire WolfMerge pull request #74 from mattvenn/master
2020-04-02 N. Engelhardtand another
2020-04-02 N. Engelhardtfix formatting error
2020-04-02 Claire WolfMerge pull request #73 from nakengelhardt/str_format
2020-03-30 N. Engelhardtfix callback functions
2020-03-30 N. Engelhardtadd btor cover mode; use btorsim for vcd generation
2020-03-30 N. Engelhardtremove stray braces
2020-03-26 matt vennuse argument for name of .sby and .sv files
2020-03-25 matt vennadd --init-config option
2020-03-25 N. EngelhardtUse .format() instead of %
2020-03-24 Claire WolfFix primegen example
2020-02-11 Claire WolfImprove BTOR and AIG yosys scripts
2020-02-01 Claire WolfMerge pull request #70 from dh73/master
2020-01-30 Diego HFix typo in log message
2020-01-27 Claire WolfAdd special handling for command not found errors
next