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

[SymbiYosys.git] / sbysrc / sby_mode_cover.py

2022-07-03	Jannis Harder	Merge pull request #170 from programmerjake/add-simchec...	commit \| commitdiff
2022-06-29	Jannis Harder	Merge pull request #158 from jix/autotune	commit \| commitdiff
2022-06-27	Jannis Harder	Automatic engine selection	commit \| commitdiff
2022-03-15	Claire Xen	Merge pull request #120 from ythoma/patch-1	commit \| commitdiff
2022-01-12	N. Engelhardt	Merge pull request #135 from nakengelhardt/rename_task	commit \| commitdiff
2022-01-11	N. Engelhardt	Rename SbyJob to SbyTask and SbyTask to SbyProc to...	commit \| commitdiff
2021-10-31	Claire Xenia Wolf	Fixed names and links	commit \| commitdiff
2021-09-13	Miodrag Milanović	Merge pull request #127 from christian-krieg/feat/updat...	commit \| commitdiff
2021-08-23	Claire Xen	Merge pull request #126 from piegamesde/master	commit \| commitdiff
2021-06-26	piegames	Turn .format() strings into f-strings	commit \| commitdiff
2020-04-29	N. Engelhardt	Merge pull request #85 from nakengelhardt/new_btorsim	commit \| commitdiff
2020-04-08	N. Engelhardt	merge master	commit \| commitdiff
2020-04-02	Claire Wolf	Merge pull request #74 from mattvenn/master	commit \| commitdiff
2020-04-02	Claire Wolf	Merge pull request #73 from nakengelhardt/str_format	commit \| commitdiff
2020-03-30	N. Engelhardt	add btor cover mode; use btorsim for vcd generation	commit \| commitdiff
2020-03-25	N. Engelhardt	Use .format() instead of %	commit \| commitdiff
2019-03-12	William D. Jones	Merge branch 'master' into no-resource	commit \| commitdiff
2019-03-12	Clifford Wolf	Merge pull request #32 from cr1901/win-shell	commit \| commitdiff
2019-03-09	Clifford Wolf	Add support for (re-)running in existing workdir	commit \| commitdiff
2018-03-27	Clifford Wolf	More improvements in sby error handling	commit \| commitdiff
2017-02-26	Clifford Wolf	Improve option handling	commit \| commitdiff
2017-02-26	Clifford Wolf	Add "append" option	commit \| commitdiff
2017-02-05	Clifford Wolf	Add "cover" mode	commit \| commitdiff

RSS Atom