aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl/psl-build.ads
Commit message (Expand)AuthorAgeFilesLines
* psl-build.adb: disable incorrect optimization. Fix #2157Tristan Gingold2022-08-031-1/+1
* update license headersumarcor2021-01-141-11/+9
* psl: cover directive works on a sequence, not on a property.Tristan Gingold2016-02-141-0/+1
* psl: use Tables instead of GNAT.Table, regenerate, add copyrights.Tristan Gingold2016-01-271-0/+18
* Move sources to src/ subdirectory.Tristan Gingold2014-11-041-0/+7