| .. |
|
arg_helper.ml
|
Misc.Stdlib.String.split -> String.split_on_char.
|
2016-07-11 15:01:32 +02:00 |
|
arg_helper.mli
|
More warnings when compiling the compiler.
|
2016-03-15 22:46:35 +01:00 |
|
ccomp.ml
|
Define new build variables for C compiler and preprocessor flags
|
2017-03-29 11:10:06 +02:00 |
|
ccomp.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
clflags.ml
|
generalize -dtimings to show allocation, top heap size (#1152)
|
2017-06-09 12:29:21 +01:00 |
|
clflags.mli
|
generalize -dtimings to show allocation, top heap size (#1152)
|
2017-06-09 12:29:21 +01:00 |
|
config.mli
|
Call counts in Spacetime (#1180)
|
2017-06-16 13:51:12 +01:00 |
|
config.mlp
|
Call counts in Spacetime (#1180)
|
2017-06-16 13:51:12 +01:00 |
|
consistbl.ml
|
More warnings when compiling the compiler.
|
2016-03-15 22:46:35 +01:00 |
|
consistbl.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
identifiable.ml
|
Declare record type for flambda function parameters (#1028)
|
2017-03-16 10:40:47 +00:00 |
|
identifiable.mli
|
Declare record type for flambda function parameters (#1028)
|
2017-03-16 10:40:47 +00:00 |
|
misc.ml
|
Respect OCAML_COLOR environment variable for deciding whether to use colors
|
2017-03-15 08:24:13 +00:00 |
|
misc.mli
|
GPR#1187: Minimal documentation for compiler plugins
|
2017-06-01 18:22:09 +02:00 |
|
numbers.ml
|
Add Int8 and Int16 modules to Numbers (#753)
|
2017-03-09 15:39:11 +00:00 |
|
numbers.mli
|
Add Int8 and Int16 modules to Numbers (#753)
|
2017-03-09 15:39:11 +00:00 |
|
profile.ml
|
generalize -dtimings to show allocation, top heap size (#1152)
|
2017-06-09 12:29:21 +01:00 |
|
profile.mli
|
generalize -dtimings to show allocation, top heap size (#1152)
|
2017-06-09 12:29:21 +01:00 |
|
strongly_connected_components.ml
|
More warnings when compiling the compiler.
|
2016-03-15 22:46:35 +01:00 |
|
strongly_connected_components.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
targetint.ml
|
Add new module Targetint (#759)
|
2016-08-16 07:29:24 +01:00 |
|
targetint.mli
|
Fixed erroneous comments
|
2017-03-28 16:02:05 +02:00 |
|
tbl.ml
|
Optimize lookups by specializing Tbl.find to string keys (not strictly related to this PR).
|
2017-03-24 14:24:36 +01:00 |
|
tbl.mli
|
Optimize lookups by specializing Tbl.find to string keys (not strictly related to this PR).
|
2017-03-24 14:24:36 +01:00 |
|
terminfo.ml
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
terminfo.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
warnings.ml
|
Deprecation warning when checking signature inclusion
|
2017-04-05 19:13:59 +02:00 |
|
warnings.mli
|
Deprecation warning when checking signature inclusion
|
2017-04-05 19:13:59 +02:00 |
9683393625