summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * Accept change of internal ids.Alain Frisch2013-10-232-12/+12
| * Support for exception values allocated in the static area (e.g. out of bound ...Alain Frisch2013-10-235-2/+9
| * Cleanup.Alain Frisch2013-10-231-1/+0
| * Add two functions to get the exception slot id and name from an exception value.Alain Frisch2013-10-232-0/+33
| * Change the representation of exception slots: instead of being represented as...Alain Frisch2013-10-2318-56/+72
| * Revert bad(?) commit.Alain Frisch2013-10-181-4/+4
| * Fix Out_of_memory/Stack_overflow.Alain Frisch2013-10-184-27/+13
| * Also adapt the native system.Alain Frisch2013-10-181-7/+1
| * #6203: change representation of exception values created with a constant cons...Alain Frisch2013-10-1813-39/+30
| * Support for AMD64, Intel syntax (i.e. MVSC 64 port).Alain Frisch2013-10-152-5/+23
| * Fix testsuite.Alain Frisch2013-10-152-3/+5
| * Support the two variants on i386, intel syntax (i.e. Win32 msvc port).Alain Frisch2013-10-152-6/+24
| * Support the two variants on i386.Alain Frisch2013-10-152-5/+22
| * Adapt sparc backend (stacktraces not supported anyway).Alain Frisch2013-10-151-1/+1
| * Support raise_notrace under powerpc (not tested). Do not distinguish raise/re...Alain Frisch2013-10-151-4/+6
| * Support raise_notrace under arm/arm64 (not tested). Do not distinguish raise/...Alain Frisch2013-10-152-5/+9
| * Cleanup.Alain Frisch2013-10-143-9/+3
| * Support for raise variants in ocamlopt. Only amd64 for now.Alain Frisch2013-10-1422-43/+68
| * Rename raise_nostack -> raise_notrace. Expose it in Pervasives.Alain Frisch2013-10-1414-14/+18
| * Recognize reraises in handlers.Alain Frisch2013-10-142-3/+29
| * #6203, #5935: variants of raise. 'reraise' is currently only inserted by the ...Alain Frisch2013-10-1421-27/+65
| * Branch to experiment with variants of the raise primitive.Alain Frisch2013-10-140-0/+0
* | update for trunkJacques Garrigue2013-11-131-130/+133
* | Fix PR#6235 + keep typing of pattern cases independent in principal modeJacques Garrigue2013-11-135-6/+87
* | [arm] Improve code selection for shifted arithmetic operations.Benedikt Meurer2013-11-113-56/+74
* | build: make CAMLOPT_BIN default to "no-opt-compiler-available".Wojciech Meyer2013-11-101-2/+3
* | build: always build lex/ and ocamlc with the compiler from boot/.Wojciech Meyer2013-11-105-10/+10
* | myocamlbuild.ml: only build with .opt compilers if they're more recent.Wojciech Meyer2013-11-101-11/+21
* | Fix typos and wording (#6231).Alain Frisch2013-11-085-7/+7
* | PR#6227 continued: problem with preferences between different register classes.Xavier Leroy2013-11-081-1/+5
* | Remove use of deprecated features (#6227, patch by johnwhitington).Alain Frisch2013-11-071-6/+6
* | #6042: fix msvc64 port.Alain Frisch2013-11-051-4/+48
* | bound checking bug with caml_string_{get,set}{16,32,64}: fix the runtime C codeGabriel Scherer2013-11-051-6/+6
* | Improve code generation for subtraction.Benedikt Meurer2013-11-041-1/+5
* | [arm] Fix bug in div/mod by constant.Benedikt Meurer2013-11-042-14/+17
* | Further refactor code generation for multiplication.Benedikt Meurer2013-11-041-5/+8
* | #6042: fix Intel syntax.Alain Frisch2013-11-041-2/+2
* | PR#6222: The mls instruction is not available on ARMv6.Benedikt Meurer2013-11-041-2/+8
* | [arm] r12 is destroyed for constants that are not a power of 2.Benedikt Meurer2013-11-021-1/+1
* | [arm] Optimize integer division and modulus by constant.Benedikt Meurer2013-11-023-26/+81
* | Compile multiplication by power of 2 constant to left shift.Benedikt Meurer2013-11-021-1/+3
* | Follow-up to commit r14254: optimization of immediate division and modulus fo...Xavier Leroy2013-11-012-12/+36
* | Follow-up to commit r14254: optimization of division and modulus by constants...Xavier Leroy2013-11-014-34/+115
* | Follow-up to commit r14254: update destroyed_at_oper and max_register_pressureXavier Leroy2013-11-011-4/+5
* | PR#6042: optimize integer division and modulus when divisor is constant.Xavier Leroy2013-11-017-21/+297
* | PR#6216: inlining of GADT matches generates invalid assemblyXavier Leroy2013-10-302-7/+17
* | Add test for PR#6216. Not fixed yet.Jacques Garrigue2013-10-304-1/+17
* | Fix PR#6174 (-rectypes case)Jacques Garrigue2013-10-285-9/+26
* | Fix PR#6174 (non -rectypes)Jacques Garrigue2013-10-285-1/+22
|/
* Fix testsuite.Alain Frisch2013-10-102-2/+2