| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | verific: Fix enum_values support and signed attribute values | Jannis Harder | 2023-03-15 | 1 | -34/+33 |
| * | Handle more wide case selector types | Miodrag Milanovic | 2023-02-27 | 1 | -14/+42 |
| * | 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 |
| * | Fixes for some of clang scan-build detected issues | Miodrag Milanovic | 2023-01-17 | 2 | -6/+8 |
| * | respect noblackbox attribute in verific | Miodrag Milanovic | 2022-12-15 | 1 | -0/+6 |
| * | 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 |
| * | | reset elaboration error after rewriter | Miodrag Milanovic | 2022-11-30 | 1 | -0/+2 |
| |/ |
|
| * | update documentation | Miodrag Milanovic | 2022-11-25 | 1 | -3/+3 |
| * | Support importing verilog configurations using Verific | Miodrag Milanovic | 2022-11-25 | 2 | -4/+39 |
| * | 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 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 |
| * | support file content redirection for verific frontened | Miodrag Milanovic | 2022-09-28 | 1 | -14/+60 |
| * | Add comment for future self | Miodrag Milanovic | 2022-09-28 | 1 | -0/+7 |
| * | Handle attributes imported from verific | Miodrag Milanovic | 2022-09-28 | 1 | -5/+24 |
| * | Import memory attributes | Miodrag Milanovic | 2022-09-21 | 1 | -0/+1 |
| * | verific: better fix for read callback | Miodrag Milanovic | 2022-09-07 | 1 | -5/+3 |
| * | verific: fix crash when using prep right after read | Miodrag Milanovic | 2022-09-07 | 1 | -0/+3 |
| * | Encode filename unprintable chars | Miodrag Milanovic | 2022-08-08 | 1 | -1/+1 |
| * | verific - make filepath handling compatible with verilog frontend | Miodrag Milanovic | 2022-08-08 | 1 | -15/+29 |
| * | Setting wire upto in verific import | Miodrag Milanovic | 2022-07-29 | 1 | -2/+5 |
| * | Update README | Miodrag Milanović | 2022-07-28 | 1 | -1/+1 |
| * | Upadte documentation and changelog | Miodrag Milanovic | 2022-07-04 | 1 | -0/+1 |
| * | Update to new verific extensions inteface | Miodrag Milanovic | 2022-06-30 | 1 | -3/+29 |
| * | Revert "use new verific extensions library" | Miodrag Milanovic | 2022-06-21 | 1 | -70/+54 |
| * | use new verific extensions library | Miodrag Milanovic | 2022-06-17 | 1 | -54/+70 |
| * | removed deprecated features code | Miodrag Milanovic | 2022-06-13 | 1 | -235/+0 |
| * | verific: Added "-vlog-libext" option to specify search extension for libraries | Miodrag Milanovic | 2022-06-09 | 1 | -1/+16 |
| * | verific: proper file location for readmem commands | Miodrag Milanovic | 2022-06-04 | 1 | -0/+33 |
| * | fix text to fit 80 columns | Miodrag Milanovic | 2022-05-23 | 1 | -6/+9 |
| * | Update verific command file documentation | Miodrag Milanovic | 2022-05-23 | 1 | -17/+19 |
| * | Use analysis mode if set in file | Miodrag Milanovic | 2022-05-23 | 1 | -2/+2 |
| * | verific: Use new value change logic also for $stable of wide signals. | Jannis Harder | 2022-05-11 | 1 | -7/+29 |
| * | Merge pull request #3305 from jix/sva_value_change_logic | Jannis Harder | 2022-05-09 | 1 | -10/+25 |
| |\ |
|
| | * | verific: Improve logic generated for SVA value change expressions | Jannis Harder | 2022-05-09 | 1 | -10/+25 |
| * | | verific: Fix conditions of SVAs with explicit clocks within procedures | Jannis Harder | 2022-05-03 | 3 | -5/+16 |
| |/ |
|
| * | Ignore merging past ffs that we are not properly merging | Miodrag Milanovic | 2022-04-29 | 1 | -0/+1 |
| * | verific: allow memories to be inferred in loops (vhdl) | Miodrag Milanovic | 2022-04-18 | 1 | -0/+1 |
| * | verific: allow memories to be inferred in loops | N. Engelhardt | 2022-04-15 | 1 | -0/+1 |
| * | Preserve internal wires for external nets | Miodrag Milanovic | 2022-04-01 | 1 | -1/+1 |
| * | Fix valgrind tests when using verific | Miodrag Milanovic | 2022-03-30 | 1 | -0/+8 |
| * | Properly mark modules imported | Miodrag Milanovic | 2022-03-26 | 1 | -2/+2 |
| * | Import verific netlist in consistent order | Miodrag Milanovic | 2022-03-25 | 2 | -23/+27 |
