projects / SymbiYosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Backward compatibility with Python 3.4 API
[SymbiYosys.git] / sbysrc /
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
2018-03-06 Clifford WolfImprovements in [tasks] handling tree | commitdiff
2018-03-05 Clifford WolfSlightly change tasks syntax tree | commitdiff
2018-03-05 Clifford WolfAdd tasks in .sby files tree | commitdiff
2018-03-04 Clifford WolfAdd multiclock option tree | commitdiff
2018-03-04 Clifford WolfAdd smtbmc --stdt option tree | commitdiff
2018-03-03 Clifford WolfFix --dump-smt2 trace name in cover mode tree | commitdiff
2018-01-22 Clifford WolfMerge pull request #4 from daveshah1/fix_filetop tree | commitdiff
2018-01-22 David ShahIgnore whitespace at top of file tree | commitdiff
2018-01-19 Clifford WolfImprove handling of comments in .sby files tree | commitdiff
2017-12-14 Clifford WolfDisable unrolling per default for z3 tree | commitdiff
2017-12-05 Clifford WolfMake --presat and --unroll the default for smtbmc tree | commitdiff
2017-11-24 Clifford WolfAdd "sby -t", improve handling of stdin tree | commitdiff
2017-11-24 Clifford WolfMerge pull request #2 from awygle/scriptability tree | commitdiff
2017-11-24 Andrew WygleMinimum-modification change for stdin support tree | commitdiff
2017-10-23 Clifford WolfAdd "smtbmc --dumpsmt2" tree | commitdiff
2017-10-22 Clifford WolfAdd "smtbmc --unroll" tree | commitdiff
2017-07-07 Clifford WolfAdd "smtbmc --presat" tree | commitdiff
2017-07-01 Clifford WolfAdd tbtop config option tree | commitdiff
2017-05-28 Clifford WolfAdd "setundef -anyseq" to default yosys script tree | commitdiff
2017-05-28 Clifford WolfAdd support for "aigsmt none" option tree | commitdiff
2017-05-27 Clifford WolfYices 2 is the new default solver for yosys-smtbmc tree | commitdiff
2017-05-08 Clifford WolfAdd support for --pycode-begin/end-- sections tree | commitdiff
2017-03-02 Clifford WolfFix CEX handle in liveness checking mode tree | commitdiff
2017-03-01 Clifford WolfAdd "mode live" support tree | commitdiff
2017-02-27 Clifford WolfAdd support for AIGER solvers that do not return a CEX tree | commitdiff
2017-02-27 Clifford WolfAdd smtc option tree | commitdiff
2017-02-27 Clifford WolfAdd rc to DONE msg tree | commitdiff
2017-02-26 Clifford WolfImprove option handling tree | commitdiff
2017-02-26 Clifford WolfFix typo in aiger engine tree | commitdiff
2017-02-26 Clifford WolfImprove super_prove integration tree | commitdiff
2017-02-26 Clifford WolfAdd "append" option tree | commitdiff
2017-02-25 Clifford WolfAdd aigbmc support tree | commitdiff
2017-02-25 Clifford WolfAdd aigsmt option tree | commitdiff
2017-02-24 Clifford WolfAdd smtbmc stbv support tree | commitdiff
2017-02-19 Clifford WolfAdd aiger engine tree | commitdiff
2017-02-19 Clifford WolfUse smtbmc args for solver options tree | commitdiff
2017-02-13 Clifford WolfFix readline() handling for partial lines tree | commitdiff
2017-02-09 Clifford WolfFix "smtbmc --syn" and "smtbmc --nomem" tree | commitdiff
2017-02-09 Clifford WolfAdd options to set tool paths tree | commitdiff
2017-02-08 Clifford WolfAdd support for "[file <filename>]" .sby sections tree | commitdiff
2017-02-06 Clifford WolfAdd docs for "wait" option, more config checking tree | commitdiff
2017-02-06 Clifford WolfFix bug in job.terminate() tree | commitdiff
2017-02-06 Clifford WolfAdd support for "wait" option tree | commitdiff
2017-02-06 Clifford WolfAdd "timeout" option tree | commitdiff
2017-02-06 Clifford WolfAdd "expect" config option tree | commitdiff
2017-02-05 Clifford WolfAdd "cover" mode tree | commitdiff
2017-02-03 Clifford WolfImprove "abc sim3" handling tree | commitdiff
2017-02-02 Clifford WolfAdd support for "abc sim3" engine tree | commitdiff
2017-01-30 Clifford WolfAdd some docs for "prove" mode tree | commitdiff
2017-01-30 Clifford WolfAdd smtbmc prove support tree | commitdiff
2017-01-30 Clifford WolfAdded prove mode support via "abc pdr" tree | commitdiff
2017-01-30 Clifford WolfFix bug in task management tree | commitdiff
2017-01-30 Clifford WolfRefactor engine/mode interfaces tree | commitdiff
2017-01-30 Clifford WolfImprove bmc task management tree | commitdiff
2017-01-30 Clifford WolfUse new "yosys-smtbmc --aig <aim>:<aiw>" feature tree | commitdiff
2017-01-30 Clifford WolfFix "abc bmc3" engine for small state spaces tree | commitdiff
2017-01-29 Clifford WolfFix handling of counter examples with "abc bmc3" engine tree | commitdiff
next