| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Merge pull request #3646 from YosysHQ/lofty/fix-3591 | Miodrag Milanović | 2023-02-27 | 1 | -0/+40 |
| |\ |
|
| | * | muxcover: do not add decode muxes with x inputs | Lofty | 2023-01-26 | 1 | -0/+40 |
| * | | Merge pull request #2995 from georgerennie/cover_precond | Jannis Harder | 2023-02-14 | 1 | -0/+25 |
| |\ \ |
|
| | * | | chformal: Rename -coverprecond to -coverenable | George Rennie | 2022-06-18 | 1 | -3/+3 |
| | * | | chformal: Test -coverprecond and reuse the src attribute | Jannis Harder | 2022-06-18 | 1 | -0/+25 |
| * | | | Merge pull request #3126 from georgerennie/equiv_make_assertions | Jannis Harder | 2023-02-14 | 1 | -0/+32 |
| |\ \ \ |
|
| | * | | | equiv_make: Add -make_assert option | George Rennie | 2022-06-24 | 1 | -0/+32 |
| | |/ / |
|
| * | / | backends/rtlil: Do not shorten a value with z bits to 'x | Jannis Harder | 2023-01-29 | 1 | -0/+9 |
| | |/
|/| |
|
| * | | 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 |
