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.adb29018logstatsplain
-rw-r--r--psl-nodes.adb.in10974logstatsplain
-rw-r--r--psl-nodes.ads14957logstatsplain
-rw-r--r--psl-nodes_meta.adb36858logstatsplain
-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.adb14464logstatsplain
-rw-r--r--psl-prints.ads1454logstatsplain
-rw-r--r--psl-priorities.ads1635logstatsplain
-rw-r--r--generated by cgit v1.2.3 (git 2.25.1) at 2025-04-22 23:07:41 +0000