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

2022-04-01	Jannis Harder	Regression test: do not merge FFs with unconstrained...	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	Prefer the first tracefile for each failing assertion	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