aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-elocations.adb
Commit message (Expand)AuthorAgeFilesLines
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-1/+2
* vhdl: rename Cover_Statement to Cover_Directive.Tristan Gingold2019-07-041-1/+1
* vhdl: parse and analyze restrict directive.Tristan Gingold2019-07-041-0/+1
* vhdl: add anonymous_signal_declaration.Tristan Gingold2019-07-031-0/+1
* vhdl: add hook on free_node, automatically freeTristan Gingold2019-05-221-1/+21
* vhdl: move nodes to vhdl.nodes_priv.Tristan Gingold2019-05-051-4/+4
* vhdl: move elocations* packages to vhdl children.Tristan Gingold2019-05-051-0/+710