SymbiYosys.git
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
2017-01-30 Clifford WolfRefactor engine/mode interfaces
2017-01-30 Clifford WolfImprove bmc task management
2017-01-30 Clifford WolfUse new "yosys-smtbmc --aig <aim>:<aiw>" feature
2017-01-30 Clifford WolfFix "abc bmc3" engine for small state spaces
2017-01-29 Clifford WolfImprove documentation
2017-01-29 Clifford WolfImprove documentation
2017-01-29 Clifford WolfFix handling of counter examples with "abc bmc3" engine
2017-01-29 Clifford WolfFix error handling in model creation
2017-01-28 Clifford WolfRename "abc_bmc3" engine to "abc bmc3"
2017-01-28 Clifford WolfAdd AIGER cex support
2017-01-22 Clifford WolfImprove docs
2017-01-22 Clifford WolfFix handling of empty src dir
2017-01-22 Clifford WolfAdd .gitignore
2017-01-22 Clifford WolfAdd README.md
2017-01-22 Clifford WolfInitial import