| .. |
|
amd64
|
s/string_of_int/Int.to_string/g
|
2018-11-07 13:52:02 +01:00 |
|
arm
|
Add [Proc.destroyed_at_reloadretaddr] (#2065)
|
2018-10-15 12:53:27 +01:00 |
|
arm64
|
Add [Proc.destroyed_at_reloadretaddr] (#2065)
|
2018-10-15 12:53:27 +01:00 |
|
debug
|
GPR#2056 (Backend_var)
|
2018-09-28 17:59:01 +02:00 |
|
i386
|
Add [Proc.destroyed_at_reloadretaddr] (#2065)
|
2018-10-15 12:53:27 +01:00 |
|
power
|
Add [Proc.destroyed_at_reloadretaddr] (#2065)
|
2018-10-15 12:53:27 +01:00 |
|
s390x
|
Add [Proc.destroyed_at_reloadretaddr] (#2065)
|
2018-10-15 12:53:27 +01:00 |
|
CSEgen.ml
|
Deprecate Pervasives (#1605)
|
2018-08-27 12:42:14 +01:00 |
|
CSEgen.mli
|
Fixing typos in various files (#2246)
|
2019-02-13 14:04:56 +01:00 |
|
afl_instrument.ml
|
Phantom let support in Cmm (#2070)
|
2018-10-16 07:20:56 +01:00 |
|
afl_instrument.mli
|
Instrumentation for american fuzzy lop (afl-fuzz) (#504)
|
2016-12-06 17:18:04 +01:00 |
|
asmgen.ml
|
Merge pull request #2088 from mshinwell/symbol_provenance
|
2019-01-15 14:38:15 +01:00 |
|
asmgen.mli
|
Add option to dump the output of e.g. -dlambda in a file (#1913)
|
2018-07-27 08:51:53 +01:00 |
|
asmlibrarian.ml
|
Refactor load path management and initial environment
|
2019-01-30 16:36:38 +00:00 |
|
asmlibrarian.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
asmlink.ml
|
refactoring: use Misc type aliases in asmcomp/asmlink.ml
|
2019-01-30 22:37:13 +01:00 |
|
asmlink.mli
|
refactoring: use Misc type aliases in asmcomp/asmlink.ml
|
2019-01-30 22:37:13 +01:00 |
|
asmpackager.ml
|
Refactor load path management and initial environment
|
2019-01-30 16:36:38 +00:00 |
|
asmpackager.mli
|
Add option to dump the output of e.g. -dlambda in a file (#1913)
|
2018-07-27 08:51:53 +01:00 |
|
backend_var.ml
|
GPR#2056 (Backend_var)
|
2018-09-28 17:59:01 +02:00 |
|
backend_var.mli
|
GPR#2056 (Backend_var)
|
2018-09-28 17:59:01 +02:00 |
|
branch_relaxation.ml
|
Rename Mach.Ialloc record field from _words_ to _bytes_ and fix logic in a couple of places (#2074)
|
2018-10-02 16:00:03 +01:00 |
|
branch_relaxation.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
branch_relaxation_intf.ml
|
Rename Mach.Ialloc record field from _words_ to _bytes_ and fix logic in a couple of places (#2074)
|
2018-10-02 16:00:03 +01:00 |
|
build_export_info.ml
|
Push clambda_primitives to flambda
|
2019-02-11 17:16:44 +01:00 |
|
build_export_info.mli
|
Further reduce the size of cmx files (flambda) (#1666)
|
2018-04-09 07:46:50 +01:00 |
|
clambda.ml
|
Define and use Clambda_primitives
|
2019-02-11 17:16:43 +01:00 |
|
clambda.mli
|
Define and use Clambda_primitives
|
2019-02-11 17:16:43 +01:00 |
|
clambda_primitives.ml
|
Please check-typo
|
2019-02-12 16:35:25 +01:00 |
|
clambda_primitives.mli
|
Please check-typo
|
2019-02-12 16:35:25 +01:00 |
|
closure.ml
|
Rename is_pure_clambda to is_pure
|
2019-02-11 17:16:44 +01:00 |
|
closure.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
closure_offsets.ml
|
Further reduce the size of cmx files (flambda) (#1666)
|
2018-04-09 07:46:50 +01:00 |
|
closure_offsets.mli
|
Further reduce the size of cmx files (flambda) (#1666)
|
2018-04-09 07:46:50 +01:00 |
|
cmm.ml
|
Phantom let support in Cmm (#2070)
|
2018-10-16 07:20:56 +01:00 |
|
cmm.mli
|
Phantom let support in Cmm (#2070)
|
2018-10-16 07:20:56 +01:00 |
|
cmmgen.ml
|
Merge pull request #1579 from chambart/split_backend_primitives
|
2019-02-14 15:30:37 +01:00 |
|
cmmgen.mli
|
Make (nat)dynlink sound
|
2018-11-12 17:44:26 +00:00 |
|
cmx_format.mli
|
refactoring: use Misc type aliases in asmcomp/cmx_format
|
2019-01-30 22:37:13 +01:00 |
|
coloring.ml
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
coloring.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
comballoc.ml
|
Ensure that comballoc.ml does not reverse the order of allocations (#1917)
|
2018-11-14 14:57:37 +00:00 |
|
comballoc.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
compilenv.ml
|
Refactor load path management and initial environment
|
2019-01-30 16:36:38 +00:00 |
|
compilenv.mli
|
Fixing typos in various files (#2246)
|
2019-02-13 14:04:56 +01:00 |
|
convert_primitives.ml
|
Please check-typo
|
2019-02-12 16:35:25 +01:00 |
|
convert_primitives.mli
|
Define and use Clambda_primitives
|
2019-02-11 17:16:43 +01:00 |
|
deadcode.ml
|
Add a recursive flag on the Ccatch construct
|
2016-10-28 13:03:59 +02:00 |
|
deadcode.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
dune
|
[minor] fix dune build
|
2019-01-08 15:02:09 +01:00 |
|
emit.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
emitaux.ml
|
s/string_of_int/Int.to_string/g
|
2018-11-07 13:52:02 +01:00 |
|
emitaux.mli
|
Remove duplicate live_offset entries from frametables (#453)
|
2016-12-09 15:41:22 +00:00 |
|
export_info.ml
|
Whitespace and overlong line fixes.
|
2018-06-14 15:15:34 +01:00 |
|
export_info.mli
|
Further reduce the size of cmx files (flambda) (#1666)
|
2018-04-09 07:46:50 +01:00 |
|
export_info_for_pack.ml
|
Flambda: Add [Closure_origin.t] to trace inlined functions (merged) (#1707)
|
2018-04-10 10:33:28 +01:00 |
|
export_info_for_pack.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
flambda_to_clambda.ml
|
Push clambda_primitives to flambda
|
2019-02-11 17:16:44 +01:00 |
|
flambda_to_clambda.mli
|
Further reduce the size of cmx files (flambda) (#1666)
|
2018-04-09 07:46:50 +01:00 |
|
import_approx.ml
|
Further reduce the size of cmx files (flambda) (#1666)
|
2018-04-09 07:46:50 +01:00 |
|
import_approx.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
interf.ml
|
Add a recursive flag on the Ccatch construct
|
2016-10-28 13:03:59 +02:00 |
|
interf.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
interval.ml
|
Correct copyright header formatting
|
2017-10-25 23:54:39 +01:00 |
|
interval.mli
|
Correct copyright header formatting
|
2017-10-25 23:54:39 +01:00 |
|
linearize.ml
|
Add Lprologue (#2055)
|
2018-09-24 10:03:26 +01:00 |
|
linearize.mli
|
Add Lprologue (#2055)
|
2018-09-24 10:03:26 +01:00 |
|
linscan.ml
|
Whitespace and overlong line fixes.
|
2018-06-14 15:15:34 +01:00 |
|
linscan.mli
|
Correct copyright header formatting
|
2017-10-25 23:54:39 +01:00 |
|
liveness.ml
|
liveness: print fatal errors fully on stderr
|
2018-07-15 15:08:48 -04:00 |
|
liveness.mli
|
liveness: print fatal errors fully on stderr
|
2018-07-15 15:08:48 -04:00 |
|
mach.ml
|
Rename Mach.Ialloc record field from _words_ to _bytes_ and fix logic in a couple of places (#2074)
|
2018-10-02 16:00:03 +01:00 |
|
mach.mli
|
Rename Mach.Ialloc record field from _words_ to _bytes_ and fix logic in a couple of places (#2074)
|
2018-10-02 16:00:03 +01:00 |
|
printclambda.ml
|
Push clambda_primitives to flambda
|
2019-02-11 17:16:44 +01:00 |
|
printclambda.mli
|
Push clambda_primitives to flambda
|
2019-02-11 17:16:44 +01:00 |
|
printclambda_primitives.ml
|
Push clambda_primitives to flambda
|
2019-02-11 17:16:44 +01:00 |
|
printclambda_primitives.mli
|
Push clambda_primitives to flambda
|
2019-02-11 17:16:44 +01:00 |
|
printcmm.ml
|
Phantom let support in Cmm (#2070)
|
2018-10-16 07:20:56 +01:00 |
|
printcmm.mli
|
Treat negated float comparisons more directly (#1487)
|
2018-02-28 14:19:46 +01:00 |
|
printlinear.ml
|
Add Lprologue (#2055)
|
2018-09-24 10:03:26 +01:00 |
|
printlinear.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
printmach.ml
|
s/string_of_int/Int.to_string/g
|
2018-11-07 13:52:02 +01:00 |
|
printmach.mli
|
Initial import of linear-scan-register-allocator
|
2017-02-22 17:09:18 +01:00 |
|
proc.mli
|
Add [Proc.destroyed_at_reloadretaddr] (#2065)
|
2018-10-15 12:53:27 +01:00 |
|
reg.ml
|
s/string_of_int/Int.to_string/g
|
2018-11-07 13:52:02 +01:00 |
|
reg.mli
|
GPR#2056 (Backend_var)
|
2018-09-28 17:59:01 +02:00 |
|
reload.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
reloadgen.ml
|
Disable CSE for the initialization function (#1455)
|
2018-03-15 12:59:51 +00:00 |
|
reloadgen.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
schedgen.ml
|
Typos and basic grammar error fixing (#1280)
|
2017-08-10 11:59:23 +01:00 |
|
schedgen.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
scheduling.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
selectgen.ml
|
s/string_of_int/Int.to_string/g
|
2018-11-07 13:52:02 +01:00 |
|
selectgen.mli
|
GPR#2056 (Backend_var)
|
2018-09-28 17:59:01 +02:00 |
|
selection.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
semantics_of_primitives.ml
|
Move Semantics_of_primitives into asmcomp
|
2019-02-11 17:16:44 +01:00 |
|
semantics_of_primitives.mli
|
Move Semantics_of_primitives into asmcomp
|
2019-02-11 17:16:44 +01:00 |
|
spacetime_profiling.ml
|
Rename Mach.Ialloc record field from _words_ to _bytes_ and fix logic in a couple of places (#2074)
|
2018-10-02 16:00:03 +01:00 |
|
spacetime_profiling.mli
|
Spacetime: a new memory profiler (#585)
|
2016-07-29 15:07:10 +01:00 |
|
spill.ml
|
Disable CSE for the initialization function (#1455)
|
2018-03-15 12:59:51 +00:00 |
|
spill.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
split.ml
|
Whitespace and overlong line fixes.
|
2018-06-14 15:15:34 +01:00 |
|
split.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
strmatch.ml
|
s/string_of_int/Int.to_string/g
|
2018-11-07 13:52:02 +01:00 |
|
strmatch.mli
|
Add location information to Lswitch (#859)
|
2017-03-15 15:09:58 +00:00 |
|
traverse_for_exported_symbols.ml
|
Further reduce the size of cmx files (flambda) (#1666)
|
2018-04-09 07:46:50 +01:00 |
|
traverse_for_exported_symbols.mli
|
Further reduce the size of cmx files (flambda) (#1666)
|
2018-04-09 07:46:50 +01:00 |
|
un_anf.ml
|
Rename for_primitive_clambda to for_primitive
|
2019-02-11 17:16:44 +01:00 |
|
un_anf.mli
|
Add option to dump the output of e.g. -dlambda in a file (#1913)
|
2018-07-27 08:51:53 +01:00 |
|
x86_ast.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
x86_dsl.ml
|
Add X86_dsl.r13
|
2016-06-20 11:19:17 +01:00 |
|
x86_dsl.mli
|
Add X86_dsl.r13
|
2016-06-20 11:19:17 +01:00 |
|
x86_gas.ml
|
s/string_of_int/Int.to_string/g
|
2018-11-07 13:52:02 +01:00 |
|
x86_gas.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
x86_masm.ml
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
x86_masm.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
|
x86_proc.ml
|
Pass the elements from `BUILD_PATH_PREFIX_MAP` to the assembler (#1930)
|
2018-07-27 12:25:23 +02:00 |
|
x86_proc.mli
|
Take PLT-clobbered registers into account at Ialloc (#1304)
|
2017-08-28 19:09:57 +02:00 |
1e6c739811