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

2022-07-04	Jannis Harder	tests: Test for invalid x-value FF init optimizations	commit \| commitdiff \| tree
2022-06-30	Jannis Harder	docs: add missing autotune.rst	commit \| commitdiff \| tree
2022-06-27	Jannis Harder	autotune: Initial documentation	commit \| commitdiff \| tree
2022-06-27	Jannis Harder	Test autotune	commit \| commitdiff \| tree
2022-06-27	Jannis Harder	Automatic engine selection	commit \| commitdiff \| tree
2022-06-24	Jannis Harder	sby_design: Extract total memory size and forall usage	commit \| commitdiff \| tree
2022-06-23	Jannis Harder	smtbmc: Fix induction trace filename with --keep-going...	commit \| commitdiff \| tree
2022-06-20	Jannis Harder	Reflect recent engine updates in the reference docs	commit \| commitdiff \| tree
2022-06-15	Jannis Harder	Decouple taskloop from task	commit \| commitdiff \| tree
2022-06-15	Jannis Harder	Use monotonic clock for timeouts	commit \| commitdiff \| tree
2022-06-15	Jannis Harder	Don't use python asserts to handle unexpected solver...	commit \| commitdiff \| tree
2022-06-15	Jannis Harder	SbyProc: New error_callback instead of exit_callback...	commit \| commitdiff \| tree
2022-06-15	Jannis Harder	btor pono: improve option handling	commit \| commitdiff \| tree
2022-06-14	Jannis Harder	aiger: check supported modes and aigbmc fixes	commit \| commitdiff \| tree
2022-06-13	Jannis Harder	Use the test Makefile for all examples	commit \| commitdiff \| tree
2022-06-13	Jannis Harder	Regression test for smtbmc --unroll --noincr	commit \| commitdiff \| tree
2022-06-08	Jannis Harder	Test that cvc4 and cvc5 can be used	commit \| commitdiff \| tree
2022-06-08	Jannis Harder	tests: Remove unused tool list in test Makefile	commit \| commitdiff \| tree
2022-06-07	Jannis Harder	tests: Move required tool checks from rule generation...	commit \| commitdiff \| tree
2022-06-03	Jannis Harder	Don't fail tests when xmlschema is missing	commit \| commitdiff \| tree
2022-06-03	Jannis Harder	Test designs using $allconst	commit \| commitdiff \| tree
2022-06-02	Jannis Harder	tests: Fail on CI when any required tool is missing	commit \| commitdiff \| tree
2022-06-02	Jannis Harder	tests: Check for btorsim --vcd	commit \| commitdiff \| tree
2022-05-30	Jannis Harder	Suggest -f when the workdir already exists	commit \| commitdiff \| tree
2022-05-30	Jannis Harder	Check for the tabby/oss cad suite before running make...	commit \| commitdiff \| tree
2022-05-30	Jannis Harder	Better checking of available solvers	commit \| commitdiff \| tree
2022-05-30	Jannis Harder	Makefile: Rename run_tests to test, update help, use...	commit \| commitdiff \| tree
2022-05-11	Jannis Harder	examples: Fix use of SVA value change expressions	commit \| commitdiff \| tree
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	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

RSS Atom