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

2022-06-23	Jannis Harder	Merge pull request #184 from jix/smtbmc-keepgoing-induction...	commit \| commitdiff \| tree
2022-06-23	Jannis Harder	smtbmc: Fix induction trace filename with --keep-going...	commit \| commitdiff \| tree
2022-06-15	Jannis Harder	Merge pull request #182 from jix/taskloop	commit \| commitdiff \| tree
2022-06-15	Jannis Harder	Decouple taskloop from task	commit \| commitdiff \| tree
2022-06-15	Jannis Harder	Merge pull request #181 from jix/monotonic	commit \| commitdiff \| tree
2022-06-15	Jannis Harder	Use monotonic clock for timeouts	commit \| commitdiff \| tree
2022-06-15	Jannis Harder	Merge pull request #180 from jix/sby-fewer-asserts	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	Merge pull request #179 from jix/btor-option-handling	commit \| commitdiff \| tree
2022-06-15	Jannis Harder	btor pono: improve option handling	commit \| commitdiff \| tree
2022-06-14	Jannis Harder	Merge pull request #178 from jix/aiger-aigbmc-fixes	commit \| commitdiff \| tree
2022-06-14	Jannis Harder	aiger: check supported modes and aigbmc fixes	commit \| commitdiff \| tree
2022-06-14	Jannis Harder	Merge pull request #177 from mattvenn/tristate-example	commit \| commitdiff \| tree
2022-06-13	Jannis Harder	Merge pull request #172 from jix/smtbmc-unroll-noincr...	commit \| commitdiff \| tree
2022-06-13	Jannis Harder	Merge pull request #175 from jix/more-test-improvements	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-10	Jannis Harder	Merge pull request #173 from jix/test-cvc	commit \| commitdiff \| tree
2022-06-10	Jannis Harder	Merge pull request #164 from jix/suggest_f_flag	commit \| commitdiff \| tree
2022-06-08	Jannis Harder	Test that cvc4 and cvc5 can be used	commit \| commitdiff \| tree
2022-06-08	Jannis Harder	Merge pull request #171 from jix/make-remove-unused...	commit \| commitdiff \| tree
2022-06-08	Jannis Harder	tests: Remove unused tool list in test Makefile	commit \| commitdiff \| tree
2022-06-08	Jannis Harder	Merge pull request #169 from jix/yices-forall	commit \| commitdiff \| tree
2022-06-07	Jannis Harder	Merge pull request #163 from jix/make_improvements	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-26	Jannis Harder	Merge pull request #161 from programmerjake/add-div...	commit \| commitdiff \| tree
2022-05-11	Jannis Harder	Merge pull request #159 from jix/fix-dpmem-example	commit \| commitdiff \| tree
2022-05-11	Jannis Harder	examples: Fix use of SVA value change expressions	commit \| commitdiff \| tree
2022-04-25	Jannis Harder	Merge pull request #156 from jix/refactor-tests	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	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

RSS Atom