projects / SymbiYosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
SymbiYosys.git
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
2020-03-26 matt vennuse argument for name of .sby and .sv files commit | commitdiff | tree
2020-03-25 matt vennadd --init-config option commit | commitdiff | tree
2020-03-25 N. EngelhardtUse .format() instead of % commit | commitdiff | tree
2020-03-24 Claire WolfFix primegen example commit | commitdiff | tree
2020-02-11 Claire WolfImprove BTOR and AIG yosys scripts commit | commitdiff | tree
2020-02-01 Claire WolfMerge pull request #70 from dh73/master commit | commitdiff | tree
2020-01-30 Diego HFix typo in log message commit | commitdiff | tree
2020-01-27 Claire WolfAdd special handling for command not found errors commit | commitdiff | tree
2020-01-21 Claire WolfMerge pull request #67 from mmicko/mmicko/windows_fix commit | commitdiff | tree
2020-01-15 Miodrag MilanovicAdded sleep for non-posix, allow supported signals commit | commitdiff | tree
2019-11-17 Miodrag MilanovicFix sby execution on Windows commit | commitdiff | tree
2019-10-03 Clifford WolfUse lowercase for non-final smtbmc status, treat PREUNS... commit | commitdiff | tree
2019-08-13 Clifford WolfFix YosysHQ links commit | commitdiff | tree
2019-08-01 Clifford WolfMerge pull request #55 from YosysHQ/q3k/fix-bash commit | commitdiff | tree
2019-07-24 Serge Bazanskisby_core: fix hardcoded /bin/bash path commit | commitdiff | tree
2019-07-23 Clifford WolfDocumentation update: Boolector is using the MIT licens... commit | commitdiff | tree
2019-06-27 Clifford WolfCleanup some command line option oddities commit | commitdiff | tree
2019-06-27 Clifford WolfMerge branch 'feature_file_paths' of https://github... commit | commitdiff | tree
2019-06-25 Hans AndersonFix default argument for tasknames commit | commitdiff | tree
2019-06-22 Hans AndersonSwitch from getopt to argparse commit | commitdiff | tree
2019-06-18 Clifford WolfAdd docs/examples/abstract/.gitignore commit | commitdiff | tree
2019-06-18 Clifford WolfFix quickstart demo to work with verific commit | commitdiff | tree
2019-05-22 Clifford WolfMerge pull request #49 from ZipCPU/verilog-doc commit | commitdiff | tree
2019-05-22 ZipCPUUpdated Verilog documentation commit | commitdiff | tree
2019-05-08 Jeppe JohansenAdd dumpfiles command line argument. commit | commitdiff | tree
2019-05-08 Jeppe JohansenAdd support for expanding environment variables. commit | commitdiff | tree
2019-05-01 Clifford WolfCheck if config contains any engines, fixes #38 commit | commitdiff | tree
2019-04-30 Clifford WolfFix re-run in same directory feature commit | commitdiff | tree
2019-04-18 Clifford WolfMerge pull request #42 from mithro/master commit | commitdiff | tree
2019-04-11 Tim 'mithro... Adding license info to the top level README file too. commit | commitdiff | tree
2019-04-11 Tim 'mithro... Adding top level COPYING file. commit | commitdiff | tree
2019-03-28 Clifford WolfImprove readability of boolector build instructions commit | commitdiff | tree
2019-03-27 Clifford WolfMinor improvements in docs/examples/abstract/abstr.sv commit | commitdiff | tree
2019-03-27 Clifford WolfAdd docs/examples/abstract commit | commitdiff | tree
2019-03-22 Clifford WolfAdd extra "setundef -anyseq" to aiger script commit | commitdiff | tree
2019-03-21 Clifford WolfBackward compatibility with Python 3.4 API commit | commitdiff | tree
2019-03-21 Clifford WolfSignificantly improve management of child processes commit | commitdiff | tree
2019-03-20 Clifford WolfImprove logfile/output flushing commit | commitdiff | tree
2019-03-20 Clifford WolfDo not overwrite config.sby in reusedir mode commit | commitdiff | tree
2019-03-19 Clifford WolfMerge pull request #33 from cr1901/no-resource commit | commitdiff | tree
2019-03-18 William D.... Annotate cmdline comment, summary string, and output... commit | commitdiff | tree
2019-03-18 William D.... Choose command separator for tasks based on OS. commit | commitdiff | tree
2019-03-17 Clifford WolfMerge pull request #35 from FelixVi/master commit | commitdiff | tree
2019-03-16 Felix VietmeyerUpdate Boolector build instructions commit | commitdiff | tree
2019-03-15 Clifford WolfRename ".stamp" file to "status" commit | commitdiff | tree
2019-03-12 William D.... Merge branch 'master' into no-resource commit | commitdiff | tree
next