| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | vhdl-sem_psl: fix crash in case of error in assert statement. Fix #1480 | Tristan Gingold | 2020-09-28 | 1 | -2/+5 |
| * | vhdl: add wildcard_psl_boolean. For #1387 | Tristan Gingold | 2020-07-02 | 1 | -70/+73 |
| * | vhdl-sem_psl: avoid a crash in synth on incorrect clock. | Tristan Gingold | 2020-06-30 | 1 | -0/+2 |
| * | vhdl psl: add support for equivalence operator. Fix #1371 | Tristan Gingold | 2020-06-16 | 1 | -4/+7 |
| * | vhdl: analyze and synth concurrent statements in vunit. Fix #1366 | Tristan Gingold | 2020-06-12 | 1 | -7/+12 |
| * | Synthesis of PSL built-in fell() function. | tmeissner | 2020-06-07 | 1 | -0/+35 |
| * | Synthesis of PSL built-in rose() function. | tmeissner | 2020-06-06 | 1 | -1/+36 |
| * | Synthesis of PSL stable() function. | tmeissner | 2020-06-06 | 1 | -0/+35 |
| * | Synthesis of PSL prev function. | Tristan Gingold | 2020-06-02 | 1 | -0/+60 |
| * | vhdl-sem_psl: handle equal/goto repeat seq. Fix #1321 | Tristan Gingold | 2020-05-18 | 1 | -1/+3 |
| * | vhdl-sem_psl: handle next_event_a and next_event_e. Fix #1292 | Tristan Gingold | 2020-05-09 | 1 | -0/+5 |
| * | Add handling of N_Next_E in PSL semantic pass | tmeissner | 2020-05-08 | 1 | -1/+1 |
| * | psl: keep locations. | Tristan Gingold | 2020-04-26 | 1 | -4/+6 |
| * | psl: keep denoting names in the PSL ast. | Tristan Gingold | 2020-03-13 | 1 | -10/+24 |
| * | vhdl: allow attributes in vunit declarations. | Tristan Gingold | 2019-10-30 | 1 | -1/+3 |
| * | vhdl: extract sem_concurrent_statement, to handle hdl stmt in vunits. | Tristan Gingold | 2019-10-25 | 1 | -0/+5 |
| * | vhdl-sem_psl: analyze some declarations. | Tristan Gingold | 2019-10-23 | 1 | -0/+18 |
| * | vhdl: check cover/restrict is followed by a sequence. | Tristan Gingold | 2019-10-16 | 1 | -0/+14 |
| * | vhdl: handle cover and restrict within vunit. | Tristan Gingold | 2019-10-15 | 1 | -0/+4 |
| * | vhdl: handle architecture in verification unit hierarchical name. | Tristan Gingold | 2019-08-20 | 1 | -7/+37 |
| * | vhdl: handle assume in verification units. | Tristan Gingold | 2019-08-20 | 1 | -0/+2 |
| * | vhdl: parse verification unit (WIP). | Tristan Gingold | 2019-08-17 | 1 | -3/+82 |
| * | vhdl: remove severity from cover, report and severity from assume. | Tristan Gingold | 2019-08-08 | 1 | -18/+9 |
| * | Add support for PSL assumptions, used in formal verification (#880) | Pepijn de Vos | 2019-08-07 | 1 | -3/+22 |
| * | vhdl: rename Cover_Statement to Cover_Directive. | Tristan Gingold | 2019-07-04 | 1 | -2/+2 |
| * | vhdl: parse and analyze restrict directive. | Tristan Gingold | 2019-07-04 | 1 | -0/+15 |
| * | vhdl: renames disp_vhdl to prints | Tristan Gingold | 2019-05-30 | 1 | -67/+69 |
| * | psl: can keep parenthesis during parse. | Tristan Gingold | 2019-05-24 | 1 | -23/+70 |
| * | errorout: add messages group instead of continuation. | Tristan Gingold | 2019-05-12 | 1 | -2/+4 |
| * | vhdl: decouple errorouts a bit more. | Tristan Gingold | 2019-05-10 | 1 | -1/+0 |
| * | psl: add psl-types, psl-nodes_priv. | Tristan Gingold | 2019-05-10 | 1 | -0/+1 |
| * | Extract psl-errors from errorout. | Tristan Gingold | 2019-05-10 | 1 | -0/+1 |
| * | vhdl: extract vhdl.errors from errorout. | Tristan Gingold | 2019-05-08 | 1 | -0/+1 |
| * | vhdl: handle attributes in psl expressions. Fix #813 | Tristan Gingold | 2019-05-07 | 1 | -1/+2 |
| * | vhdl: move iirs_utils to vhdl.utils | Tristan Gingold | 2019-05-06 | 1 | -1/+1 |
| * | vhdl: move xrefs to vhdl child package. | Tristan Gingold | 2019-05-06 | 1 | -1/+1 |
| * | vhdl: move evaluation to vhdl child. | Tristan Gingold | 2019-05-05 | 1 | -1/+1 |
| * | vhdl: move ieee packages to vhdl children. | Tristan Gingold | 2019-05-05 | 1 | -2/+2 |
| * | vhdl: move std_standard package to vhdl child. | Tristan Gingold | 2019-05-05 | 1 | -5/+5 |
| * | vhdl: move sem* packages to vhdl children. | Tristan Gingold | 2019-05-05 | 1 | -0/+808 |
