| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | simplify: regression test for AST_CELLARRAY simplification issue | Jannis Harder | 2022-12-07 | 1 | -0/+45 |
| * | smt2/smtbmc: Fix FF witness data for fine grained or multi chunk FFs | Jannis Harder | 2022-10-12 | 1 | -7/+7 |
| * | Add test for bug 3462 | Miodrag Milanovic | 2022-08-29 | 2 | -0/+15 |
| * | write_aiger: Fix non-$_FF_ FFs | Jannis Harder | 2022-08-18 | 1 | -0/+7 |
| * | smtbmc: Add native json based witness format + smt2 backend support | Jannis Harder | 2022-08-16 | 1 | -0/+8 |
| * | rename: add -scramble-name option to randomly rename selections | Lofty | 2022-08-08 | 1 | -0/+31 |
| * | smt2: emit smtlib2_comb_expr outputs after all inputs | Jannis Harder | 2022-06-07 | 2 | -6/+6 |
| * | don't use sed -i because it won't work on macos | Jacob Lifshay | 2022-06-03 | 2 | -2/+3 |
| * | smtlib2_module: try to fix test on macos | Jacob Lifshay | 2022-06-02 | 1 | -1/+1 |
| * | smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressions | Jacob Lifshay | 2022-06-02 | 4 | -0/+127 |
| * | fix handling of escaped chars in json backend and frontend | N. Engelhardt | 2022-02-18 | 2 | -0/+15 |
| * | Fix access to whole sub-structs (#3086) | Kamil Rakoczy | 2022-02-14 | 3 | -2/+49 |
| * | logger: fix unmatched expected warnings and errors | Zachary Snow | 2022-01-04 | 1 | -0/+42 |
| * | Fix the tests we just broke | Claire Xenia Wolf | 2021-12-10 | 1 | -4/+4 |
| * | sta: very crude static timing analysis pass | Lofty | 2021-11-25 | 1 | -0/+81 |
| * | Support parameters using struct as a wiretype (#3050) | Kamil Rakoczy | 2021-11-16 | 1 | -0/+51 |
| * | More deadname stuff | Claire Xenia Wolf | 2021-06-09 | 2 | -4/+4 |
| * | abc9: uniquify blackboxes like whiteboxes (#2695) | Eddie Hung | 2021-03-29 | 1 | -1/+56 |
| * | blackbox: Include whiteboxed modules | gatecat | 2021-03-17 | 1 | -0/+14 |
| * | Add tests for $countbits | Michael Singer | 2021-02-26 | 2 | -0/+76 |
| * | Merge pull request #2594 from zachjs/func-arg-width | whitequark | 2021-02-23 | 4 | -37/+46 |
| |\ |
|
| | * | verilog: fix sizing of constant args for tasks/functions | Zachary Snow | 2021-02-21 | 4 | -37/+46 |
| * | | verilog: support recursive functions using ternary expressions | Zachary Snow | 2021-02-12 | 2 | -0/+76 |
| |/ |
|
| * | genrtlil: fix signed port connection codegen failures | Zachary Snow | 2021-02-05 | 2 | -7/+28 |
| * | verilog: significant block scoping improvements | Zachary Snow | 2021-01-31 | 2 | -6/+10 |
| * | Allow combination of rand and const modifiers | Zachary Snow | 2021-01-21 | 2 | -0/+9 |
| * | Add plugin.so.dSYM to .gitignore | Zachary Snow | 2021-01-18 | 1 | -0/+1 |
| * | Merge pull request #2518 from zachjs/recursion | whitequark | 2021-01-01 | 2 | -0/+71 |
| |\ |
|
| | * | verilog: improved support for recursive functions | Zachary Snow | 2020-12-31 | 2 | -0/+71 |
| * | | sv: complete support for implied task/function port directions | Zachary Snow | 2020-12-31 | 2 | -0/+29 |
| |/ |
|
| * | Fix elaboration of whole memory words used as indices | Zachary Snow | 2020-12-26 | 3 | -0/+48 |
| * | Fix constants bound to redeclared function args | Zachary Snow | 2020-12-26 | 1 | -0/+10 |
| * | Merge pull request #2501 from zachjs/genrtlil-tern-sign | whitequark | 2020-12-23 | 1 | -4/+9 |
| |\ |
|
| | * | genrtlil: fix mux2rtlil generated wire signedness | Zachary Snow | 2020-12-22 | 1 | -4/+9 |
| * | | Merge pull request #2476 from zachjs/const-arg-width | whitequark | 2020-12-23 | 1 | -0/+10 |
| |\ \
| |/
|/| |
|
| | * | Fix constants bound to single bit arguments (fixes #2383) | Zachary Snow | 2020-12-22 | 1 | -0/+10 |
| * | | Merge pull request #2479 from zachjs/const-arg-hint | whitequark | 2020-12-22 | 1 | -0/+9 |
| |\ \ |
|
| | * | | Allow constant function calls in constant function arguments | Zachary Snow | 2020-12-07 | 1 | -0/+9 |
| | |/ |
|
| * / | Sign extend port connections where necessary | Zachary Snow | 2020-12-18 | 2 | -0/+98 |
| |/ |
|
| * | Merge pull request #2133 from dh73/nodev_head | Claire Xen | 2020-11-25 | 18 | -65/+322 |
| |\ |
|
| | * | Removing trailing whitespace | diego | 2020-06-10 | 1 | -30/+30 |
| | * | Adding latch tests for shift&mask AST dynamic part-select enhancements | diego | 2020-06-09 | 18 | -68/+325 |
| * | | tests: Centralize test collection and Makefile generation | Xiretza | 2020-09-21 | 1 | -19/+3 |
| * | | Merge pull request #2352 from zachjs/const-func-localparam | clairexen | 2020-09-01 | 1 | -3/+6 |
| |\ \ |
|
| | * | | Allow localparams in constant functions | Zachary Snow | 2020-08-20 | 1 | -3/+6 |
| * | | | Fix constant args used with function ports split across declarations | Zachary Snow | 2020-08-29 | 1 | -0/+20 |
| |/ / |
|
| * | | Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanup | clairexen | 2020-08-20 | 1 | -143/+0 |
| |\ \ |
|
| | * | | peepopt: Remove now-redundant dffmux pattern. | Marcelina Kościelnicka | 2020-08-07 | 1 | -143/+0 |
| * | | | Merge branch 'const-func-block-var' of https://github.com/zachjs/yosys into z... | Claire Wolf | 2020-08-18 | 2 | -0/+24 |
| |\ \ \ |
|
| | * | | | Allow blocks with declarations within constant functions | Zachary Snow | 2020-07-25 | 2 | -0/+24 |
