summaryrefslogtreecommitdiff
path: root/utils
ModeNameSize
-rw-r--r--HACKING.adoc2367logplain
-rw-r--r--arg_helper.ml4397logplain
-rw-r--r--arg_helper.mli2376logplain
-rw-r--r--binutils.ml20342logplain
-rw-r--r--binutils.mli1375logplain
-rw-r--r--build_path_prefix_map.ml4229logplain
-rw-r--r--build_path_prefix_map.mli1963logplain
-rw-r--r--ccomp.ml7611logplain
-rw-r--r--ccomp.mli1706logplain
-rw-r--r--clflags.ml20614logplain
-rw-r--r--clflags.mli9216logplain
-rw-r--r--config.common.ml5423logplain
-rw-r--r--config.fixed.ml2940logplain
-rw-r--r--config.generated.ml.in4517logplain
-rw-r--r--config.mli7779logplain
-rw-r--r--consistbl.ml3301logplain
-rw-r--r--consistbl.mli3561logplain
-rw-r--r--diffing.ml12670logplain
-rw-r--r--diffing.mli5190logplain
-rw-r--r--diffing_with_keys.ml7625logplain
-rw-r--r--diffing_with_keys.mli3048logplain
-rw-r--r--domainstate.ml.c1676logplain
-rw-r--r--domainstate.mli.c1318logplain
-rw-r--r--dune1882logplain
-rw-r--r--identifiable.ml7062logplain
-rw-r--r--identifiable.mli3885logplain
-rw-r--r--int_replace_polymorphic_compare.ml342logplain
-rw-r--r--int_replace_polymorphic_compare.mli231logplain
-rw-r--r--lazy_backtrack.ml2276logplain
-rw-r--r--lazy_backtrack.mli1696logplain
-rw-r--r--load_path.ml5749logplain
-rw-r--r--load_path.mli3796logplain
-rw-r--r--local_store.ml2712logplain
-rw-r--r--local_store.mli2941logplain
-rw-r--r--misc.ml34455logplain
-rw-r--r--misc.mli27202logplain
-rw-r--r--numbers.ml2670logplain
-rw-r--r--numbers.mli1803logplain
-rw-r--r--profile.ml12429logplain
-rw-r--r--profile.mli2005logplain
-rw-r--r--strongly_connected_components.ml6245logplain
-rw-r--r--strongly_connected_components.mli1901logplain
-rw-r--r--targetint.ml3304logplain
-rw-r--r--targetint.mli7278logplain
-rw-r--r--terminfo.ml1852logplain
-rw-r--r--terminfo.mli1468logplain
-rw-r--r--warnings.ml43843logplain
-rw-r--r--warnings.mli6881logplain