projects / SymbiYosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge pull request #195 from jix/sbyproc-truncated-output
[SymbiYosys.git] / sbysrc /
2020-07-21 Claire WolfInclude verilog source files for demo1.sby tree | commitdiff
2020-07-20 clairexenMerge pull request #102 from YosysHQ/claire/maketest tree | commitdiff
2020-07-20 Claire WolfAdd "Unexpected response" handling to smtbmc engine tree | commitdiff
2020-07-09 clairexenMerge pull request #99 from whitequark/patch-1 tree | commitdiff
2020-07-05 whitequarkInject executable dependencies from the environment tree | commitdiff
2020-07-03 clairexenMerge pull request #98 from YosysHQ/cosa2_to_pono tree | commitdiff
2020-07-03 Miodrag Milanoviccosa2 -> pono rename tree | commitdiff
2020-07-01 clairexenMerge pull request #97 from nakengelhardt/seed_arg tree | commitdiff
2020-07-01 clairexenMerge pull request #94 from nakengelhardt/fix_93 tree | commitdiff
2020-07-01 N. Engelhardtadd --seed option to smtbmc and btor engines tree | commitdiff
2020-07-01 clairexenMerge pull request #96 from YosysHQ/claire/btorscript tree | commitdiff
2020-06-23 Claire WolfBe more conservative in btor ys script tree | commitdiff
2020-06-16 N. Engelhardtignore race condition in killing already-terminated... tree | commitdiff
2020-05-18 clairexenMerge pull request #88 from YosysHQ/claire/cosa2 tree | commitdiff
2020-05-18 Claire WolfAdd support for cosa2 BTOR solver tree | commitdiff
2020-05-18 N. Engelhardtbtor engine: handle models with 0 properties tree | commitdiff
2020-05-13 N. EngelhardtMerge pull request #87 from nakengelhardt/cover_trace_s... tree | commitdiff
2020-05-13 N. Engelhardtfix trace summary printing tree | commitdiff
2020-05-13 N. Engelhardtcall job.terminate at end of btor engine run to kill... tree | commitdiff
2020-05-12 N. Engelhardtstart btorsim as soon as a witness is ready, print... tree | commitdiff
2020-05-08 Claire WolfAdd silent mode to SbyTask tree | commitdiff
2020-04-29 N. Engelhardtfix return code check in btor engine tree | commitdiff
2020-04-29 N. EngelhardtMerge pull request #85 from nakengelhardt/new_btorsim tree | commitdiff
2020-04-22 matt vennMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2020-04-14 Claire WolfAdd task pattern matching, closes #76 tree | commitdiff
2020-04-14 Claire WolfAdd a status message when one or more tasks returned... tree | commitdiff
2020-04-08 N. Engelhardtmerge master tree | commitdiff
2020-04-08 N. Engelhardtuse info file for btorsim tree | commitdiff
2020-04-02 Claire WolfMerge pull request #74 from mattvenn/master tree | commitdiff
2020-04-02 N. Engelhardtand another tree | commitdiff
2020-04-02 N. Engelhardtfix formatting error tree | commitdiff
2020-04-02 Claire WolfMerge pull request #73 from nakengelhardt/str_format tree | commitdiff
2020-03-30 N. Engelhardtfix callback functions tree | commitdiff
2020-03-30 N. Engelhardtadd btor cover mode; use btorsim for vcd generation tree | commitdiff
2020-03-30 N. Engelhardtremove stray braces tree | commitdiff
2020-03-26 matt vennuse argument for name of .sby and .sv files tree | commitdiff
2020-03-25 matt vennadd --init-config option tree | commitdiff
2020-03-25 N. EngelhardtUse .format() instead of % tree | commitdiff
2020-02-11 Claire WolfImprove BTOR and AIG yosys scripts tree | commitdiff
2020-02-01 Claire WolfMerge pull request #70 from dh73/master tree | commitdiff
2020-01-30 Diego HFix typo in log message tree | commitdiff
2020-01-27 Claire WolfAdd special handling for command not found errors tree | commitdiff
2020-01-21 Claire WolfMerge pull request #67 from mmicko/mmicko/windows_fix tree | commitdiff
2020-01-15 Miodrag MilanovicAdded sleep for non-posix, allow supported signals tree | commitdiff
2019-11-17 Miodrag MilanovicFix sby execution on Windows tree | commitdiff
2019-10-03 Clifford WolfUse lowercase for non-final smtbmc status, treat PREUNS... tree | commitdiff
2019-08-01 Clifford WolfMerge pull request #55 from YosysHQ/q3k/fix-bash tree | commitdiff
2019-07-24 Serge Bazanskisby_core: fix hardcoded /bin/bash path tree | commitdiff
2019-06-27 Clifford WolfCleanup some command line option oddities tree | commitdiff
2019-06-27 Clifford WolfMerge branch 'feature_file_paths' of https://github... tree | commitdiff
2019-06-25 Hans AndersonFix default argument for tasknames tree | commitdiff
2019-06-22 Hans AndersonSwitch from getopt to argparse tree | commitdiff
2019-05-08 Jeppe JohansenAdd dumpfiles command line argument. tree | commitdiff
2019-05-08 Jeppe JohansenAdd support for expanding environment variables. tree | commitdiff
2019-05-01 Clifford WolfCheck if config contains any engines, fixes #38 tree | commitdiff
2019-04-30 Clifford WolfFix re-run in same directory feature tree | commitdiff
2019-03-22 Clifford WolfAdd extra "setundef -anyseq" to aiger script tree | commitdiff
2019-03-21 Clifford WolfBackward compatibility with Python 3.4 API tree | commitdiff
2019-03-21 Clifford WolfSignificantly improve management of child processes tree | commitdiff
2019-03-20 Clifford WolfImprove logfile/output flushing tree | commitdiff
2019-03-20 Clifford WolfDo not overwrite config.sby in reusedir mode tree | commitdiff
2019-03-19 Clifford WolfMerge pull request #33 from cr1901/no-resource tree | commitdiff
2019-03-18 William D. JonesAnnotate cmdline comment, summary string, and output... tree | commitdiff
2019-03-18 William D. JonesChoose command separator for tasks based on OS. tree | commitdiff
2019-03-15 Clifford WolfRename ".stamp" file to "status" tree | commitdiff
2019-03-12 William D. JonesMerge branch 'master' into no-resource tree | commitdiff
2019-03-12 Clifford WolfMerge pull request #32 from cr1901/win-shell tree | commitdiff
2019-03-10 William D. JonesGate Unix-specific functionality from resources and... tree | commitdiff
2019-03-09 Clifford WolfImprove rerun-in-existing-dir functionality tree | commitdiff
2019-03-09 Clifford WolfAdd support for (re-)running in existing workdir tree | commitdiff
2019-03-08 Clifford WolfImprove sby file pycode/tasks handling tree | commitdiff
2019-03-03 Clifford WolfAdd --dumpcfg and --dumptasks tree | commitdiff
2018-12-10 Clifford WolfFurther improve BTOR cex handling tree | commitdiff
2018-12-10 Clifford WolfImprove BTOR cex handling tree | commitdiff
2018-12-08 Clifford WolfFixes and improvements in BTOR engine tree | commitdiff
2018-12-08 Clifford WolfMerge pull request #22 from YosysHQ/btor tree | commitdiff
2018-12-08 Clifford WolfWorking BTOR BMC engine tree | commitdiff
2018-12-08 Clifford WolfAdd btor engine tree | commitdiff
2018-11-22 Clifford WolfAdd "smtbmc ... -- ..." feature (for "raw" smtbmc options) tree | commitdiff
2018-11-12 Clifford WolfGenerate AIGERs with -I -B tree | commitdiff
2018-09-12 Clifford WolfImprove bogus task tags detection tree | commitdiff
2018-09-12 Clifford WolfDetect bogus task tags tree | commitdiff
2018-09-12 Clifford WolfAdd "skip" options (smtbmc only) tree | commitdiff
2018-08-21 Clifford WolfFixed "counterexample trace:" log message for things... tree | commitdiff
2018-07-19 Clifford WolfUse async2sync for "multiclock off" mode tree | commitdiff
2018-05-12 Clifford WolfUse "hierarchy -simcheck" in default script tree | commitdiff
2018-05-01 Clifford WolfFix fix for chained tasks tree | commitdiff
2018-05-01 Clifford WolfFix bug in handling of chained tasks tree | commitdiff
2018-04-19 Clifford WolfAdd comment support in [tasks] section tree | commitdiff
2018-04-13 Clifford WolfAdd check for malformed dst filename in [files] section tree | commitdiff
2018-03-28 Clifford WolfAdd JUnit XML output file and .stamp files tree | commitdiff
2018-03-27 Clifford WolfMore improvements in sby error handling tree | commitdiff
2018-03-27 Clifford WolfDrastically improve sby error handling tree | commitdiff
2018-03-15 Clifford WolfImprove handling of nomem models tree | commitdiff
2018-03-11 Clifford WolfAdd localtime also to early log messages tree | commitdiff
2018-03-11 Clifford WolfAdd localtime to log file tree | commitdiff
2018-03-07 Clifford WolfAdd "smtbmc --basecase/--induction" tree | commitdiff
2018-03-07 Clifford WolfAdd smtbmc --progress option tree | commitdiff
2018-03-06 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/SymbiYosys tree | commitdiff
2018-03-06 Clifford WolfUse memory_nordff in postprocess script tree | commitdiff
next