aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl/psl-subsets.adb
Commit message (Expand)AuthorAgeFilesLines
* psl: can keep parenthesis during parse.Tristan Gingold2019-05-241-2/+4
* psl: add psl-types, psl-nodes_priv.Tristan Gingold2019-05-101-1/+1
* PSL: add clocked SERE, make endpoints visible from VHDL.Tristan Gingold2016-03-221-1/+2
* psl: use Tables instead of GNAT.Table, regenerate, add copyrights.Tristan Gingold2016-01-271-1/+18
* Move sources to src/ subdirectory.Tristan Gingold2014-11-041-0/+177