aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl
ModeNameSize
-rw-r--r--Makefile1755logstatsplain
-rw-r--r--psl-build.adb33378logstatsplain
-rw-r--r--psl-build.ads977logstatsplain
-rw-r--r--psl-cse.adb6185logstatsplain
-rw-r--r--psl-cse.ads1131logstatsplain
-rw-r--r--psl-disp_nfas.adb3753logstatsplain
-rw-r--r--psl-disp_nfas.ads1079logstatsplain
-rw-r--r--psl-dump_tree.adb6200logstatsplain
-rw-r--r--psl-dump_tree.ads1109logstatsplain
-rw-r--r--psl-errors.adb1517logstatsplain
-rw-r--r--psl-errors.ads1235logstatsplain
-rw-r--r--psl-hash.adb2364logstatsplain
-rw-r--r--psl-hash.ads1063logstatsplain
-rw-r--r--psl-nfas-utils.adb12493logstatsplain
-rw-r--r--psl-nfas-utils.ads1623logstatsplain
-rw-r--r--psl-nfas.adb15541logstatsplain
-rw-r--r--psl-nfas.ads4879logstatsplain
-rw-r--r--psl-nodes.adb28003logstatsplain
-rw-r--r--psl-nodes.adb.in10537logstatsplain
-rw-r--r--psl-nodes.ads14073logstatsplain
-rw-r--r--psl-nodes_meta.adb35581logstatsplain
-rw-r--r--psl-nodes_meta.adb.in2124logstatsplain
-rw-r--r--psl-nodes_meta.ads5741logstatsplain
-rw-r--r--psl-nodes_meta.ads.in2061logstatsplain
-rw-r--r--psl-nodes_priv.ads980logstatsplain
-rw-r--r--psl-optimize.adb15977logstatsplain
-rw-r--r--psl-optimize.ads1524logstatsplain
-rw-r--r--psl-prints.adb14400logstatsplain
-rw-r--r--psl-prints.ads1517logstatsplain
-rw-r--r--psl-priorities.ads1698logstatsplain
-rw-r--r--psl-qm.adb10244logstatsplain
-rw-r--r--psl-qm.ads2156logstatsplain
-rw-r--r--psl-rewrites.adb19390logstatsplain
-rw-r--r--psl-rewrites.ads214logstatsplain
-rw-r--r--psl-subsets.adb6924logstatsplain
-rw-r--r--psl-subsets.ads1882logstatsplain
-rw-r--r--psl-tprint.adb9454logstatsplain
-rw-r--r--psl-tprint.ads940logstatsplain
-rw-r--r--psl-types.ads1191logstatsplain
-rw-r--r--psl.ads809logstatsplain