| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | verilog: Fix const eval of unbased unsized constants | Jannis Harder | 2023-04-20 | 1 | -1/+1 |
| * | verilog: Support void functions | Jannis Harder | 2023-03-20 | 2 | -1/+19 |
| * | verific: Fix enum_values support and signed attribute values | Jannis Harder | 2023-03-15 | 1 | -34/+33 |
| * | Merge pull request #3682 from daglem/struct-member-out-of-bounds | Jannis Harder | 2023-03-10 | 4 | -21/+69 |
| |\ |
|
| | * | Index struct/union members within corresponding wire chunks | Dag Lem | 2023-03-05 | 4 | -32/+67 |
| | * | Out of bounds checking for struct/union members | Dag Lem | 2023-02-19 | 1 | -5/+18 |
| * | | Handle more wide case selector types | Miodrag Milanovic | 2023-02-27 | 1 | -14/+42 |
| |/ |
|
| * | Support for data and array queries on struct/union item expressions | Dag Lem | 2023-02-15 | 1 | -12/+49 |
| * | Merge pull request #3661 from daglem/struct-array-range-offset | Jannis Harder | 2023-02-15 | 1 | -22/+31 |
| |\ |
|
| | * | Handle range offsets in packed arrays within packed structs | Dag Lem | 2023-02-05 | 1 | -22/+31 |
| * | | Resolve package types in interfaces (#3658) | Dag Lem | 2023-02-12 | 1 | -3/+3 |
| * | | For case select values use Sa instead of Sx and Sz | Miodrag Milanovic | 2023-02-08 | 2 | -5/+42 |
| * | | Add verific import support for OPER_WIDE_CASE_SELECT_BOX | Miodrag Milanovic | 2023-02-06 | 1 | -0/+41 |
| |/ |
|
| * | Resolve struct member package types | Dag Lem | 2023-01-29 | 1 | -0/+7 |
| * | Handle struct members of union type (#3641) | Dag Lem | 2023-01-29 | 2 | -2/+2 |
| * | Fixes for some of clang scan-build detected issues | Miodrag Milanovic | 2023-01-17 | 4 | -9/+11 |
| * | print filename in liberty log_header | N. Engelhardt | 2023-01-11 | 1 | -2/+2 |
| * | Merge pull request #3467 from jix/fix_cellarray_simplify | Jannis Harder | 2022-12-19 | 1 | -0/+2 |
| |\ |
|
| | * | simplify: Do not recursively simplify AST_CELL within AST_CELLARRAY | Jannis Harder | 2022-12-07 | 1 | -0/+2 |
| * | | respect noblackbox attribute in verific | Miodrag Milanovic | 2022-12-15 | 1 | -0/+6 |
| * | | Merge pull request #3573 from daglem/struct-array-multidimensional | Jannis Harder | 2022-12-07 | 1 | -98/+78 |
| |\ \
| |/
|/| |
|
| | * | Made make_struct_member_range side-effect-free again | Dag Lem | 2022-12-04 | 1 | -20/+20 |
| | * | Support for packed multidimensional arrays within packed structs | Dag Lem | 2022-12-03 | 1 | -98/+78 |
| * | | Merge pull request #3568 from YosysHQ/verific_msg | Miodrag Milanović | 2022-12-05 | 1 | -3/+16 |
| |\ \ |
|
| | * | | set VERI-1063 explicitly | Miodrag Milanovic | 2022-12-02 | 1 | -5/+7 |
| | * | | Set all verific messages of certain type to other | Miodrag Milanovic | 2022-11-30 | 1 | -3/+14 |
| * | | | Merge pull request #3569 from YosysHQ/ver_no_rewriters | Miodrag Milanović | 2022-12-05 | 1 | -0/+2 |
| |\ \ \
| |_|/
|/| | |
|
| | * | | reset elaboration error after rewriter | Miodrag Milanovic | 2022-11-30 | 1 | -0/+2 |
| | |/ |
|
| * | | Merge pull request #3551 from daglem/struct-array-swapped-range | Jannis Harder | 2022-12-01 | 2 | -21/+61 |
| |\ \
| |/
|/| |
|
| | * | Added asserts for current limitation of array dimensions in packed structs | Dag Lem | 2022-11-30 | 1 | -0/+8 |
| | * | Check for all cases of currently unsupported array dimensions in packed structs | Dag Lem | 2022-11-30 | 1 | -10/+13 |
| | * | Support for swapped ranges in second array dimension | Dag Lem | 2022-11-23 | 1 | -3/+10 |
| | * | Support for arrays with swapped ranges within structs | Dag Lem | 2022-11-12 | 2 | -10/+32 |
| * | | update documentation | Miodrag Milanovic | 2022-11-25 | 1 | -3/+3 |
| * | | Support importing verilog configurations using Verific | Miodrag Milanovic | 2022-11-25 | 2 | -4/+39 |
| * | | Merge pull request #3552 from daglem/fix-sv-c-array-dimensions | Jannis Harder | 2022-11-23 | 1 | -3/+3 |
| |\ \ |
|
| | * | | Correct interpretation of SystemVerilog C-style array dimensions | Dag Lem | 2022-11-13 | 1 | -3/+3 |
| * | | | Merge branch 'zachjs-master' | Jannis Harder | 2022-11-21 | 1 | -0/+4 |
| |\ \ \
| |/ /
|/| | |
|
| | * | | verilog: Support module-scoped task/function calls | Zachary Snow | 2022-10-29 | 1 | -0/+4 |
| * | | | Add additional help info | Miodrag Milanovic | 2022-10-31 | 1 | -0/+2 |
| * | | | Enable importing blackbox modules only | Miodrag Milanovic | 2022-10-31 | 1 | -1/+33 |
| * | | | Support for reading liberty files using verific | Miodrag Milanovic | 2022-10-31 | 1 | -1/+45 |
| |/ / |
|
| * | | Skip verific primitives and operators import by default | Miodrag Milanovic | 2022-10-14 | 1 | -0/+1 |
| * | | Add option to import all cells from all libraries | Miodrag Milanovic | 2022-10-14 | 1 | -1/+30 |
| * | | fix whitespace | Miodrag Milanovic | 2022-10-10 | 1 | -1/+1 |
| * | | Merge pull request #3452 from ALGCDG/master | Miodrag Milanović | 2022-10-10 | 1 | -1/+8 |
| |\ \ |
|
| | * | | Changing error reason string to be based on lut input plane limit constant. | Archie | 2022-10-02 | 1 | -1/+1 |
| | * | | Adding check for BLIF names command input plane size. | Archie | 2022-08-21 | 1 | -1/+8 |
| * | | | Fix handling of verific -L options, add implicit "-L work" | Claire Xenia Wolf | 2022-10-10 | 1 | -0/+14 |
| * | | | Add support for EDIF file reading using Verific | Miodrag Milanovic | 2022-10-04 | 1 | -1/+47 |
