git.libre-soc.org Git - SymbiYosys.git/shortlog

2017-02-26	Clifford Wolf	Improve super_prove integration	commit \| commitdiff \| tree
2017-02-26	Clifford Wolf	Add "append" option	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Add aigbmc support	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Add aigsmt option	commit \| commitdiff \| tree
2017-02-24	Clifford Wolf	Add smtbmc stbv support	commit \| commitdiff \| tree
2017-02-19	Clifford Wolf	Add aiger engine	commit \| commitdiff \| tree
2017-02-19	Clifford Wolf	Update documentation	commit \| commitdiff \| tree
2017-02-19	Clifford Wolf	Use smtbmc args for solver options	commit \| commitdiff \| tree
2017-02-13	Clifford Wolf	Fix readline() handling for partial lines	commit \| commitdiff \| tree
2017-02-09	Clifford Wolf	Fix "smtbmc --syn" and "smtbmc --nomem"	commit \| commitdiff \| tree
2017-02-09	Clifford Wolf	Add options to set tool paths	commit \| commitdiff \| tree
2017-02-08	Clifford Wolf	Add support for "[file <filename>]" .sby sections	commit \| commitdiff \| tree
2017-02-06	Clifford Wolf	Add docs for "wait" option, more config checking	commit \| commitdiff \| tree
2017-02-06	Clifford Wolf	Fix bug in job.terminate()	commit \| commitdiff \| tree
2017-02-06	Clifford Wolf	Add support for "wait" option	commit \| commitdiff \| tree
2017-02-06	Clifford Wolf	Update docs	commit \| commitdiff \| tree
2017-02-06	Clifford Wolf	Add "timeout" option	commit \| commitdiff \| tree
2017-02-06	Clifford Wolf	Add "expect" config option	commit \| commitdiff \| tree
2017-02-05	Clifford Wolf	Add "cover" mode	commit \| commitdiff \| tree
2017-02-03	Clifford Wolf	Improve "abc sim3" handling	commit \| commitdiff \| tree
2017-02-02	Clifford Wolf	Add support for "abc sim3" engine	commit \| commitdiff \| tree
2017-01-31	Clifford Wolf	Fix bug in /examples/quickstart/prove.v	commit \| commitdiff \| tree
2017-01-30	Clifford Wolf	Add some docs for "prove" mode	commit \| commitdiff \| tree
2017-01-30	Clifford Wolf	Add smtbmc prove support	commit \| commitdiff \| tree
2017-01-30	Clifford Wolf	Added prove mode support via "abc pdr"	commit \| commitdiff \| tree
2017-01-30	Clifford Wolf	Fix typo	commit \| commitdiff \| tree
2017-01-30	Clifford Wolf	Improve docs	commit \| commitdiff \| tree
2017-01-30	Clifford Wolf	Improve quickstart memory example	commit \| commitdiff \| tree
2017-01-30	Clifford Wolf	Fix bug in task management	commit \| commitdiff \| tree
2017-01-30	Clifford Wolf	Refactor engine/mode interfaces	commit \| commitdiff \| tree
2017-01-30	Clifford Wolf	Improve bmc task management	commit \| commitdiff \| tree
2017-01-30	Clifford Wolf	Use new "yosys-smtbmc --aig <aim>:<aiw>" feature	commit \| commitdiff \| tree
2017-01-30	Clifford Wolf	Fix "abc bmc3" engine for small state spaces	commit \| commitdiff \| tree
2017-01-29	Clifford Wolf	Improve documentation	commit \| commitdiff \| tree
2017-01-29	Clifford Wolf	Improve documentation	commit \| commitdiff \| tree
2017-01-29	Clifford Wolf	Fix handling of counter examples with "abc bmc3" engine	commit \| commitdiff \| tree
2017-01-29	Clifford Wolf	Fix error handling in model creation	commit \| commitdiff \| tree
2017-01-28	Clifford Wolf	Rename "abc_bmc3" engine to "abc bmc3"	commit \| commitdiff \| tree
2017-01-28	Clifford Wolf	Add AIGER cex support	commit \| commitdiff \| tree
2017-01-22	Clifford Wolf	Improve docs	commit \| commitdiff \| tree
2017-01-22	Clifford Wolf	Fix handling of empty src dir	commit \| commitdiff \| tree
2017-01-22	Clifford Wolf	Add .gitignore	commit \| commitdiff \| tree
2017-01-22	Clifford Wolf	Add README.md	commit \| commitdiff \| tree
2017-01-22	Clifford Wolf	Initial import	commit \| commitdiff \| tree

RSS Atom