aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl/psl-subsets.adb
Commit message (Expand)AuthorAgeFilesLines
* PSL: add clocked SERE, make endpoints visible from VHDL.Tristan Gingold2016-03-221-1/+2
* 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/+177