aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-sem_psl.adb
Commit message (Expand)AuthorAgeFilesLines
* vhdl: allow attributes in vunit declarations.Tristan Gingold2019-10-301-1/+3
* vhdl: extract sem_concurrent_statement, to handle hdl stmt in vunits.Tristan Gingold2019-10-251-0/+5
* vhdl-sem_psl: analyze some declarations.Tristan Gingold2019-10-231-0/+18
* vhdl: check cover/restrict is followed by a sequence.Tristan Gingold2019-10-161-0/+14
* vhdl: handle cover and restrict within vunit.Tristan Gingold2019-10-151-0/+4
* vhdl: handle architecture in verification unit hierarchical name.Tristan Gingold2019-08-201-7/+37
* vhdl: handle assume in verification units.Tristan Gingold2019-08-201-0/+2
* vhdl: parse verification unit (WIP).Tristan Gingold2019-08-171-3/+82
* vhdl: remove severity from cover, report and severity from assume.Tristan Gingold2019-08-081-18/+9
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-3/+22
* vhdl: rename Cover_Statement to Cover_Directive.Tristan Gingold2019-07-041-2/+2
* vhdl: parse and analyze restrict directive.Tristan Gingold2019-07-041-0/+15
* vhdl: renames disp_vhdl to printsTristan Gingold2019-05-301-67/+69
* psl: can keep parenthesis during parse.Tristan Gingold2019-05-241-23/+70
* errorout: add messages group instead of continuation.Tristan Gingold2019-05-121-2/+4
* vhdl: decouple errorouts a bit more.Tristan Gingold2019-05-101-1/+0
* psl: add psl-types, psl-nodes_priv.Tristan Gingold2019-05-101-0/+1
* Extract psl-errors from errorout.Tristan Gingold2019-05-101-0/+1
* vhdl: extract vhdl.errors from errorout.Tristan Gingold2019-05-081-0/+1
* vhdl: handle attributes in psl expressions. Fix #813Tristan Gingold2019-05-071-1/+2
* vhdl: move iirs_utils to vhdl.utilsTristan Gingold2019-05-061-1/+1
* vhdl: move xrefs to vhdl child package.Tristan Gingold2019-05-061-1/+1
* vhdl: move evaluation to vhdl child.Tristan Gingold2019-05-051-1/+1
* vhdl: move ieee packages to vhdl children.Tristan Gingold2019-05-051-2/+2
* vhdl: move std_standard package to vhdl child.Tristan Gingold2019-05-051-5/+5
* vhdl: move sem* packages to vhdl children.Tristan Gingold2019-05-051-0/+808