aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl/psl-nfas-utils.adb
Commit message (Expand)AuthorAgeFilesLines
* psl: keep denoting names in the PSL ast.Tristan Gingold2020-03-131-1/+1
* psl-nfa-utils: move active state in merge_state.Tristan Gingold2019-10-311-0/+5
* psl-nfas-utils: reuse True_Node.Tristan Gingold2019-10-211-4/+2
* vhdl: Add the implicit [*] at start of PSL cover sequence.Tristan Gingold2019-10-151-0/+26
* psl: add psl-types, psl-nodes_priv.Tristan Gingold2019-05-101-1/+3
* 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/+330