aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-tokens.ads
Commit message (Expand)AuthorAgeFilesLines
* vhdl and psl: parse sync_abort and async_abort. For #1654Tristan Gingold2021-08-301-0/+2
* Add support for PSL onehot/onehot0 functions (#1633)T. Meissner2021-02-091-1/+3
* update license headersumarcor2021-01-141-11/+9
* vhdl: rework formatter engine, add 'ghdl fmt' commandTristan Gingold2021-01-091-19/+37
* vhdl: add force and release tokens. For #1416Tristan Gingold2020-08-011-0/+2
* vhdl psl: add support for equivalence operator. Fix #1371Tristan Gingold2020-06-161-0/+1
* vhdl: parse PSL prev/stable/rose/fell builtin calls. For #662Tristan Gingold2020-06-021-1/+6
* vhdl psl: fully scan PSL keywords in scanner.Tristan Gingold2019-08-201-5/+11
* vhdl: recognize PSL units reserved words.Tristan Gingold2019-08-161-0/+3
* vhdl: add PSL keywords to vhdl08 reserved words.Tristan Gingold2019-08-141-7/+7
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-0/+1
* vhdl: parse and analyze restrict directive.Tristan Gingold2019-07-041-0/+2
* vhdl: differenciate block and line comments.Tristan Gingold2019-05-301-1/+2
* vhdl-prints: handle PSL, add psl tokens for strong and inclusive variants.Tristan Gingold2019-05-301-0/+6
* vhdl: move tokens as vhdl child package.Tristan Gingold2019-05-041-0/+303