.. |
base_types
|
Additional executable file from GPR#614
|
2019-02-27 10:19:09 +00:00 |
alias_analysis.ml
|
Remove unnecesary executable bit from sources
|
2019-02-27 10:09:08 +00:00 |
alias_analysis.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
allocated_const.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
allocated_const.mli
|
Use bit-pattern comparison when meeting float approximations.
|
2018-06-01 11:42:51 +01:00 |
augment_specialised_args.ml
|
Remove unnecesary executable bit from sources
|
2019-02-27 10:09:08 +00:00 |
augment_specialised_args.mli
|
Flambda: Add [Closure_origin.t] to trace inlined functions (merged) (#1707)
|
2018-04-10 10:33:28 +01:00 |
backend_intf.mli
|
Remove unnecesary executable bit from sources
|
2019-02-27 10:09:08 +00:00 |
closure_conversion.ml
|
Remove unnecesary executable bit from sources
|
2019-02-27 10:09:08 +00:00 |
closure_conversion.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
closure_conversion_aux.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
closure_conversion_aux.mli
|
Remove unnecesary executable bit from sources
|
2019-02-27 10:09:08 +00:00 |
debuginfo.ml
|
Avoid losing information when using Debuginfo.from_location
|
2018-10-17 11:22:57 +01:00 |
debuginfo.mli
|
Avoid losing information when using Debuginfo.from_location
|
2018-10-17 11:22:57 +01:00 |
effect_analysis.ml
|
Rename for_primitive_clambda to for_primitive
|
2019-02-11 17:16:44 +01:00 |
effect_analysis.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
extract_projections.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
extract_projections.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
find_recursive_functions.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
find_recursive_functions.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
flambda.ml
|
Add a few utility functions in Misc (#2284)
|
2019-03-15 11:28:19 +00:00 |
flambda.mli
|
Remove unnecesary executable bit from sources
|
2019-02-27 10:09:08 +00:00 |
flambda_invariants.ml
|
Remove unnecesary executable bit from sources
|
2019-02-27 10:09:08 +00:00 |
flambda_invariants.mli
|
Push clambda_primitives to flambda
|
2019-02-11 17:16:44 +01:00 |
flambda_iterators.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
flambda_iterators.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
flambda_utils.ml
|
Add a few utility functions in Misc (#2284)
|
2019-03-15 11:28:19 +00:00 |
flambda_utils.mli
|
middle_end: break a cycle
|
2018-09-12 16:13:51 +01:00 |
freshening.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
freshening.mli
|
Shadow the polymorphic comparison in the middle-end (#1811)
|
2018-07-11 13:50:02 +02:00 |
inconstant_idents.ml
|
Remove unnecesary executable bit from sources
|
2019-02-27 10:09:08 +00:00 |
inconstant_idents.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
initialize_symbol_to_let_symbol.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
initialize_symbol_to_let_symbol.mli
|
Avoid generating initialization code for init symbol of constants
|
2018-01-21 13:47:12 +01:00 |
inline_and_simplify.ml
|
Remove unnecesary executable bit from sources
|
2019-02-27 10:09:08 +00:00 |
inline_and_simplify.mli
|
Add option to dump the output of e.g. -dlambda in a file (#1913)
|
2018-07-27 08:51:53 +01:00 |
inline_and_simplify_aux.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
inline_and_simplify_aux.mli
|
Remove unnecesary executable bit from sources
|
2019-02-27 10:09:08 +00:00 |
inlining_cost.ml
|
Add a few utility functions in Misc (#2284)
|
2019-03-15 11:28:19 +00:00 |
inlining_cost.mli
|
Shadow the polymorphic comparison in the middle-end (#1811)
|
2018-07-11 13:50:02 +02:00 |
inlining_decision.ml
|
Remove unnecesary executable bit from sources
|
2019-02-27 10:09:08 +00:00 |
inlining_decision.mli
|
Reduce the size of cmx files in classic mode (flambda) (#1665)
|
2018-04-06 09:26:43 -04:00 |
inlining_decision_intf.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
inlining_stats.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
inlining_stats.mli
|
Improve location handling in the middle end (version for merging) (#666)
|
2016-07-06 15:42:29 +01:00 |
inlining_stats_types.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
inlining_stats_types.mli
|
Reduce the size of cmx files in classic mode (flambda) (#1665)
|
2018-04-06 09:26:43 -04:00 |
inlining_transforms.ml
|
Remove unnecesary executable bit from sources
|
2019-02-27 10:09:08 +00:00 |
inlining_transforms.mli
|
Reduce the size of cmx files in classic mode (flambda) (#1665)
|
2018-04-06 09:26:43 -04:00 |
int_replace_polymorphic_compare.ml
|
Shadow the polymorphic comparison in the middle-end (#1811)
|
2018-07-11 13:50:02 +02:00 |
int_replace_polymorphic_compare.mli
|
Shadow the polymorphic comparison in the middle-end (#1811)
|
2018-07-11 13:50:02 +02:00 |
internal_variable_names.ml
|
Clean Clambda_primitive
|
2019-02-11 17:16:43 +01:00 |
internal_variable_names.mli
|
Clean Clambda_primitive
|
2019-02-11 17:16:43 +01:00 |
invariant_params.ml
|
Remove unnecesary executable bit from sources
|
2019-02-27 10:09:08 +00:00 |
invariant_params.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
lift_code.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
lift_code.mli
|
Reduce cmx sizes by sharing variable names (#1627)
|
2018-04-09 08:43:47 +01:00 |
lift_constants.ml
|
List.filter_map (#2185)
|
2018-12-12 16:29:50 +01:00 |
lift_constants.mli
|
fix several typos in comments
|
2017-02-13 17:09:50 +01:00 |
lift_let_to_initialize_symbol.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
lift_let_to_initialize_symbol.mli
|
fix several typos in comments
|
2017-02-13 17:09:50 +01:00 |
middle_end.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
middle_end.mli
|
Add option to dump the output of e.g. -dlambda in a file (#1913)
|
2018-07-27 08:51:53 +01:00 |
parameter.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
parameter.mli
|
Reduce cmx sizes by sharing variable names (#1627)
|
2018-04-09 08:43:47 +01:00 |
pass_wrapper.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
pass_wrapper.mli
|
Add option to dump the output of e.g. -dlambda in a file (#1913)
|
2018-07-27 08:51:53 +01:00 |
projection.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
projection.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
ref_to_variables.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
ref_to_variables.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
remove_free_vars_equal_to_args.ml
|
Remove unnecesary executable bit from sources
|
2019-02-27 10:09:08 +00:00 |
remove_free_vars_equal_to_args.mli
|
Add option to dump the output of e.g. -dlambda in a file (#1913)
|
2018-07-27 08:51:53 +01:00 |
remove_unused_arguments.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
remove_unused_arguments.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
remove_unused_closure_vars.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
remove_unused_closure_vars.mli
|
Attend to final Flambda CR comments for 4.03 release
|
2016-03-30 11:29:34 +02:00 |
remove_unused_program_constructs.ml
|
List.filter_map (#2185)
|
2018-12-12 16:29:50 +01:00 |
remove_unused_program_constructs.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
share_constants.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
share_constants.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
simple_value_approx.ml
|
Fixing typos in various files (#2246)
|
2019-02-13 14:04:56 +01:00 |
simple_value_approx.mli
|
Fixing typos in various files (#2246)
|
2019-02-13 14:04:56 +01:00 |
simplify_boxed_integer_ops.ml
|
Push clambda_primitives to flambda
|
2019-02-11 17:16:44 +01:00 |
simplify_boxed_integer_ops.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
simplify_boxed_integer_ops_intf.mli
|
Push clambda_primitives to flambda
|
2019-02-11 17:16:44 +01:00 |
simplify_common.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
simplify_common.mli
|
Shadow the polymorphic comparison in the middle-end (#1811)
|
2018-07-11 13:50:02 +02:00 |
simplify_primitives.ml
|
Push clambda_primitives to flambda
|
2019-02-11 17:16:44 +01:00 |
simplify_primitives.mli
|
Push clambda_primitives to flambda
|
2019-02-11 17:16:44 +01:00 |
unbox_closures.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
unbox_closures.mli
|
Flambda: Add [Closure_origin.t] to trace inlined functions (merged) (#1707)
|
2018-04-10 10:33:28 +01:00 |
unbox_free_vars_of_closures.ml
|
Fix PR6638: add dedicated wrning for "unused open!" (#1110)
|
2018-11-09 13:41:34 +01:00 |
unbox_free_vars_of_closures.mli
|
Update headers for the new license.
|
2016-02-18 16:59:16 +01:00 |
unbox_specialised_args.ml
|
Remove unnecesary executable bit from sources
|
2019-02-27 10:09:08 +00:00 |
unbox_specialised_args.mli
|
Flambda: Add [Closure_origin.t] to trace inlined functions (merged) (#1707)
|
2018-04-10 10:33:28 +01:00 |