| .. |
|
HACKING.adoc
|
update utils/HACKING.adoc after 4.10
|
2019-11-05 16:25:44 +01:00 |
|
Makefile
|
Emit each function in a separate section (amd64,i386,arm,arm64)
|
2019-07-15 10:25:26 +01: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 |
|
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
|
Use diversion when calling external tools with a very long argument list (#9492)
|
2020-04-25 19:09:35 +02:00 |
|
ccomp.mli
|
call_linker now returns exit_code for better error response on linking_error, fixes #7141
|
2020-03-23 06:12:05 +05:30 |
|
clflags.ml
|
-dno-locations: hide source locations (and debug events) from IR dumps
|
2020-01-09 15:25:16 +01:00 |
|
clflags.mli
|
-dno-locations: hide source locations (and debug events) from IR dumps
|
2020-01-09 15:25:16 +01:00 |
|
config.mli
|
Add compile-time option -function-sections
|
2019-07-15 10:25:26 +01:00 |
|
config.mlp
|
bump magic numbers for 4.10
|
2019-11-05 16:11:54 +01: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
|
Refactor load path management and initial environment
|
2019-01-30 16:36:38 +00:00 |
|
load_path.mli
|
Fixing typos in various files (#2246)
|
2019-02-13 14:04:56 +01:00 |
|
misc.ml
|
revert #244
|
2019-12-21 15:44:42 +01:00 |
|
misc.mli
|
Fixing typos (#9162)
|
2019-12-04 19:38:02 +00: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
|
Added: Warning 67 description.
|
2020-03-30 21:51:54 +05:30 |
|
warnings.mli
|
Warn about unused functor parameters (#8891)
|
2019-10-14 11:11:01 +01:00 |
9eb9d04751