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

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-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	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-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