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

2018-12-08	Clifford Wolf	Update boolector build instructions Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-12-08	Clifford Wolf	Fixes and improvements in BTOR engine Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-12-08	Clifford Wolf	Working BTOR BMC engine Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-12-08	Clifford Wolf	Add btor engine Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-11-22	Clifford Wolf	Add "smtbmc ... -- ..." feature (for "raw" smtbmc options) Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-11-12	Clifford Wolf	Generate AIGERs with -I -B Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-09-12	Clifford Wolf	Improve bogus task tags detection Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-09-12	Clifford Wolf	Detect bogus task tags Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-09-12	Clifford Wolf	Add "skip" options (smtbmc only) Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-09-06	Clifford Wolf	Update docs Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-08-25	Clifford Wolf	Add "pour_853_4" puzzle to examples Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-08-21	Clifford Wolf	Fixed "counterexample trace:" log message for things... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-07-26	Clifford Wolf	Fixed bug in examples/quickstart/demo.sv Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-07-19	Clifford Wolf	Use async2sync for "multiclock off" mode Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-06-29	Clifford Wolf	Update examples Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-06-29	Clifford Wolf	Update remaining quickstart examples Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-06-29	Clifford Wolf	Update quickstart demo Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-06-23	Clifford Wolf	Improve documentation of scripts and Verific bindings Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-05-12	Clifford Wolf	Use "multiclock on" option in dpmem.sby example Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-05-12	Clifford Wolf	Use "hierarchy -simcheck" in default script Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-05-01	Clifford Wolf	Fix fix for chained tasks Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-05-01	Clifford Wolf	Fix bug in handling of chained tasks Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-04-19	Clifford Wolf	Add comment support in [tasks] section Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-04-18	Clifford Wolf	Add [script] documentation, add some paragraphs on... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-04-13	Clifford Wolf	Typo fix Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-04-13	Clifford Wolf	Add check for malformed dst filename in [files] section Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-04-13	Clifford Wolf	Add documentation on [files] and [file ..] sections Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-28	Clifford Wolf	Add JUnit XML output file and .stamp files Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-27	Clifford Wolf	More improvements in sby error handling Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-27	Clifford Wolf	Drastically improve sby error handling	commit \| commitdiff \| tree
2018-03-15	Clifford Wolf	Improve handling of nomem models Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-11	Clifford Wolf	Add localtime also to early log messages Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-11	Clifford Wolf	Add localtime to log file Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-07	Clifford Wolf	Extend primegen example Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-07	Clifford Wolf	Add "smtbmc --basecase/--induction" Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-07	Clifford Wolf	Add smtbmc --progress option Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-07	Clifford Wolf	Add "mkdir -p" to "make install" Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-06	Clifford Wolf	Update verific.rst Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-06	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/SymbiYosys	commit \| commitdiff \| tree
2018-03-06	Clifford Wolf	Use memory_nordff in postprocess script Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-06	Clifford Wolf	Improvements in [tasks] handling Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-06	Clifford Wolf	Update verific.rst Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-06	Clifford Wolf	Update verific.rst Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-06	Clifford Wolf	Minor format fix in documentation Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-06	Clifford Wolf	Add more documentation Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-05	Clifford Wolf	Add fib example using tasks Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-05	Clifford Wolf	Slightly change tasks syntax Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-05	Clifford Wolf	Add documentation for [tasks] section	commit \| commitdiff \| tree
2018-03-05	Clifford Wolf	Add tasks in .sby files Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-04	Clifford Wolf	Add multiclock option Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-04	Clifford Wolf	Add smtbmc --stdt option Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-03	Clifford Wolf	Fix --dump-smt2 trace name in cover mode Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-03	Clifford Wolf	Add primegen example Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-03	Clifford Wolf	Add wolf_goat_cabbage.sby Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-03-03	Clifford Wolf	Add engines documentation Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2018-01-19	Clifford Wolf	Improve handling of comments in .sby files	commit \| commitdiff \| tree
2018-01-17	Clifford Wolf	Add DESTDIR and PREFIX to Makefile	commit \| commitdiff \| tree
2017-12-14	Clifford Wolf	Disable unrolling per default for z3	commit \| commitdiff \| tree
2017-12-13	Clifford Wolf	Add dpmem multiclk example	commit \| commitdiff \| tree
2017-12-05	Clifford Wolf	Make --presat and --unroll the default for smtbmc	commit \| commitdiff \| tree
2017-11-24	Clifford Wolf	Add "sby -t", improve handling of stdin	commit \| commitdiff \| tree
2017-10-28	Clifford Wolf	Add missing prerequisites to quickstart guide	commit \| commitdiff \| tree
2017-10-23	Clifford Wolf	Add "smtbmc --dumpsmt2"	commit \| commitdiff \| tree
2017-10-22	Clifford Wolf	Add "smtbmc --unroll"	commit \| commitdiff \| tree
2017-09-26	Clifford Wolf	Add wolf_goat_cabbage.v puzzle solver	commit \| commitdiff \| tree
2017-09-21	Clifford Wolf	Remove AIGER from install section	commit \| commitdiff \| tree
2017-09-20	Clifford Wolf	Add gperf to prerequisites	commit \| commitdiff \| tree
2017-09-14	Clifford Wolf	Update quickstart.rst	commit \| commitdiff \| tree
2017-07-07	Clifford Wolf	Add "smtbmc --presat"	commit \| commitdiff \| tree
2017-07-01	Clifford Wolf	Add tbtop config option	commit \| commitdiff \| tree
2017-05-28	Clifford Wolf	Add "setundef -anyseq" to default yosys script	commit \| commitdiff \| tree
2017-05-28	Clifford Wolf	Add support for "aigsmt none" option	commit \| commitdiff \| tree
2017-05-27	Clifford Wolf	Yices 2 is the new default solver for yosys-smtbmc	commit \| commitdiff \| tree
2017-05-22	Clifford Wolf	Add "Reactive Synthesis" as TBD to documentation	commit \| commitdiff \| tree
2017-05-08	Clifford Wolf	Add support for --pycode-begin/end-- sections	commit \| commitdiff \| tree
2017-03-09	Clifford Wolf	Add avy install instructions	commit \| commitdiff \| tree
2017-03-02	Clifford Wolf	Fix CEX handle in liveness checking mode	commit \| commitdiff \| tree
2017-03-01	Clifford Wolf	Update docs	commit \| commitdiff \| tree
2017-03-01	Clifford Wolf	Add "mode live" support	commit \| commitdiff \| tree
2017-02-27	Clifford Wolf	Add support for AIGER solvers that do not return a CEX	commit \| commitdiff \| tree
2017-02-27	Clifford Wolf	Add smtc option	commit \| commitdiff \| tree
2017-02-27	Clifford Wolf	Add rc to DONE msg	commit \| commitdiff \| tree
2017-02-26	Clifford Wolf	Improve option handling	commit \| commitdiff \| tree
2017-02-26	Clifford Wolf	Fix typo in aiger engine	commit \| commitdiff \| tree
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
next

RSS Atom