projects / SymbiYosys.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Automatic engine selection
2022-06-27 Jannis HarderAutomatic engine selection
 commit | commitdiff | tree
2022-06-24 Jannis Hardersby_design: Extract total memory size and forall usage
 commit | commitdiff | tree
2022-06-24 Jannis HarderMerge pull request #185 from georgerennie/prefix_empty_taskname
 commit | commitdiff | tree
2022-06-23 Jannis HarderMerge pull request #183 from jix/engine-option-docs
 commit | commitdiff | tree
2022-06-23 Jannis HarderMerge pull request #184 from jix/smtbmc-keepgoing-induction...
commit | commitdiff | tree
2022-06-23 Jannis Hardersmtbmc: Fix induction trace filename with --keep-going...
commit | commitdiff | tree
2022-06-20 Jannis HarderReflect recent engine updates in the reference docs
 commit | commitdiff | tree
2022-06-15 Jannis HarderMerge pull request #182 from jix/taskloop
 commit | commitdiff | tree
2022-06-15 Jannis HarderDecouple taskloop from task
 commit | commitdiff | tree
2022-06-15 Jannis HarderMerge pull request #181 from jix/monotonic
 commit | commitdiff | tree
2022-06-15 Jannis HarderUse monotonic clock for timeouts
 commit | commitdiff | tree
2022-06-15 Jannis HarderMerge pull request #180 from jix/sby-fewer-asserts
 commit | commitdiff | tree
2022-06-15 Jannis HarderDon't use python asserts to handle unexpected solver...
commit | commitdiff | tree
2022-06-15 Jannis HarderSbyProc: New error_callback instead of exit_callback...
commit | commitdiff | tree
2022-06-15 Jannis HarderMerge pull request #179 from jix/btor-option-handling
 commit | commitdiff | tree
2022-06-15 Jannis Harderbtor pono: improve option handling
 commit | commitdiff | tree
2022-06-14 Jannis HarderMerge pull request #178 from jix/aiger-aigbmc-fixes
 commit | commitdiff | tree
2022-06-14 Jannis Harderaiger: check supported modes and aigbmc fixes
 commit | commitdiff | tree
2022-06-14 Jannis HarderMerge pull request #177 from mattvenn/tristate-example
 commit | commitdiff | tree
2022-06-13 Jannis HarderMerge pull request #172 from jix/smtbmc-unroll-noincr...
commit | commitdiff | tree
2022-06-13 Jannis HarderMerge pull request #175 from jix/more-test-improvements
 commit | commitdiff | tree
2022-06-13 Jannis HarderUse the test Makefile for all examples
 commit | commitdiff | tree
2022-06-13 Jannis HarderRegression test for smtbmc --unroll --noincr
 commit | commitdiff | tree
2022-06-10 Jannis HarderMerge pull request #173 from jix/test-cvc
 commit | commitdiff | tree
2022-06-10 Jannis HarderMerge pull request #164 from jix/suggest_f_flag
 commit | commitdiff | tree
2022-06-08 Jannis HarderTest that cvc4 and cvc5 can be used
 commit | commitdiff | tree
2022-06-08 Jannis HarderMerge pull request #171 from jix/make-remove-unused...
commit | commitdiff | tree
2022-06-08 Jannis Hardertests: Remove unused tool list in test Makefile
 commit | commitdiff | tree
2022-06-08 Jannis HarderMerge pull request #169 from jix/yices-forall
 commit | commitdiff | tree
2022-06-07 Jannis HarderMerge pull request #163 from jix/make_improvements
 commit | commitdiff | tree
2022-06-07 Jannis Hardertests: Move required tool checks from rule generation...
commit | commitdiff | tree
2022-06-03 Jannis HarderDon't fail tests when xmlschema is missing
 commit | commitdiff | tree
2022-06-03 Jannis HarderTest designs using $allconst
 commit | commitdiff | tree
2022-06-02 Jannis Hardertests: Fail on CI when any required tool is missing
 commit | commitdiff | tree
2022-06-02 Jannis Hardertests: Check for btorsim --vcd
 commit | commitdiff | tree
2022-05-30 Jannis HarderSuggest -f when the workdir already exists
 commit | commitdiff | tree
2022-05-30 Jannis HarderCheck for the tabby/oss cad suite before running make...
commit | commitdiff | tree
2022-05-30 Jannis HarderBetter checking of available solvers
 commit | commitdiff | tree
2022-05-30 Jannis HarderMakefile: Rename run_tests to test, update help, use...
commit | commitdiff | tree
2022-05-26 Jannis HarderMerge pull request #161 from programmerjake/add-div...
commit | commitdiff | tree
2022-05-11 Jannis HarderMerge pull request #159 from jix/fix-dpmem-example
 commit | commitdiff | tree
2022-05-11 Jannis Harderexamples: Fix use of SVA value change expressions
 commit | commitdiff | tree
2022-04-25 Jannis HarderMerge pull request #156 from jix/refactor-tests
 commit | commitdiff | tree
2022-04-11 Jannis HarderRefactor tests
 commit | commitdiff | tree
2022-04-11 Jannis HarderAdd --dumptaskinfo option to output some .sby metadata...
commit | commitdiff | tree
2022-04-11 Jannis HarderAdd envvar to enable automatic .gitignore creation...
commit | commitdiff | tree
2022-04-01 Jannis HarderRegression test: do not merge FFs with unconstrained...
commit | commitdiff | tree
2022-03-31 Jannis HarderMerge pull request #154 from jix/sby_design-fixes
 commit | commitdiff | tree
2022-03-31 Jannis HarderFix design_hierarchy handling of $paramod cells
 commit | commitdiff | tree
2022-03-31 Jannis HarderFix variable name in find_property_by_cellname's error...
commit | commitdiff | tree
2022-03-30 Jannis HarderMerge pull request #151 from jix/prefer-first-trace
 commit | commitdiff | tree
2022-03-30 Jannis HarderPrefer the first tracefile for each failing assertion
 commit | commitdiff | tree
2022-03-30 Jannis HarderMerge pull request #147 from jix/smtbmc-keepgoing
 commit | commitdiff | tree
2022-03-30 Jannis HarderTests for `--keep-going`
 commit | commitdiff | tree
2022-03-25 Jannis HarderTest signals with nonzero start offsets in aim files...
commit | commitdiff | tree
2022-03-25 Jannis HarderUse `-no-startoffset`, avoiding index mismatch between...
commit | commitdiff | tree
2022-03-24 Jannis HarderInitial support for the new smtbmc --keep-going option
 commit | commitdiff | tree