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

	Commit message (Expand)	Author	Age	Files	Lines
*	PR#6091: Thumb-2 MUL must not set flags.	Benedikt Meurer	2013-07-27	1	-1/+1
*	Port to the ARM 64-bits (AArch64) architecture (experimental).	Xavier Leroy	2013-07-18	8	-0/+1412
*	Fix typo.	Benedikt Meurer	2013-06-26	1	-1/+1
*	[arm] Prefer instructions that enable 16-bit T1 encodings.	Benedikt Meurer	2013-06-26	1	-11/+16
*	PR#6049: support for OpenBSD/macppc	Xavier Leroy	2013-06-24	2	-10/+13
*	fix macppc build (patch by Anil Madhavapeddy)	Gabriel Scherer	2013-06-21	4	-8/+1
*	PR#5580: missed opportunities for constant propagation	Xavier Leroy	2013-06-07	1	-9/+21
*	Improved implementation of OCAMLPARAM	Fabrice Le Fessant	2013-06-05	2	-3/+3
*	Re-add configure option -with-frame-pointers	Fabrice Le Fessant	2013-06-03	10	-28/+77
*	Reverting -with-frame-pointers	Fabrice Le Fessant	2013-06-03	9	-73/+25
*	Add -with-frame-pointers to ./configure	Fabrice Le Fessant	2013-06-03	9	-25/+73
*	add [open Types] back to cmmgen as it is used after the 4.00 merge	Gabriel Scherer	2013-05-22	1	-0/+1
*	merge changes from version/4.00 from 4.00.1 to r13697	Damien Doligez	2013-05-22	1	-5/+12
*	[arm] Fix code generation bug with "mod 1" (PR#5910).	Benedikt Meurer	2013-05-08	1	-1/+1
*	fix broken bswap on MSVC64	Damien Doligez	2013-05-07	1	-3/+3
*	#5832: patch to improve 'wrong file naming' error messages.	Alain Frisch	2013-04-29	4	-14/+16
*	PR#5933 type-specialize 'let compare = compare' on ints and strings	Gabriel Scherer	2013-03-19	6	-7/+15
*	PR#5933: don't generate _app shortcuts above fixed arity to avoid quadratic b...	Gabriel Scherer	2013-03-19	1	-3/+10
*	fix a few problems with whitespace and over-long lines	Damien Doligez	2013-03-09	9	-51/+72
*	[coloring] Validate physical register offsets.	Benedikt Meurer	2013-01-13	1	-4/+12
*	[arm] Fix typo in is_simple_expr.	Benedikt Meurer	2013-01-13	1	-2/+2
*	[coloring] No need to test for "well-typed" interferences.	Benedikt Meurer	2013-01-07	1	-21/+11
*	[interf] Don't record "ill-typed" interferences.	Benedikt Meurer	2013-01-07	1	-14/+15
*	[arm] Inlined byte-swap operations are simple if their arguments are.	Benedikt Meurer	2013-01-06	1	-0/+5
*	[arm] Implement the byte swap operations (PR#5774).	Benedikt Meurer	2013-01-06	3	-8/+28
*	[arm] Fix arch selection with ARMv6. Rename EABI_VFP to EABI_HF.	Benedikt Meurer	2012-12-29	2	-22/+22
*	[arm] Improve register pressure for interval splitting.	Benedikt Meurer	2012-12-28	1	-6/+12
*	Slightly improve ordering of constrained registers.	Benedikt Meurer	2012-12-27	1	-2/+8
*	Collect the constrained registers into a set.	Benedikt Meurer	2012-12-21	1	-8/+13
*	PR#5181: Merge common floating point constants in ocamlopt.	Benedikt Meurer	2012-12-21	4	-101/+132
*	Simplify and optimize the coloring algorithm.	Benedikt Meurer	2012-12-20	1	-208/+185
*	Fix whitespace in emitted AMD64 code.	Benedikt Meurer	2012-12-20	1	-4/+4
*	Combine the first two coloring passes.	Benedikt Meurer	2012-12-20	1	-47/+18
*	Compute the degrees while building the interference graph.	Benedikt Meurer	2012-12-20	2	-15/+12
*	PR#5774: Add bswap primitives for amd64	Fabrice Le Fessant	2012-11-29	6	-1/+88
*	PR#5824: avoid tagging before right shifts	Xavier Leroy	2012-11-17	1	-3/+17
*	PR#5771: Add primitives for reading 2, 4, 8 bytes in strings and bigarrays	Fabrice Le Fessant	2012-11-09	6	-0/+273
*	PR#5795: Generate sqrtsd opcode instead of external call to sqrt on amd64	Fabrice Le Fessant	2012-11-09	4	-0/+24
*	PR#5810: error in switch printing when using -dclambda	Xavier Clerc	2012-11-07	1	-6/+6
*	PR#5762: Add primitives for fast access to bigarray dimensions	Fabrice Le Fessant	2012-11-06	1	-0/+3
*	#5798: Apply patch to add VFPv2 and ARMv6 hard-float support (Jeffrey Scofiel...	Benedikt Meurer	2012-10-24	5	-15/+24
*	#5784: -dclambda option is ignored.	Alain Frisch	2012-10-16	2	-1/+6
*	remove all $Id keywords	Damien Doligez	2012-10-15	90	-180/+0
*	PR#5707: in AMD64 port, exchange the roles of r10-r11 and r12-r13,	Xavier Leroy	2012-09-08	3	-20/+22
*	Remove some "open" to please the new warnings.	Xavier Leroy	2012-08-20	3	-5/+1
*	PR#5731: take destroyed registers into account during scheduling.	Xavier Leroy	2012-08-20	1	-20/+48
*	clean up TABs and whitespace	Damien Doligez	2012-07-30	6	-76/+74
*	merge changes from 4.00 branching to 4.00.0 (part 1)	Damien Doligez	2012-07-26	2	-37/+37
*	Fix PR#5698: remove harcoded limit of 200000 labels in emitaux.ml	Fabrice Le Fessant	2012-07-24	1	-3/+1
*	Fix PR#5695 (Redoing commit 12756 without unwanted changes)	Fabrice Le Fessant	2012-07-22	3	-3/+0