aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl
ModeNameSize
-rw-r--r--Makefile1745logstatsplain
-rw-r--r--psl-build.adb32446logstatsplain
-rw-r--r--psl-build.ads977logstatsplain
-rw-r--r--psl-cse.adb6154logstatsplain
-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.adb6169logstatsplain
-rw-r--r--psl-dump_tree.ads1109logstatsplain
-rw-r--r--psl-hash.adb2333logstatsplain
-rw-r--r--psl-hash.ads1063logstatsplain
-rw-r--r--psl-nfas-utils.adb11622logstatsplain
-rw-r--r--psl-nfas-utils.ads1478logstatsplain
-rw-r--r--psl-nfas.adb15228logstatsplain
-rw-r--r--psl-nfas.ads4718logstatsplain
-rw-r--r--psl-nodes.adb27899logstatsplain
-rw-r--r--psl-nodes.adb.in10485logstatsplain
-rw-r--r--psl-nodes.ads13754logstatsplain
-rw-r--r--psl-nodes_meta.adb35119logstatsplain
-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-optimize.adb15600logstatsplain
-rw-r--r--psl-optimize.ads1524logstatsplain
-rw-r--r--psl-prints.adb13924logstatsplain
-rw-r--r--psl-prints.ads1463logstatsplain
-rw-r--r--psl-priorities.ads1698logstatsplain
-rw-r--r--psl-qm.adb10213logstatsplain
-rw-r--r--psl-qm.ads2156logstatsplain
-rw-r--r--psl-rewrites.adb19359logstatsplain
-rw-r--r--psl-rewrites.ads214logstatsplain
-rw-r--r--psl-subsets.adb6864logstatsplain
-rw-r--r--psl-subsets.ads1882logstatsplain
-rw-r--r--psl-tprint.adb9454logstatsplain
-rw-r--r--psl-tprint.ads940logstatsplain
-rw-r--r--psl.ads809logstatsplain