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

2022-06-13	Jannis Harder	Use the test Makefile for all examples	blob \| commitdiff \| raw
2022-06-10	Jannis Harder	Merge pull request #173 from jix/test-cvc	blob \| commitdiff \| raw \| diff to current
2022-06-10	Jannis Harder	Merge pull request #164 from jix/suggest_f_flag	blob \| commitdiff \| raw \| diff to current
2022-05-30	Jannis Harder	Suggest -f when the workdir already exists	blob \| commitdiff \| raw \| diff to current
2022-04-25	Jannis Harder	Merge pull request #156 from jix/refactor-tests	blob \| commitdiff \| raw \| diff to current
2022-04-11	Jannis Harder	Add --dumptaskinfo option to output some .sby metadata...	blob \| commitdiff \| raw \| diff to current
2022-04-11	Jannis Harder	Add envvar to enable automatic .gitignore creation...	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-03-07	N. Engelhardt	Merge pull request #133 from nakengelhardt/sby_junit	blob \| commitdiff \| raw \| diff to current
2022-02-07	N. Engelhardt	handle unreached cover properties	blob \| commitdiff \| raw \| diff to current
2022-02-07	N. Engelhardt	refactor junit print into own function	blob \| commitdiff \| raw \| diff to current
2022-02-06	N. Engelhardt	handle status of cover properties	blob \| commitdiff \| raw \| diff to current
2022-01-27	N. Engelhardt	parse solver location output for assert failures (cover...	blob \| commitdiff \| raw \| diff to current
2022-01-21	N. Engelhardt	add fallback if solver can't tell which property fails	blob \| commitdiff \| raw \| diff to current
2022-01-19	N. Engelhardt	create json export and read in properties	blob \| commitdiff \| raw \| diff to current
2022-01-13	N. Engelhardt	WIP change junit print to conform to schema; needs...	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-12-18	Claire Xenia Wolf	Improvements and cleanups in tasks handling	blob \| commitdiff \| raw \| diff to current
2021-12-17	Claire Xenia Wolf	Fixed [tasks] section parsing	blob \| commitdiff \| raw \| diff to current
2021-12-17	Claire Xenia Wolf	Add ":"-syntax for [tasks] section	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	Initialize variable	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-07-12	piegames	fixup! Allow to set a working directory even when havin...	blob \| commitdiff \| raw \| diff to current
2021-06-26	piegames	Better error message when tasks failed	blob \| commitdiff \| raw \| diff to current
2021-06-26	piegames	Turn .format() strings into f-strings	blob \| commitdiff \| raw \| diff to current
2021-06-21	piegames	Allow to set a working directory even when having multi...	blob \| commitdiff \| raw \| diff to current
2021-06-21	piegames	Print paths as absolute	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-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-04-29	N. Engelhardt	Merge pull request #85 from nakengelhardt/new_btorsim	blob \| commitdiff \| raw \| diff to current
2020-04-22	matt venn	Merge branch 'master' of https://github.com/YosysHQ...	blob \| commitdiff \| raw \| diff to current
2020-04-14	Claire Wolf	Add task pattern matching, closes #76	blob \| commitdiff \| raw \| diff to current
2020-04-14	Claire Wolf	Add a status message when one or more tasks returned...	blob \| commitdiff \| raw \| diff to current
2020-04-08	N. Engelhardt	merge master	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	Claire Wolf	Merge pull request #73 from nakengelhardt/str_format	blob \| commitdiff \| raw \| diff to current
2020-03-30	N. Engelhardt	remove stray braces	blob \| commitdiff \| raw \| diff to current
2020-03-26	matt venn	use argument for name of .sby and .sv files	blob \| commitdiff \| raw \| diff to current
2020-03-25	matt venn	add --init-config option	blob \| commitdiff \| raw \| diff to current
2020-03-25	N. Engelhardt	Use .format() instead of %	blob \| commitdiff \| raw \| diff to current
2020-02-01	Claire Wolf	Merge pull request #70 from dh73/master	blob \| commitdiff \| raw \| diff to current
2020-01-30	Diego H	Fix typo in log message	blob \| commitdiff \| raw \| diff to current
2019-06-27	Clifford Wolf	Cleanup some command line option oddities	blob \| commitdiff \| raw \| diff to current
2019-06-27	Clifford Wolf	Merge branch 'feature_file_paths' of https://github...	blob \| commitdiff \| raw \| diff to current
2019-06-25	Hans Anderson	Fix default argument for tasknames	blob \| commitdiff \| raw \| diff to current
2019-06-22	Hans Anderson	Switch from getopt to argparse	blob \| commitdiff \| raw \| diff to current
2019-05-08	Jeppe Johansen	Add dumpfiles command line argument.	blob \| commitdiff \| raw \| diff to current
2019-03-19	Clifford Wolf	Merge pull request #33 from cr1901/no-resource	blob \| commitdiff \| raw \| diff to current
2019-03-18	William D. Jones	Annotate cmdline comment, summary string, and output...	blob \| commitdiff \| raw \| diff to current
2019-03-15	Clifford Wolf	Rename ".stamp" file to "status"	blob \| commitdiff \| raw \| diff to current
2019-03-12	William D. Jones	Merge branch 'master' into no-resource	blob \| commitdiff \| raw \| diff to current
2019-03-12	Clifford Wolf	Merge pull request #32 from cr1901/win-shell	blob \| commitdiff \| raw \| diff to current
2019-03-09	Clifford Wolf	Improve rerun-in-existing-dir functionality	blob \| commitdiff \| raw \| diff to current
2019-03-09	Clifford Wolf	Add support for (re-)running in existing workdir	blob \| commitdiff \| raw \| diff to current
2019-03-08	Clifford Wolf	Improve sby file pycode/tasks handling	blob \| commitdiff \| raw \| diff to current
2019-03-03	Clifford Wolf	Add --dumpcfg and --dumptasks	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	Add btor engine	blob \| commitdiff \| raw \| diff to current
2018-09-12	Clifford Wolf	Improve bogus task tags detection	blob \| commitdiff \| raw \| diff to current
2018-09-12	Clifford Wolf	Detect bogus task tags	blob \| commitdiff \| raw \| diff to current
2018-04-19	Clifford Wolf	Add comment support in [tasks] section	blob \| commitdiff \| raw \| diff to current
2018-03-28	Clifford Wolf	Add JUnit XML output file and .stamp files	blob \| commitdiff \| raw \| diff to current
2018-03-27	Clifford Wolf	Drastically improve sby error handling	blob \| commitdiff \| raw \| diff to current
2018-03-11	Clifford Wolf	Add localtime also to early log messages	blob \| commitdiff \| raw \| diff to current
2018-03-06	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/SymbiYosys	blob \| commitdiff \| raw \| diff to current
2018-03-06	Clifford Wolf	Improvements in [tasks] handling	blob \| commitdiff \| raw \| diff to current
2018-03-05	Clifford Wolf	Add tasks in .sby files	blob \| commitdiff \| raw \| diff to current
2017-11-24	Clifford Wolf	Add "sby -t", improve handling of stdin	blob \| commitdiff \| raw \| diff to current
2017-11-24	Clifford Wolf	Merge pull request #2 from awygle/scriptability	blob \| commitdiff \| raw \| diff to current
2017-11-24	Andrew Wygle	Minimum-modification change for stdin support	blob \| commitdiff \| raw \| diff to current
2017-02-26	Clifford Wolf	Improve super_prove integration	blob \| commitdiff \| raw \| diff to current
2017-02-19	Clifford Wolf	Add aiger engine	blob \| commitdiff \| raw \| diff to current
2017-02-09	Clifford Wolf	Add options to set tool paths	blob \| commitdiff \| raw \| diff to current
2017-02-06	Clifford Wolf	Add "expect" config option	blob \| commitdiff \| raw \| diff to current
2017-01-22	Clifford Wolf	Initial import	blob \| commitdiff \| raw \| diff to current

RSS Atom