| .. |
|
HACKING.adoc
|
update utils/HACKING.adoc after 4.10
|
2019-11-05 16:25:44 +01:00 |
|
Makefile
|
Remove Spacetime
|
2020-10-08 20:28:12 +02:00 |
|
arg_helper.ml
|
Misc.Stdlib.String.split -> String.split_on_char.
|
2016-07-11 15:01:32 +02:00 |
|
arg_helper.mli
|
manual: compiler-libs.mld -> compiler_libs.mld
|
2018-09-12 16:32:37 +02:00 |
|
binutils.ml
|
Add module utils/binutils
|
2020-07-02 06:40:10 +02:00 |
|
binutils.mli
|
Add module utils/binutils
|
2020-07-02 06:40:10 +02:00 |
|
build_path_prefix_map.ml
|
Add missing copyright headers
|
2018-06-13 09:37:49 +01:00 |
|
build_path_prefix_map.mli
|
manual: compiler-libs.mld -> compiler_libs.mld
|
2018-09-12 16:32:37 +02:00 |
|
ccomp.ml
|
Simpler implementation of Ccomp.linker_is_flexlink
|
2020-09-21 10:11:39 +01:00 |
|
ccomp.mli
|
Fix -fdebug-prefix-map when using flexlink
|
2020-09-21 10:11:39 +01:00 |
|
clflags.ml
|
ability to restart compilation from .cmir-linear IR files
|
2020-10-13 15:07:13 +02:00 |
|
clflags.mli
|
ability to restart compilation from .cmir-linear IR files
|
2020-10-13 15:07:13 +02:00 |
|
config.mli
|
Centralized tracking of frontend's global state (#9963)
|
2020-10-15 14:47:19 +02:00 |
|
config.mlp
|
Bump magic numbers for 4.12 (and trunk)
|
2020-10-19 15:33:26 +02:00 |
|
consistbl.ml
|
[refactoring] use named fields for Consistbl.Inconsistency exception
|
2019-11-07 15:07:46 +01:00 |
|
consistbl.mli
|
[refactoring] use named fields for Consistbl.Inconsistency exception
|
2019-11-07 15:07:46 +01:00 |
|
domainstate.ml.c
|
Remove inclusion of config.h from the files that generate domain state table.
|
2019-08-23 09:50:05 +05:30 |
|
domainstate.mli.c
|
Fix copyright headers again
|
2019-08-23 09:50:05 +05:30 |
|
dune
|
fix the dune build
|
2020-05-03 10:11:47 +02:00 |
|
identifiable.ml
|
Map.filter_map and Set.filter_map
|
2020-03-31 15:01:41 +02:00 |
|
identifiable.mli
|
Map.filter_map and Set.filter_map
|
2020-03-31 15:01:41 +02:00 |
|
int_replace_polymorphic_compare.ml
|
Move some middle-end files around (#2281)
|
2019-04-01 17:18:47 +01:00 |
|
int_replace_polymorphic_compare.mli
|
Move some middle-end files around (#2281)
|
2019-04-01 17:18:47 +01:00 |
|
load_path.ml
|
Centralized tracking of frontend's global state (#9963)
|
2020-10-15 14:47:19 +02:00 |
|
load_path.mli
|
Fix load path ordering (#9611)
|
2020-06-03 00:10:38 +02:00 |
|
local_store.ml
|
Centralized tracking of frontend's global state (#9963)
|
2020-10-15 14:47:19 +02:00 |
|
local_store.mli
|
Centralized tracking of frontend's global state (#9963)
|
2020-10-15 14:47:19 +02:00 |
|
misc.ml
|
More partial application warnings
|
2020-06-02 12:11:41 +01:00 |
|
misc.mli
|
More partial application warnings
|
2020-06-02 12:11:41 +01:00 |
|
numbers.ml
|
Do not emit references to dead labels (spacetime) (#9097)
|
2019-11-26 12:06:19 +00:00 |
|
numbers.mli
|
Do not emit references to dead labels (spacetime) (#9097)
|
2019-11-26 12:06:19 +00:00 |
|
profile.ml
|
Use reraise_raw_backtrace in Misc.try_finally
|
2018-07-25 17:58:32 +02:00 |
|
profile.mli
|
manual: compiler-libs.mld -> compiler_libs.mld
|
2018-09-12 16:32:37 +02:00 |
|
strongly_connected_components.ml
|
More warnings when compiling the compiler.
|
2016-03-15 22:46:35 +01:00 |
|
strongly_connected_components.mli
|
manual: compiler-libs.mld -> compiler_libs.mld
|
2018-09-12 16:32:37 +02:00 |
|
targetint.ml
|
Add {Int32,Int64,Nativeint}.unsigned_{compare,div,rem}
|
2018-11-10 12:48:11 +01:00 |
|
targetint.mli
|
Doc
|
2018-11-10 12:48:33 +01:00 |
|
terminfo.ml
|
Whitespace and overlong line fixes.
|
2018-06-14 15:15:34 +01:00 |
|
terminfo.mli
|
manual: compiler-libs.mld -> compiler_libs.mld
|
2018-09-12 16:32:37 +02:00 |
|
warnings.ml
|
Allow `[@tailcall true]` and `[@tailcall false]` (#9754)
|
2020-10-10 13:41:39 +02:00 |
|
warnings.mli
|
Allow `[@tailcall true]` and `[@tailcall false]` (#9754)
|
2020-10-10 13:41:39 +02:00 |
55973d1203