aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl/psl-nodes_meta.adb
Commit message (Expand)AuthorAgeFilesLines
* vhdl-prints: improve handling of PSL. For #2178Tristan Gingold2022-08-151-58/+84
* vhdl and psl: parse sync_abort and async_abort. For #1654Tristan Gingold2021-08-301-32/+48
* PSL: handle inf in star repeat sequence. Fix #1832Tristan Gingold2021-08-261-0/+4
* psl: prefix of goto/non-consecutive repetition is a bool. Fix #1708Tristan Gingold2021-04-031-5/+5
* update license headersumarcor2021-01-141-11/+9
* vhdl psl: add support for equivalence operator. Fix #1371Tristan Gingold2020-06-161-39/+61
* psl: keep denoting names in the PSL ast.Tristan Gingold2020-03-131-12/+38
* psl: can keep parenthesis during parse.Tristan Gingold2019-05-241-27/+45
* psl: adjust after pnodes.py changes and regenerate.Tristan Gingold2017-10-281-11/+11
* PSL: add clocked SERE, make endpoints visible from VHDL.Tristan Gingold2016-03-221-19/+32
* psl: use Tables instead of GNAT.Table, regenerate, add copyrights.Tristan Gingold2016-01-271-17/+17
* Add missing psl files.Tristan Gingold2015-05-101-0/+1305