SymbiYosys.git
2018-06-23 Clifford WolfImprove documentation of scripts and Verific bindings
2018-05-12 Clifford WolfUse "multiclock on" option in dpmem.sby example
2018-05-12 Clifford WolfUse "hierarchy -simcheck" in default script
2018-05-01 Clifford WolfFix fix for chained tasks
2018-05-01 Clifford WolfFix bug in handling of chained tasks
2018-04-19 Clifford WolfAdd comment support in [tasks] section
2018-04-18 Clifford WolfAdd [script] documentation, add some paragraphs on...
2018-04-13 Clifford WolfTypo fix
2018-04-13 Clifford WolfAdd check for malformed dst filename in [files] section
2018-04-13 Clifford WolfAdd documentation on [files] and [file ..] sections
2018-03-28 Clifford WolfAdd JUnit XML output file and .stamp files
2018-03-27 Clifford WolfMore improvements in sby error handling
2018-03-27 Clifford WolfDrastically improve sby error handling
2018-03-15 Clifford WolfImprove handling of nomem models
2018-03-11 Clifford WolfAdd localtime also to early log messages
2018-03-11 Clifford WolfAdd localtime to log file
2018-03-07 Clifford WolfExtend primegen example
2018-03-07 Clifford WolfAdd "smtbmc --basecase/--induction"
2018-03-07 Clifford WolfAdd smtbmc --progress option
2018-03-07 Clifford WolfAdd "mkdir -p" to "make install"
2018-03-06 Clifford WolfUpdate verific.rst
2018-03-06 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/SymbiYosys
2018-03-06 Clifford WolfUse memory_nordff in postprocess script
2018-03-06 Clifford WolfImprovements in [tasks] handling
2018-03-06 Clifford WolfUpdate verific.rst
2018-03-06 Clifford WolfUpdate verific.rst
2018-03-06 Clifford WolfMinor format fix in documentation
2018-03-06 Clifford WolfAdd more documentation
2018-03-05 Clifford WolfAdd fib example using tasks
2018-03-05 Clifford WolfSlightly change tasks syntax
2018-03-05 Clifford WolfAdd documentation for [tasks] section
2018-03-05 Clifford WolfAdd tasks in .sby files
2018-03-04 Clifford WolfAdd multiclock option
2018-03-04 Clifford WolfAdd smtbmc --stdt option
2018-03-03 Clifford WolfFix --dump-smt2 trace name in cover mode
2018-03-03 Clifford WolfAdd primegen example
2018-03-03 Clifford WolfAdd wolf_goat_cabbage.sby
2018-03-03 Clifford WolfAdd engines documentation
2018-01-22 Clifford WolfMerge pull request #4 from daveshah1/fix_filetop
2018-01-22 David ShahIgnore whitespace at top of file
2018-01-19 Clifford WolfImprove handling of comments in .sby files
2018-01-17 Clifford WolfAdd DESTDIR and PREFIX to Makefile
2017-12-14 Clifford WolfDisable unrolling per default for z3
2017-12-13 Clifford WolfAdd dpmem multiclk example
2017-12-05 Clifford WolfMake --presat and --unroll the default for smtbmc
2017-11-24 Clifford WolfAdd "sby -t", improve handling of stdin
2017-11-24 Clifford WolfMerge pull request #2 from awygle/scriptability
2017-11-24 Andrew WygleMinimum-modification change for stdin support
2017-10-28 Clifford WolfAdd missing prerequisites to quickstart guide
2017-10-23 Clifford WolfAdd "smtbmc --dumpsmt2"
2017-10-22 Clifford WolfAdd "smtbmc --unroll"
2017-09-26 Clifford WolfAdd wolf_goat_cabbage.v puzzle solver
2017-09-21 Clifford WolfRemove AIGER from install section
2017-09-20 Clifford WolfAdd gperf to prerequisites
2017-09-14 Clifford WolfUpdate quickstart.rst
2017-07-07 Clifford WolfAdd "smtbmc --presat"
2017-07-01 Clifford WolfAdd tbtop config option
2017-05-28 Clifford WolfAdd "setundef -anyseq" to default yosys script
2017-05-28 Clifford WolfAdd support for "aigsmt none" option
2017-05-27 Clifford WolfYices 2 is the new default solver for yosys-smtbmc
2017-05-22 Clifford WolfAdd "Reactive Synthesis" as TBD to documentation
2017-05-08 Clifford WolfAdd support for --pycode-begin/end-- sections
2017-03-09 Clifford WolfAdd avy install instructions
2017-03-02 Clifford WolfFix CEX handle in liveness checking mode
2017-03-01 Clifford WolfUpdate docs
2017-03-01 Clifford WolfAdd "mode live" support
2017-02-27 Clifford WolfAdd support for AIGER solvers that do not return a CEX
2017-02-27 Clifford WolfAdd smtc option
2017-02-27 Clifford WolfAdd rc to DONE msg
2017-02-26 Clifford WolfImprove option handling
2017-02-26 Clifford WolfFix typo in aiger engine
2017-02-26 Clifford WolfImprove super_prove integration
2017-02-26 Clifford WolfAdd "append" option
2017-02-25 Clifford WolfAdd aigbmc support
2017-02-25 Clifford WolfAdd aigsmt option
2017-02-24 Clifford WolfAdd smtbmc stbv support
2017-02-19 Clifford WolfAdd aiger engine
2017-02-19 Clifford WolfUpdate documentation
2017-02-19 Clifford WolfUse smtbmc args for solver options
2017-02-13 Clifford WolfFix readline() handling for partial lines
2017-02-09 Clifford WolfFix "smtbmc --syn" and "smtbmc --nomem"
2017-02-09 Clifford WolfAdd options to set tool paths
2017-02-08 Clifford WolfAdd support for "[file <filename>]" .sby sections
2017-02-06 Clifford WolfAdd docs for "wait" option, more config checking
2017-02-06 Clifford WolfFix bug in job.terminate()
2017-02-06 Clifford WolfAdd support for "wait" option
2017-02-06 Clifford WolfUpdate docs
2017-02-06 Clifford WolfAdd "timeout" option
2017-02-06 Clifford WolfAdd "expect" config option
2017-02-05 Clifford WolfAdd "cover" mode
2017-02-03 Clifford WolfImprove "abc sim3" handling
2017-02-02 Clifford WolfAdd support for "abc sim3" engine
2017-01-31 Clifford WolfFix bug in /examples/quickstart/prove.v
2017-01-30 Clifford WolfAdd some docs for "prove" mode
2017-01-30 Clifford WolfAdd smtbmc prove support
2017-01-30 Clifford WolfAdded prove mode support via "abc pdr"
2017-01-30 Clifford WolfFix typo
2017-01-30 Clifford WolfImprove docs
2017-01-30 Clifford WolfImprove quickstart memory example
2017-01-30 Clifford WolfFix bug in task management
next