aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl/psl-build.adb
Commit message (Expand)AuthorAgeFilesLines
* update license headersumarcor2021-01-141-11/+9
* psl: set locations in CSE. Fix #1272Tristan Gingold2020-04-291-14/+1
* psl: keep locations.Tristan Gingold2020-04-261-14/+32
* 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