summaryrefslogtreecommitdiff
path: root/utils
ModeNameSize
-rw-r--r--HACKING.adoc2612logplain
-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.ml4246logplain
-rw-r--r--build_path_prefix_map.mli2571logplain
-rw-r--r--ccomp.ml7942logplain
-rw-r--r--ccomp.mli1729logplain
-rw-r--r--clflags.ml20708logplain
-rw-r--r--clflags.mli9225logplain
-rw-r--r--config.common.ml5589logplain
-rw-r--r--config.fixed.ml3018logplain
-rw-r--r--config.generated.ml.in4641logplain
-rw-r--r--config.mli7950logplain
-rw-r--r--consistbl.ml3225logplain
-rw-r--r--consistbl.mli3310logplain
-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--dune1784logplain
-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.ml36021logplain
-rw-r--r--misc.mli28376logplain
-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.ml44455logplain
-rw-r--r--warnings.mli6873logplain