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

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-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

RSS Atom