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

2022-06-01	N. Engelhardt	update install instructions for btorsim	commit \| commitdiff \| tree
2022-05-24	N. Engelhardt	docs: add instructions for newer btorsim version required	commit \| commitdiff \| tree
2022-04-06	N. Engelhardt	junit: use write_jny instead of write_json	commit \| commitdiff \| tree
2022-03-29	N. Engelhardt	note unexpected return statuses in junit	commit \| commitdiff \| tree
2022-03-25	N. Engelhardt	document btor engine, add overview of mode/engine/solver...	commit \| commitdiff \| tree
2022-03-22	N. Engelhardt	junit: handle multiple asserts failing with the same...	commit \| commitdiff \| tree
2022-03-22	N. Engelhardt	translate backslashes in cell names the same way as...	commit \| commitdiff \| tree
2022-03-15	N. Engelhardt	ci housekeeping	commit \| commitdiff \| tree
2022-03-07	N. Engelhardt	fix ci	commit \| commitdiff \| tree
2022-02-24	N. Engelhardt	add testcase for overall run result	commit \| commitdiff \| tree
2022-02-22	N. Engelhardt	validate junit files (with extra attributes added to...	commit \| commitdiff \| tree
2022-02-07	N. Engelhardt	fix induction	commit \| commitdiff \| tree
2022-02-07	N. Engelhardt	fix junit error/failure/skipped count	commit \| commitdiff \| tree
2022-02-07	N. Engelhardt	handle unreached cover properties	commit \| commitdiff \| tree
2022-02-07	N. Engelhardt	refactor junit print into own function	commit \| commitdiff \| tree
2022-02-06	N. Engelhardt	handle status of cover properties	commit \| commitdiff \| tree
2022-01-31	N. Engelhardt	refactor model to have single base	commit \| commitdiff \| tree
2022-01-27	N. Engelhardt	parse solver location output for assert failures (cover...	commit \| commitdiff \| tree
2022-01-21	N. Engelhardt	add fallback if solver can't tell which property fails	commit \| commitdiff \| tree
2022-01-19	N. Engelhardt	create json export and read in properties	commit \| commitdiff \| tree
2022-01-13	N. Engelhardt	WIP change junit print to conform to schema; needs... Signed-off-by: N. Engelhardt <nak@yosyshq.com>	commit \| commitdiff \| tree
2022-01-13	N. Engelhardt	add JUnit schema and validator Signed-off-by: N. Engelhardt <nak@yosyshq.com>	commit \| commitdiff \| tree
2022-01-12	N. Engelhardt	create only a single bad when using pono solver; workaround...	commit \| commitdiff \| tree
2022-01-12	N. Engelhardt	add testcase exposing #137	commit \| commitdiff \| tree
2022-01-12	N. Engelhardt	use --witness option when calling pono	commit \| commitdiff \| tree
2022-01-11	N. Engelhardt	Rename SbyJob to SbyTask and SbyTask to SbyProc to...	commit \| commitdiff \| tree
2022-01-04	N. Engelhardt	mention tabby+oss cad suite in readme	commit \| commitdiff \| tree
2021-04-16	N. Engelhardt	Make readme of abstraction example more tutorial-like	commit \| commitdiff \| tree
2020-10-09	N. Engelhardt	sed -i option is not posix, and argument syntax is...	commit \| commitdiff \| tree
2020-09-11	N. Engelhardt	rename make test to make ci	commit \| commitdiff \| tree
2020-07-24	N. Engelhardt	fix test rule	commit \| commitdiff \| tree
2020-07-24	N. Engelhardt	add tests directory with additional tests	commit \| commitdiff \| tree
2020-07-21	N. Engelhardt	fix error message formatting	commit \| commitdiff \| tree
2020-07-01	N. Engelhardt	add --seed option to smtbmc and btor engines	commit \| commitdiff \| tree
2020-06-16	N. Engelhardt	ignore race condition in killing already-terminated...	commit \| commitdiff \| tree
2020-05-18	N. Engelhardt	btor engine: handle models with 0 properties	commit \| commitdiff \| tree
2020-05-13	N. Engelhardt	fix trace summary printing	commit \| commitdiff \| tree
2020-05-13	N. Engelhardt	call job.terminate at end of btor engine run to kill...	commit \| commitdiff \| tree
2020-05-12	N. Engelhardt	start btorsim as soon as a witness is ready, print...	commit \| commitdiff \| tree
2020-04-29	N. Engelhardt	fix return code check in btor engine	commit \| commitdiff \| tree
2020-04-08	N. Engelhardt	merge master	commit \| commitdiff \| tree
2020-04-08	N. Engelhardt	use info file for btorsim	commit \| commitdiff \| tree
2020-04-02	N. Engelhardt	and another	commit \| commitdiff \| tree
2020-04-02	N. Engelhardt	fix formatting error	commit \| commitdiff \| tree
2020-03-30	N. Engelhardt	fix callback functions	commit \| commitdiff \| tree
2020-03-30	N. Engelhardt	add btor cover mode; use btorsim for vcd generation Signed-off-by: N. Engelhardt <nak@symbioticeda.com>	commit \| commitdiff \| tree
2020-03-30	N. Engelhardt	remove stray braces	commit \| commitdiff \| tree
2020-03-25	N. Engelhardt	Use .format() instead of % Signed-off-by: N. Engelhardt <nak@symbioticeda.com>	commit \| commitdiff \| tree

RSS Atom