aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-tokens.adb
Commit message (Expand)AuthorAgeFilesLines
* vhdl: add PSL keywords to vhdl08 reserved words.Tristan Gingold2019-08-141-14/+14
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-0/+2
* vhdl: parse and analyze restrict directive.Tristan Gingold2019-07-041-0/+4
* vhdl: differenciate block and line comments.Tristan Gingold2019-05-301-2/+4
* vhdl-prints: handle PSL, add psl tokens for strong and inclusive variants.Tristan Gingold2019-05-301-0/+12
* vhdl: move tokens as vhdl child package.Tristan Gingold2019-05-041-0/+456