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

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
2021-05-21	Claire Xenia...	Update docs conf.py	commit \| commitdiff \| tree
2021-05-21	Claire Xenia...	New docs conf.py	commit \| commitdiff \| tree
2021-04-16	N. Engelhardt	Make readme of abstraction example more tutorial-like	commit \| commitdiff \| tree
2021-03-22	Miodrag Milanović	Merge pull request #121 from YosysHQ/windows_fix	commit \| commitdiff \| tree
2021-03-22	Miodrag Milanovic	Windows specific fixes	commit \| commitdiff \| tree
2021-03-04	Claire Xen	Update conf.py	commit \| commitdiff \| tree
2021-02-24	Claire Xen	Delete symbiotic_logo.png	commit \| commitdiff \| tree
2021-02-24	Claire Xen	Update conf.py	commit \| commitdiff \| tree
2021-01-26	Miodrag Milanovic	Fix syntax errors	commit \| commitdiff \| tree
2020-10-23	Miodrag Milanovic	Extract installation procedure to separate file	commit \| commitdiff \| tree
2020-10-15	Matt Venn	copyright	commit \| commitdiff \| tree
2020-10-15	Matt Venn	logo and links	commit \| commitdiff \| tree
2020-10-12	N. Engelhardt	Merge pull request #116 from nakengelhardt/sed_mac	commit \| commitdiff \| tree
2020-10-09	N. Engelhardt	sed -i option is not posix, and argument syntax is...	commit \| commitdiff \| tree
2020-09-11	Miodrag Milanović	Merge pull request #115 from nakengelhardt/rename_test	commit \| commitdiff \| tree
2020-09-11	N. Engelhardt	rename make test to make ci	commit \| commitdiff \| tree
2020-08-22	whitequark	Merge pull request #101 from YosysHQ/program-prefix	commit \| commitdiff \| tree
2020-08-22	whitequark	Add a PROGRAM_PREFIX= Makefile option for packages...	commit \| commitdiff \| tree
2020-07-31	Marcelina Kościelnicka	Run dffunmap before writing the design with aiger/btor...	commit \| commitdiff \| tree
2020-07-24	N. Engelhardt	fix test rule	commit \| commitdiff \| tree
2020-07-24	Claire Wolf	Remove redundant copy of picorv32	commit \| commitdiff \| tree
2020-07-24	Claire Wolf	Improvements in "make test"	commit \| commitdiff \| tree
2020-07-24	clairexen	Merge pull request #104 from nakengelhardt/more_tests	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-21	Claire Wolf	Include verilog source files for demo1.sby	commit \| commitdiff \| tree
2020-07-20	clairexen	Merge pull request #102 from YosysHQ/claire/maketest	commit \| commitdiff \| tree
2020-07-20	Claire Wolf	Add "Unexpected response" handling to smtbmc engine	commit \| commitdiff \| tree
2020-07-20	Claire Wolf	Add "make test"	commit \| commitdiff \| tree
2020-07-09	clairexen	Merge pull request #99 from whitequark/patch-1	commit \| commitdiff \| tree
2020-07-09	clairexen	Merge pull request #100 from edbordin/master	commit \| commitdiff \| tree
2020-07-08	Ed Bordin	use latest win python launcher from yosys	commit \| commitdiff \| tree
2020-07-05	whitequark	Inject executable dependencies from the environment	commit \| commitdiff \| tree
2020-07-03	clairexen	Merge pull request #98 from YosysHQ/cosa2_to_pono	commit \| commitdiff \| tree
2020-07-03	Miodrag Milanovic	cosa2 -> pono rename	commit \| commitdiff \| tree
2020-07-01	clairexen	Merge pull request #97 from nakengelhardt/seed_arg	commit \| commitdiff \| tree
2020-07-01	clairexen	Merge pull request #94 from nakengelhardt/fix_93	commit \| commitdiff \| tree
2020-07-01	N. Engelhardt	add --seed option to smtbmc and btor engines	commit \| commitdiff \| tree
2020-07-01	clairexen	Merge pull request #96 from YosysHQ/claire/btorscript	commit \| commitdiff \| tree
2020-06-30	N. Engelhardt	Merge pull request #95 from adumont/patch-1	commit \| commitdiff \| tree
2020-06-28	Alexandre Dumont...	Tipo missing * in Global Clock example	commit \| commitdiff \| tree
2020-06-23	Claire Wolf	Be more conservative in btor ys script	commit \| commitdiff \| tree
2020-06-16	N. Engelhardt	ignore race condition in killing already-terminated...	commit \| commitdiff \| tree
2020-05-18	clairexen	Merge pull request #88 from YosysHQ/claire/cosa2	commit \| commitdiff \| tree
2020-05-18	Claire Wolf	Add support for cosa2 BTOR solver	commit \| commitdiff \| tree
2020-05-18	N. Engelhardt	btor engine: handle models with 0 properties	commit \| commitdiff \| tree
2020-05-13	N. Engelhardt	Merge pull request #87 from nakengelhardt/cover_trace_s...	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-05-08	Claire Wolf	Add silent mode to SbyTask	commit \| commitdiff \| tree
2020-04-29	N. Engelhardt	fix return code check in btor engine	commit \| commitdiff \| tree
2020-04-29	N. Engelhardt	Merge pull request #85 from nakengelhardt/new_btorsim	commit \| commitdiff \| tree
2020-04-22	Claire Wolf	Update wolf_goat_cabbage.sv	commit \| commitdiff \| tree
2020-04-22	Claire Wolf	Merge pull request #86 from mattvenn/master	commit \| commitdiff \| tree
2020-04-22	matt venn	consistent naming and put person moving line at the top	commit \| commitdiff \| tree
2020-04-22	matt venn	Merge branch 'master' of https://github.com/YosysHQ...	commit \| commitdiff \| tree
2020-04-22	matt venn	change order of statements and make gender neutral	commit \| commitdiff \| tree
2020-04-14	Claire Wolf	Add task pattern matching, closes #76	commit \| commitdiff \| tree
2020-04-14	Claire Wolf	Add a status message when one or more tasks returned...	commit \| commitdiff \| tree
2020-04-09	Claire Wolf	Add djb2hash example	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-03	Claire Wolf	Get rid of verific warning in abstraction example	commit \| commitdiff \| tree
2020-04-03	Claire Wolf	Fix typo	commit \| commitdiff \| tree
next

RSS Atom