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

2022-05-09	Jannis Harder	verific: Improve logic generated for SVA value change...	commit \| commitdiff \| tree
2022-04-25	Jannis Harder	Merge pull request #3287 from jix/smt2-conditional...	commit \| commitdiff \| tree
2022-04-25	Jannis Harder	Merge pull request #3257 from jix/tribuf-formal	commit \| commitdiff \| tree
2022-04-20	Jannis Harder	smt2: Make write port array stores conditional on nonzero...	commit \| commitdiff \| tree
2022-04-12	Jannis Harder	tribuf: `-formal` option: convert all to logic and...	commit \| commitdiff \| tree
2022-04-02	Jannis Harder	Merge pull request #3264 from jix/invalid_ff_dcinit_merge	commit \| commitdiff \| tree
2022-04-01	Jannis Harder	opt_merge: Add `-keepdc` option required for formal...	commit \| commitdiff \| tree
2022-03-29	Jannis Harder	smtbmc: fix bmc with no assertions	commit \| commitdiff \| tree
2022-03-28	Jannis Harder	Merge pull request #3253 from jix/smtbmc-nodeepcopy	commit \| commitdiff \| tree
2022-03-28	Jannis Harder	Merge pull request #3247 from jix/smtbmc-keepgoing	commit \| commitdiff \| tree
2022-03-28	Jannis Harder	smtbmc: Avoid unnecessary deep copies during unrolling	commit \| commitdiff \| tree
2022-03-24	Jannis Harder	yosys-smtbmc: Option to keep going after failed assertions...	commit \| commitdiff \| tree
2022-03-24	Jannis Harder	yosys-smtbmc: Fix typo in help text, remove trailing...	commit \| commitdiff \| tree