aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-psl.adb
Commit message (Expand)AuthorAgeFilesLines
* src: Introduce two separate PSL counters (Finish and Start).Ondrej Ille2021-04-081-7/+14
* src: Adjust grt-psl to use PSL RTI type.Ondrej Ille2021-04-081-5/+5
* update license headersumarcor2021-01-141-11/+9
* Add support for PSL assumptions, used in formal verification (#880)Pepijn de Vos2019-08-071-0/+22
* grt: rework error API (WIP).Tristan Gingold2018-09-161-1/+1
* 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