aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-psl.adb
Commit message (Expand)AuthorAgeFilesLines
* PSL: add clocked SERE, make endpoints visible from VHDL.Tristan Gingold2016-03-221-1/+1
* grt-psl.adb: fix build failure (unused package).Tristan Gingold2016-03-181-1/+0
* PSL: add counters, generate rti and add --psl-reportTristan Gingold2016-03-181-0/+217