aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl/psl-build.adb
Commit message (Expand)AuthorAgeFilesLines
* psl: add active state.Tristan Gingold2019-10-211-16/+44
* psl: add psl-types, psl-nodes_priv.Tristan Gingold2019-05-101-0/+1
* psl: cover directive works on a sequence, not on a property.Tristan Gingold2016-02-141-2/+0
* psl: use Tables instead of GNAT.Table, regenerate, add copyrights.Tristan Gingold2016-01-271-8/+23
* Move sources to src/ subdirectory.Tristan Gingold2014-11-041-0/+1009