aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl/psl-prints.ads
Commit message (Expand)AuthorAgeFilesLines
* update license headersumarcor2021-01-141-11/+9
* vhdl-prints: handle PSL, add psl tokens for strong and inclusive variants.Tristan Gingold2019-05-301-0/+2
* psl: cover directive works on a sequence, not on a property.Tristan Gingold2016-02-141-2/+4
* 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/+20