aboutsummaryrefslogtreecommitdiffstats
path: root/src/psl
ModeNameSize
-rw-r--r--Makefile1717logstatsplain
-rw-r--r--psl-build.adb33332logstatsplain
-rw-r--r--psl-build.ads914logstatsplain
-rw-r--r--psl-cse.adb6212logstatsplain
-rw-r--r--psl-cse.ads1068logstatsplain
-rw-r--r--psl-disp_nfas.adb3690logstatsplain
-rw-r--r--psl-disp_nfas.ads1016logstatsplain
-rw-r--r--psl-dump_tree.adb6137logstatsplain
-rw-r--r--psl-dump_tree.ads1046logstatsplain
-rw-r--r--psl-errors.adb1454logstatsplain
-rw-r--r--psl-errors.ads1172logstatsplain
-rw-r--r--psl-hash.adb2390logstatsplain
-rw-r--r--psl-hash.ads1021logstatsplain
-rw-r--r--psl-nfas-utils.adb12430logstatsplain
-rw-r--r--psl-nfas-utils.ads1560logstatsplain
-rw-r--r--psl-nfas.adb15478logstatsplain
-rw-r--r--psl-nfas.ads4816logstatsplain
-rw-r--r--psl-nodes.adb28979logstatsplain
-rw-r--r--psl-nodes.adb.in10954logstatsplain
-rw-r--r--psl-nodes.ads14923logstatsplain
-rw-r--r--psl-nodes_meta.adb36773logstatsplain
-rw-r--r--psl-nodes_meta.adb.in2061logstatsplain
-rw-r--r--psl-nodes_meta.ads5753logstatsplain
-rw-r--r--psl-nodes_meta.ads.in1998logstatsplain
-rw-r--r--psl-nodes_priv.ads917logstatsplain
-rw-r--r--psl-optimize.adb15914logstatsplain
-rw-r--r--psl-optimize.ads1461logstatsplain
-rw-r--r--psl-prints.adb14385logstatsplain
-rw-r--r--psl-prints.ads1454logstatsplain
-rw-r--r--psl-priorities.ads1635logstatsplain
-rw-r--r--psl-qm.adb11051logstatsplain
-rw-r--r--psl-qm.ads2093logstatsplain
-rw-r--r--psl-rewrites.adb19546logstatsplain
-rw-r--r--psl-rewrites.ads266logstatsplain
-rw-r--r--psl-subsets.adb6938logstatsplain
-rw-r--r--psl-subsets.ads1819logstatsplain
-rw-r--r--psl-tprint.adb9391logstatsplain
-rw-r--r--psl-tprint.ads877logstatsplain
-rw-r--r--psl-types.ads1128logstatsplain
-rw-r--r--psl.ads746logstatsplain