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

[SymbiYosys.git] / sbysrc / sby_engine_btor.py

2022-07-03	Jannis Harder	Merge pull request #170 from programmerjake/add-simchec...	blob \| commitdiff \| raw
2022-06-15	Jannis Harder	Merge pull request #180 from jix/sby-fewer-asserts	blob \| commitdiff \| raw
2022-06-15	Jannis Harder	Don't use python asserts to handle unexpected solver...	blob \| commitdiff \| raw
2022-06-15	Jannis Harder	Merge pull request #179 from jix/btor-option-handling	blob \| commitdiff \| raw \| diff to current
2022-06-15	Jannis Harder	btor pono: improve option handling	blob \| commitdiff \| raw \| diff to current
2022-03-15	Claire Xen	Merge pull request #120 from ythoma/patch-1	blob \| commitdiff \| raw \| diff to current
2022-01-12	Miodrag Milanović	Merge pull request #136 from nakengelhardt/fix_pono	blob \| commitdiff \| raw \| diff to current
2022-01-12	N. Engelhardt	create only a single bad when using pono solver; workar...	blob \| commitdiff \| raw \| diff to current
2022-01-12	N. Engelhardt	use --witness option when calling pono	blob \| commitdiff \| raw \| diff to current
2022-01-12	N. Engelhardt	Merge pull request #135 from nakengelhardt/rename_task	blob \| commitdiff \| raw \| diff to current
2022-01-11	N. Engelhardt	Rename SbyJob to SbyTask and SbyTask to SbyProc to...	blob \| commitdiff \| raw \| diff to current
2021-10-31	Claire Xenia Wolf	Fixed names and links	blob \| commitdiff \| raw \| diff to current
2021-09-13	Miodrag Milanović	Merge pull request #127 from christian-krieg/feat/updat...	blob \| commitdiff \| raw \| diff to current
2021-08-25	Miodrag Milanovic	Fix regression	blob \| commitdiff \| raw \| diff to current
2021-08-23	Claire Xen	Merge pull request #126 from piegamesde/master	blob \| commitdiff \| raw \| diff to current
2021-06-26	piegames	Turn .format() strings into f-strings	blob \| commitdiff \| raw \| diff to current
2020-07-24	clairexen	Merge pull request #104 from nakengelhardt/more_tests	blob \| commitdiff \| raw \| diff to current
2020-07-24	N. Engelhardt	add tests directory with additional tests	blob \| commitdiff \| raw \| diff to current
2020-07-21	N. Engelhardt	fix error message formatting	blob \| commitdiff \| raw \| diff to current
2020-07-03	clairexen	Merge pull request #98 from YosysHQ/cosa2_to_pono	blob \| commitdiff \| raw \| diff to current
2020-07-03	Miodrag Milanovic	cosa2 -> pono rename	blob \| commitdiff \| raw \| diff to current
2020-07-01	clairexen	Merge pull request #97 from nakengelhardt/seed_arg	blob \| commitdiff \| raw \| diff to current
2020-07-01	N. Engelhardt	add --seed option to smtbmc and btor engines	blob \| commitdiff \| raw \| diff to current
2020-05-18	clairexen	Merge pull request #88 from YosysHQ/claire/cosa2	blob \| commitdiff \| raw \| diff to current
2020-05-18	Claire Wolf	Add support for cosa2 BTOR solver	blob \| commitdiff \| raw \| diff to current
2020-05-18	N. Engelhardt	btor engine: handle models with 0 properties	blob \| commitdiff \| raw \| diff to current
2020-05-13	N. Engelhardt	Merge pull request #87 from nakengelhardt/cover_trace_s...	blob \| commitdiff \| raw \| diff to current
2020-05-13	N. Engelhardt	fix trace summary printing	blob \| commitdiff \| raw \| diff to current
2020-05-13	N. Engelhardt	call job.terminate at end of btor engine run to kill...	blob \| commitdiff \| raw \| diff to current
2020-05-12	N. Engelhardt	start btorsim as soon as a witness is ready, print...	blob \| commitdiff \| raw \| diff to current
2020-04-29	N. Engelhardt	fix return code check in btor engine	blob \| commitdiff \| raw \| diff to current
2020-04-29	N. Engelhardt	Merge pull request #85 from nakengelhardt/new_btorsim	blob \| commitdiff \| raw \| diff to current
2020-04-08	N. Engelhardt	merge master	blob \| commitdiff \| raw \| diff to current
2020-04-08	N. Engelhardt	use info file for btorsim	blob \| commitdiff \| raw \| diff to current
2020-04-02	Claire Wolf	Merge pull request #74 from mattvenn/master	blob \| commitdiff \| raw \| diff to current
2020-04-02	N. Engelhardt	and another	blob \| commitdiff \| raw \| diff to current
2020-04-02	Claire Wolf	Merge pull request #73 from nakengelhardt/str_format	blob \| commitdiff \| raw \| diff to current
2020-03-30	N. Engelhardt	fix callback functions	blob \| commitdiff \| raw \| diff to current
2020-03-30	N. Engelhardt	add btor cover mode; use btorsim for vcd generation	blob \| commitdiff \| raw \| diff to current
2020-03-25	N. Engelhardt	Use .format() instead of %	blob \| commitdiff \| raw \| diff to current
2018-12-10	Clifford Wolf	Further improve BTOR cex handling	blob \| commitdiff \| raw \| diff to current
2018-12-10	Clifford Wolf	Improve BTOR cex handling	blob \| commitdiff \| raw \| diff to current
2018-12-08	Clifford Wolf	Fixes and improvements in BTOR engine	blob \| commitdiff \| raw \| diff to current
2018-12-08	Clifford Wolf	Merge pull request #22 from YosysHQ/btor	blob \| commitdiff \| raw \| diff to current
2018-12-08	Clifford Wolf	Working BTOR BMC engine	blob \| commitdiff \| raw \| diff to current
2018-12-08	Clifford Wolf	Add btor engine	blob \| commitdiff \| raw \| diff to current

RSS Atom