aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-tokens.adb
Commit message (Expand)AuthorAgeFilesLines
* vhdl: add force and release tokens. For #1416Tristan Gingold2020-08-011-0/+4
* vhdl psl: add support for equivalence operator. Fix #1371Tristan Gingold2020-06-161-0/+2
* vhdl: parse PSL prev/stable/rose/fell builtin calls. For #662Tristan Gingold2020-06-021-0/+10
* vhdl psl: fully scan PSL keywords in scanner.Tristan Gingold2019-08-201-2/+14
* vhdl: recognize PSL units reserved words.Tristan Gingold2019-08-161-0/+6
* 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