projects / SymbiYosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
SymbiYosys.git
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
2019-03-12 Clifford WolfMerge pull request #32 from cr1901/win-shell commit | commitdiff | tree
2019-03-12 William D.... Install launcher executable when running on Windows. commit | commitdiff | tree
2019-03-10 William D.... Gate Unix-specific functionality from resources and... commit | commitdiff | tree
2019-03-09 Clifford WolfImprove rerun-in-existing-dir functionality commit | commitdiff | tree
2019-03-09 Clifford WolfAdd support for (re-)running in existing workdir commit | commitdiff | tree
2019-03-08 Clifford WolfAdd --dumptasks to documentation commit | commitdiff | tree
2019-03-08 Clifford WolfImprove sby file pycode/tasks handling commit | commitdiff | tree
2019-03-03 Clifford WolfAdd --dumpcfg and --dumptasks commit | commitdiff | tree
2018-12-10 Clifford WolfFurther improve BTOR cex handling commit | commitdiff | tree
2018-12-10 Clifford WolfImprove BTOR cex handling commit | commitdiff | tree
2018-12-08 Clifford WolfAlso add install docs for btorsim commit | commitdiff | tree
2018-12-08 Clifford WolfUpdate boolector build instructions commit | commitdiff | tree
2018-12-08 Clifford WolfFixes and improvements in BTOR engine commit | commitdiff | tree
2018-12-08 Clifford WolfMerge pull request #22 from YosysHQ/btor commit | commitdiff | tree
2018-12-08 Clifford WolfWorking BTOR BMC engine commit | commitdiff | tree
2018-12-08 Clifford WolfAdd btor engine commit | commitdiff | tree
2018-11-22 Clifford WolfAdd "smtbmc ... -- ..." feature (for "raw" smtbmc options) commit | commitdiff | tree
2018-11-12 Clifford WolfGenerate AIGERs with -I -B commit | commitdiff | tree
2018-09-12 Clifford WolfImprove bogus task tags detection commit | commitdiff | tree
2018-09-12 Clifford WolfDetect bogus task tags commit | commitdiff | tree
2018-09-12 Clifford WolfAdd "skip" options (smtbmc only) commit | commitdiff | tree
2018-09-06 Clifford WolfUpdate docs commit | commitdiff | tree
2018-08-27 Clifford WolfUpdate README.md commit | commitdiff | tree
2018-08-25 Clifford WolfAdd "pour_853_4" puzzle to examples commit | commitdiff | tree
2018-08-21 Clifford WolfFixed "counterexample trace:" log message for things... commit | commitdiff | tree
2018-07-26 Clifford WolfFixed bug in examples/quickstart/demo.sv commit | commitdiff | tree
next