projects / SymbiYosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
SymbiYosys.git
2022-07-13 Jannis HarderMerge pull request #195 from jix/sbyproc-truncated... master commit | commitdiff | tree
2022-07-13 Jannis HarderMerge pull request #193 from jix/abc_pdr_v commit | commitdiff | tree
2022-07-13 Jannis HarderFix a race-condition SbyProc that could truncate output commit | commitdiff | tree
2022-07-11 matt vennUpdate autotune.rst commit | commitdiff | tree
2022-07-08 Jannis HarderMerge pull request #194 from jix/autotune_rst_fixes commit | commitdiff | tree
2022-07-08 Jannis Harderdocs: Don't use linebreaks within inline code spans. commit | commitdiff | tree
2022-07-08 Jannis Harderabc pdr: Enable log output by default commit | commitdiff | tree
2022-07-06 Jannis HarderMerge pull request #191 from jix/early-readconfig commit | commitdiff | tree
2022-07-06 Jannis HarderMerge pull request #192 from jix/win_retcode commit | commitdiff | tree
2022-07-06 Jannis HarderMake SbyProc hide Windows differences in retcode handling commit | commitdiff | tree
2022-07-05 Jannis HarderRead config before creating a workdir commit | commitdiff | tree
2022-07-05 Jannis HarderMerge pull request #190 from jix/windows_fixes commit | commitdiff | tree
2022-07-05 Jannis Hardertests: Windows fixes commit | commitdiff | tree
2022-07-04 Jannis HarderMerge pull request #187 from jix/const_clocks commit | commitdiff | tree
2022-07-04 Jannis Hardertest uninited FFs with const clks and fix btor script... commit | commitdiff | tree
2022-07-04 Jannis HarderMerge pull request #186 from jix/ff_xinit_opt commit | commitdiff | tree
2022-07-04 Jannis Hardertests: Test for invalid x-value FF init optimizations commit | commitdiff | tree
2022-07-03 Jannis HarderMerge pull request #170 from programmerjake/add-simchec... commit | commitdiff | tree
2022-06-30 Jannis HarderMerge pull request #189 from jix/autotune_docs commit | commitdiff | tree
2022-06-30 Jannis Harderdocs: add missing autotune.rst commit | commitdiff | tree
2022-06-29 Jannis HarderMerge pull request #158 from jix/autotune commit | commitdiff | tree
2022-06-27 Jannis Harderautotune: Initial documentation commit | commitdiff | tree
2022-06-27 Jannis HarderTest autotune commit | commitdiff | tree
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_... 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-induc... commit | commitdiff | tree
2022-06-23 Jannis Hardersmtbmc: Fix induction trace filename with --keep-going... commit | commitdiff | tree
2022-06-23 Jacob Lifshayswitch to using hierarchy -smtcheck for smtlib2 solvers... add-simcheck-option commit | commitdiff | tree
2022-06-20 Jannis HarderReflect recent engine updates in the reference docs commit | commitdiff | tree
2022-06-18 George RennieUse default prefix directory when no task is specified 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-14 Matt Vennadd makefile for test commit | commitdiff | tree
2022-06-14 Matt Vennremove unused module port commit | commitdiff | tree
2022-06-14 Matt Vennexpect fail commit | commitdiff | tree
2022-06-14 Matt Venntristate 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-06-01 N. Engelhardtupdate install instructions for btorsim 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-25 Jacob Lifshayadd depth 1 commit | commitdiff | tree
2022-05-25 Jacob Lifshayadd test for yosys's $divfloor and $modfloor cells commit | commitdiff | tree
2022-05-24 N. Engelhardtdocs: add instructions for newer btorsim version required 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-08 Miodrag MilanovićMerge pull request #140 from nakengelhardt/junit_jny commit | commitdiff | tree
2022-04-06 N. Engelhardtjunit: use write_jny instead of write_json commit | commitdiff | tree
2022-04-03 Miodrag MilanovićMerge pull request #155 from jix/invalid_ff_dcinit_merge 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 N. EngelhardtMerge pull request #150 from nakengelhardt/fix_junit_ty... 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-29 N. Engelhardtnote unexpected return statuses in junit commit | commitdiff | tree
2022-03-28 N. EngelhardtMerge pull request #148 from nakengelhardt/docs_updates commit | commitdiff | tree
2022-03-28 N. EngelhardtMerge pull request #145 from nakengelhardt/fix_junit_tr... commit | commitdiff | tree
2022-03-28 N. EngelhardtMerge pull request #142 from nakengelhardt/fix_backslas... commit | commitdiff | tree
2022-03-26 Miodrag MilanovićMerge pull request #146 from jix/aim_vs_smt2_nonzero_st... commit | commitdiff | tree
2022-03-25 N. Engelhardtdocument btor engine, add overview of mode/engine/solve... 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
next