aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/vhdl-parse_psl.adb
Commit message (Expand)AuthorAgeFilesLines
* vhdl-parse_psl: avoid crash on error. For #2110Tristan Gingold2022-06-261-1/+7
* vhdl-parse: avoid a crash on too large numbers. For #2070Tristan Gingold2022-06-011-1/+7
* vhdl and psl: parse sync_abort and async_abort. For #1654Tristan Gingold2021-08-301-6/+25
* PSL: handle inf in star repeat sequence. Fix #1832Tristan Gingold2021-08-261-4/+12
* vhdl-parse_psl.adb: handle parenthesis boolean prefixes. For #1708Tristan Gingold2021-04-051-29/+62
* psl: prefix of goto/non-consecutive repetition is a bool. Fix #1708Tristan Gingold2021-04-031-22/+64
* vhdl-parse_psl: avoid crash in case of error. For #1701Tristan Gingold2021-03-281-3/+8
* vhdl-parse_psl: minor reformatingTristan Gingold2021-03-281-10/+9
* src: Psl, check positive count range already during parsing.Ondrej Ille2021-03-281-0/+16
* update license headersumarcor2021-01-141-11/+9
* vhdl-parse_psl.adb: handle n_paren_prop in Psl_To_VhdlTristan Gingold2021-01-051-0/+4
* vhdl psl: add support for equivalence operator. Fix #1371Tristan Gingold2020-06-161-49/+61
* psl: keep denoting names in the PSL ast.Tristan Gingold2020-03-131-0/+1
* vhdl-parse_psl: add comments.Tristan Gingold2019-10-251-8/+71
* vhdl: check cover/restrict is followed by a sequence.Tristan Gingold2019-10-161-8/+48
* vhdl psl: fully scan PSL keywords in scanner.Tristan Gingold2019-08-201-19/+61
* vhdl: add PSL keywords to vhdl08 reserved words.Tristan Gingold2019-08-141-4/+4
* vhdl: renames disp_vhdl to printsTristan Gingold2019-05-301-1/+1
* psl: can keep parenthesis during parse.Tristan Gingold2019-05-241-8/+35
* vhdl: decouple errorouts a bit more.Tristan Gingold2019-05-101-4/+6
* psl: add psl-types, psl-nodes_priv.Tristan Gingold2019-05-101-0/+1
* vhdl: rename iirs to vhdl.nodesTristan Gingold2019-05-051-12/+14
* vhdl: move parse package as vhdl child.Tristan Gingold2019-05-041-0/+867