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

[SymbiYosys.git] / sbysrc / sby_design.py

2022-07-03	Jannis Harder	Merge pull request #170 from programmerjake/add-simchec...	blob \| commitdiff \| raw
2022-06-29	Jannis Harder	Merge pull request #158 from jix/autotune	blob \| commitdiff \| raw
2022-06-24	Jannis Harder	sby_design: Extract total memory size and forall usage	blob \| commitdiff \| raw
2022-04-08	Miodrag Milanović	Merge pull request #140 from nakengelhardt/junit_jny	blob \| commitdiff \| raw \| diff to current
2022-04-06	N. Engelhardt	junit: use write_jny instead of write_json	blob \| commitdiff \| raw \| diff to current
2022-03-31	Jannis Harder	Merge pull request #154 from jix/sby_design-fixes	blob \| commitdiff \| raw \| diff to current
2022-03-31	Jannis Harder	Fix design_hierarchy handling of $paramod cells	blob \| commitdiff \| raw \| diff to current
2022-03-31	Jannis Harder	Fix variable name in find_property_by_cellname's error...	blob \| commitdiff \| raw \| diff to current
2022-03-30	Jannis Harder	Merge pull request #147 from jix/smtbmc-keepgoing	blob \| commitdiff \| raw \| diff to current
2022-03-28	N. Engelhardt	Merge pull request #148 from nakengelhardt/docs_updates	blob \| commitdiff \| raw \| diff to current
2022-03-28	N. Engelhardt	Merge pull request #145 from nakengelhardt/fix_junit_tr...	blob \| commitdiff \| raw \| diff to current
2022-03-28	N. Engelhardt	Merge pull request #142 from nakengelhardt/fix_backslas...	blob \| commitdiff \| raw \| diff to current
2022-03-22	N. Engelhardt	translate backslashes in cell names the same way as...	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	fix induction	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-19	N. Engelhardt	create json export and read in properties	blob \| commitdiff \| raw \| diff to current

RSS Atom