delta/ocaml.git - github.com: ocaml/ocaml

	Commit message (Expand)	Author	Age	Files	Lines
*	Some fixes, in particular for Windows.flambda_trunk	alainfrisch	2015-12-01	1	-0/+5
*	fix Invariant_params (fixes Coq compilation) and tidy up a bit	Mark Shinwell	2015-11-30	3	-75/+68
*	remove debug message	Mark Shinwell	2015-11-27	1	-2/+0
*	merge	Mark Shinwell	2015-11-27	1	-2/+1
\|\
\| *	Merge branch 'flambda_trunk' of https://github.com/chambart/ocaml-1 into flam...	Mark Shinwell	2015-11-27	3	-11/+9
\| \|\
\| * \|	fix opaque	Mark Shinwell	2015-11-27	1	-2/+1
* \| \|	per-round optimization params	Mark Shinwell	2015-11-27	6	-26/+91
\| \|/ \|/\|
* \|	fix round numbers for inlining stats files	Mark Shinwell	2015-11-27	3	-11/+9
\|/
*	Fix missed If_then_else simplification opportunities	Pierre Chambart	2015-11-26	1	-2/+3
*	lift_lets split let_recs	Pierre Chambart	2015-11-26	1	-0/+34
*	More aggressive functor heuristic on real functors	Pierre Chambart	2015-11-26	1	-3/+4
*	Print functor property	Pierre Chambart	2015-11-26	1	-2/+8
*	Propagate is_a_functor to middle_end	Pierre Chambart	2015-11-26	13	-14/+40
*	Avoid computing the set of recursive functions when not really needed	Pierre Chambart	2015-11-26	1	-7/+11
*	Merge remote-tracking branch 'lpw25/flambda_trunk' into flambda_trunk	Mark Shinwell	2015-11-26	8	-11/+38
\|\
\| *	Add a comment and a CR	Leo White	2015-11-25	2	-2/+7
\| *	CRs	Leo White	2015-11-25	2	-5/+5
\| *	Check mutable variables are not inside closures	Leo White	2015-11-25	1	-2/+2
\| *	Add CR	Leo White	2015-11-25	1	-0/+1
\| *	Expose char functions in simple_value_approx	Leo White	2015-11-25	1	-0/+2
\| *	Print inline attribute on applications	Leo White	2015-11-25	1	-3/+9
\| *	CRs	Leo White	2015-11-25	2	-1/+2
\| *	Keep chars as chars	Leo White	2015-11-25	1	-3/+3
\| *	Some CRs	Leo White	2015-11-25	5	-2/+14
* \|	propagate information about Initialization and Assignment, should fix CSE bad...	Mark Shinwell	2015-11-26	3	-4/+11
\|/
*	formatting only	Mark Shinwell	2015-11-24	1	-68/+63
*	improve simplify_var again, literals have priority	Mark Shinwell	2015-11-24	1	-15/+15
*	simplify variables to Symbol and Read_symbol_field	Mark Shinwell	2015-11-24	1	-12/+17
*	Mostly rewriten Lift_let_to_initialize_symbol to avoid quadratic cases	Pierre Chambart	2015-11-24	1	-156/+115
*	remove comments	Mark Shinwell	2015-11-23	1	-18/+0
*	comment and headers	Mark Shinwell	2015-11-23	2	-0/+27
*	implement Pervasives.opaque	Mark Shinwell	2015-11-23	2	-0/+6
*	revert 4e65a33541598530ae089f597e4c12c999f75007	Mark Shinwell	2015-11-23	1	-2/+0
*	temporarily disable warning 55 from middle_end.ml	Mark Shinwell	2015-11-23	1	-0/+2
*	merge with upstream trunk - compilation fixes	Mark Shinwell	2015-11-23	1	-6/+15
*	stop calling things 'named'	Mark Shinwell	2015-11-20	6	-16/+38
*	Do not increase the inlining level when the made choices are certain.	Pierre Chambart	2015-11-20	1	-1/+8
*	improve specialised_args comment	Mark Shinwell	2015-11-19	1	-2/+5
*	compiler flags	Mark Shinwell	2015-11-19	4	-25/+22
*	merge with trunk	Mark Shinwell	2015-11-19	1	-8/+11
\|\
\| *	Inline_and_simplify can get rid of stub functions even with ~inline:false	Pierre Chambart	2015-11-19	1	-8/+11
* \|	correct error in earlier commit	Mark Shinwell	2015-11-19	1	-0/+1
* \|	comments about GPR#295-related issues	Mark Shinwell	2015-11-19	3	-5/+5
\|/
*	Merge invariant_params and param_aliasing	Pierre Chambart	2015-11-17	8	-29/+28
*	Add optionnal dumping to unbox-closures	Pierre Chambart	2015-11-16	1	-9/+12
*	revert Inlining_decision change but leave CR	Mark Shinwell	2015-11-16	1	-2/+2
*	fix CR	Mark Shinwell	2015-11-16	1	-1/+1
*	Merge branch 'flambda_trunk' of https://github.com/chambart/ocaml-1 into flam...	Mark Shinwell	2015-11-16	8	-9/+66
\|\
\| *	Compute aliasing of funtion argument parameters	Pierre Chambart	2015-11-14	8	-9/+66
* \|	improvements to Inlining_stats and one change in Inlining_decision	Mark Shinwell	2015-11-16	8	-21/+68
\|/