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

2022-06-13	Jannis Harder	Regression test for smtbmc --unroll --noincr	commit \| commitdiff \| tree
2022-06-10	Jannis Harder	Merge pull request #173 from jix/test-cvc	commit \| commitdiff \| tree
2022-06-10	Jannis Harder	Merge pull request #164 from jix/suggest_f_flag	commit \| commitdiff \| tree
2022-06-08	Jannis Harder	Test that cvc4 and cvc5 can be used	commit \| commitdiff \| tree
2022-06-08	Jannis Harder	Merge pull request #171 from jix/make-remove-unused...	commit \| commitdiff \| tree
2022-06-08	Jannis Harder	tests: Remove unused tool list in test Makefile	commit \| commitdiff \| tree
2022-06-08	Jannis Harder	Merge pull request #169 from jix/yices-forall	commit \| commitdiff \| tree
2022-06-07	Jannis Harder	Merge pull request #163 from jix/make_improvements	commit \| commitdiff \| tree
2022-06-07	Jannis Harder	tests: Move required tool checks from rule generation...	commit \| commitdiff \| tree
2022-06-03	Jannis Harder	Don't fail tests when xmlschema is missing	commit \| commitdiff \| tree
2022-06-03	Jannis Harder	Test designs using $allconst	commit \| commitdiff \| tree
2022-06-02	Jannis Harder	tests: Fail on CI when any required tool is missing	commit \| commitdiff \| tree
2022-06-02	Jannis Harder	tests: Check for btorsim --vcd	commit \| commitdiff \| tree
2022-06-01	N. Engelhardt	update install instructions for btorsim	commit \| commitdiff \| tree
2022-05-30	Jannis Harder	Suggest -f when the workdir already exists	commit \| commitdiff \| tree
2022-05-30	Jannis Harder	Check for the tabby/oss cad suite before running make...	commit \| commitdiff \| tree
2022-05-30	Jannis Harder	Better checking of available solvers	commit \| commitdiff \| tree
2022-05-30	Jannis Harder	Makefile: Rename run_tests to test, update help, use...	commit \| commitdiff \| tree
2022-05-26	Jannis Harder	Merge pull request #161 from programmerjake/add-div...	commit \| commitdiff \| tree
2022-05-25	Jacob Lifshay	add depth 1	commit \| commitdiff \| tree
2022-05-25	Jacob Lifshay	add test for yosys's $divfloor and $modfloor cells	commit \| commitdiff \| tree
2022-05-24	N. Engelhardt	docs: add instructions for newer btorsim version required	commit \| commitdiff \| tree
2022-05-11	Jannis Harder	Merge pull request #159 from jix/fix-dpmem-example	commit \| commitdiff \| tree
2022-05-11	Jannis Harder	examples: Fix use of SVA value change expressions	commit \| commitdiff \| tree
2022-04-25	Jannis Harder	Merge pull request #156 from jix/refactor-tests	commit \| commitdiff \| tree
2022-04-11	Jannis Harder	Refactor tests	commit \| commitdiff \| tree
2022-04-11	Jannis Harder	Add --dumptaskinfo option to output some .sby metadata...	commit \| commitdiff \| tree
2022-04-11	Jannis Harder	Add envvar to enable automatic .gitignore creation...	commit \| commitdiff \| tree
2022-04-08	Miodrag Milanović	Merge pull request #140 from nakengelhardt/junit_jny	commit \| commitdiff \| tree
2022-04-06	N. Engelhardt	junit: use write_jny instead of write_json	commit \| commitdiff \| tree
2022-04-03	Miodrag Milanović	Merge pull request #155 from jix/invalid_ff_dcinit_merge	commit \| commitdiff \| tree
2022-04-01	Jannis Harder	Regression test: do not merge FFs with unconstrained...	commit \| commitdiff \| tree
2022-03-31	Jannis Harder	Merge pull request #154 from jix/sby_design-fixes	commit \| commitdiff \| tree
2022-03-31	Jannis Harder	Fix design_hierarchy handling of $paramod cells	commit \| commitdiff \| tree
2022-03-31	Jannis Harder	Fix variable name in find_property_by_cellname's error...	commit \| commitdiff \| tree
2022-03-30	Jannis Harder	Merge pull request #151 from jix/prefer-first-trace	commit \| commitdiff \| tree
2022-03-30	Jannis Harder	Prefer the first tracefile for each failing assertion	commit \| commitdiff \| tree
2022-03-30	N. Engelhardt	Merge pull request #150 from nakengelhardt/fix_junit_ty...	commit \| commitdiff \| tree
2022-03-30	Jannis Harder	Merge pull request #147 from jix/smtbmc-keepgoing	commit \| commitdiff \| tree
2022-03-30	Jannis Harder	Tests for `--keep-going`	commit \| commitdiff \| tree
2022-03-29	N. Engelhardt	note unexpected return statuses in junit	commit \| commitdiff \| tree
2022-03-28	N. Engelhardt	Merge pull request #148 from nakengelhardt/docs_updates	commit \| commitdiff \| tree
2022-03-28	N. Engelhardt	Merge pull request #145 from nakengelhardt/fix_junit_tr...	commit \| commitdiff \| tree
2022-03-28	N. Engelhardt	Merge pull request #142 from nakengelhardt/fix_backslas...	commit \| commitdiff \| tree
2022-03-26	Miodrag Milanović	Merge pull request #146 from jix/aim_vs_smt2_nonzero_st...	commit \| commitdiff \| tree
2022-03-25	N. Engelhardt	document btor engine, add overview of mode/engine/solve...	commit \| commitdiff \| tree
2022-03-25	Jannis Harder	Test signals with nonzero start offsets in aim files...	commit \| commitdiff \| tree
2022-03-25	Jannis Harder	Use `-no-startoffset`, avoiding index mismatch between...	commit \| commitdiff \| tree
2022-03-24	Jannis Harder	Initial support for the new smtbmc --keep-going option	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	Claire Xen	Merge pull request #120 from ythoma/patch-1	commit \| commitdiff \| tree
2022-03-15	N. Engelhardt	Merge pull request #139 from nakengelhardt/housekeeping	commit \| commitdiff \| tree
2022-03-15	N. Engelhardt	ci housekeeping	commit \| commitdiff \| tree
2022-03-07	N. Engelhardt	Merge pull request #133 from nakengelhardt/sby_junit	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...	commit \| commitdiff \| tree
2022-01-13	N. Engelhardt	add JUnit schema and validator	commit \| commitdiff \| tree
2022-01-12	Miodrag Milanović	Merge pull request #138 from YosysHQ/mmicko/ci	commit \| commitdiff \| tree
2022-01-12	Miodrag Milanovic	Added CI	commit \| commitdiff \| tree
2022-01-12	Miodrag Milanović	Merge pull request #136 from nakengelhardt/fix_pono	commit \| commitdiff \| tree
2022-01-12	N. Engelhardt	create only a single bad when using pono solver; workar...	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-12	N. Engelhardt	Merge pull request #135 from nakengelhardt/rename_task	commit \| commitdiff \| tree
2022-01-11	N. Engelhardt	Merge pull request #134 from nakengelhardt/advertise_su...	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-12-18	Claire Xenia...	Improvements and cleanups in tasks handling	commit \| commitdiff \| tree
2021-12-17	Claire Xenia...	Fixed [tasks] section parsing	commit \| commitdiff \| tree
2021-12-17	Claire Xen	Update README.md	commit \| commitdiff \| tree
2021-12-17	Claire Xen	Update README.md	commit \| commitdiff \| tree
2021-12-17	Claire Xenia...	Add inductive invariants example	commit \| commitdiff \| tree
2021-12-17	Claire Xenia...	Add ":"-syntax for [tasks] section	commit \| commitdiff \| tree
2021-11-30	Claire Xenia...	Update docs theme	commit \| commitdiff \| tree
2021-11-29	Claire Xenia...	Update docs theme	commit \| commitdiff \| tree
2021-11-26	Claire Xenia...	update docs theme	commit \| commitdiff \| tree
2021-10-31	Claire Xenia...	Add support for directories in [files] section	commit \| commitdiff \| tree
2021-10-31	Claire Xenia...	Fixed names and links	commit \| commitdiff \| tree
2021-09-13	Miodrag Milanović	Merge pull request #127 from christian-krieg/feat/updat...	commit \| commitdiff \| tree
2021-08-25	Miodrag Milanovic	Fix regression	commit \| commitdiff \| tree
2021-08-25	Miodrag Milanovic	Initialize variable	commit \| commitdiff \| tree
2021-08-23	Claire Xen	Merge pull request #126 from piegamesde/master	commit \| commitdiff \| tree
2021-07-20	Christian Krieg	Updated install instructions for super_prove	commit \| commitdiff \| tree
2021-07-12	piegames	fixup! Allow to set a working directory even when havin...	commit \| commitdiff \| tree
2021-06-26	piegames	Better error message when tasks failed	commit \| commitdiff \| tree
2021-06-26	piegames	Turn .format() strings into f-strings	commit \| commitdiff \| tree
2021-06-21	piegames	Allow to set a working directory even when having multi...	commit \| commitdiff \| tree
2021-06-21	piegames	Print paths as absolute	commit \| commitdiff \| tree
next

RSS Atom