| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | MPR#7591: frametable not 8-aligned on x86-64 port | Xavier Leroy | 2017-07-22 | 1 | -1/+2 |
| * | Fix evaluation order problem (#966) | Mark Shinwell | 2017-02-15 | 1 | -3/+14 |
| * | Remove Istore_symbol (plus some Win64 fixes) (#955) | Mark Shinwell | 2016-12-27 | 6 | -18/+9 |
| * | Remove duplicate live_offset entries from frametables (#453) | KC Sivaramakrishnan | 2016-12-09 | 1 | -6/+2 |
| * | More debuginfo in Cmm | Mark Shinwell | 2016-10-12 | 1 | -22/+22 |
| * | Fix Spacetime assembler comments (MPR#7326) | Mark Shinwell | 2016-08-15 | 1 | -2/+3 |
| * | Spacetime: a new memory profiler (#585) | Mark Shinwell | 2016-07-29 | 5 | -35/+179 |
| * | Specialize raise_kind after cmmgen | François Bobot | 2016-07-28 | 1 | -2/+2 |
| * | Fix backtrace for regular raise on arm64, arm | François Bobot | 2016-07-28 | 1 | -8/+3 |
| * | Hacks so that check_all_arches works even with a 32-bit compiler. | alainfrisch | 2016-07-11 | 1 | -2/+4 |
| * | Merge pull request #645 from mshinwell/delete_cmm_label_stuff | Alain Frisch | 2016-07-10 | 1 | -7/+0 |
| |\ |
|
| | * | Remove Cdefine_label and Clabel_address | Mark Shinwell | 2016-06-29 | 1 | -7/+0 |
| * | | Improve location handling in the middle end (version for merging) (#666) | Mark Shinwell | 2016-07-06 | 1 | -11/+13 |
| * | | Labels after calls, call GC points and checkbound points (again) (#660) | Mark Shinwell | 2016-07-06 | 4 | -41/+49 |
| * | | Revert "Labels after calls, call GC points and checkbound points" | Alain Frisch | 2016-07-01 | 4 | -49/+41 |
| * | | Labels after calls, call GC points and checkbound points (#644) | Mark Shinwell | 2016-07-01 | 4 | -41/+49 |
| * | | Rename Cconst_blockheader to Cblockheader (#642) | Mark Shinwell | 2016-06-30 | 1 | -1/+1 |
| |/ |
|
| * | Decorate more Cmm terms with location information (#627) | Mark Shinwell | 2016-06-27 | 1 | -1/+2 |
| * | In frame tables, distinguish data pointers from code pointers | Xavier Leroy | 2016-06-27 | 1 | -1/+2 |
| * | More warnings when compiling the compiler. | alainfrisch | 2016-03-15 | 5 | -22/+14 |
| * | Update headers for the new license. | Damien Doligez | 2016-02-18 | 7 | -77/+98 |
| * | clean up whitespace and cut long lines | Damien Doligez | 2016-02-17 | 1 | -1/+0 |
| * | Merge pull request #408 from btj/trunk | Damien Doligez | 2016-02-12 | 1 | -0/+7 |
| |\ |
|
| | * | Add missing .cfi_adjust_cfa_offset before .cfi_endproc | Bart Jacobs | 2016-01-08 | 1 | -0/+7 |
| * | | Generate local jump labels on OS X (PR#7133) | Bart Jacobs | 2016-02-10 | 1 | -3/+2 |
| * | | Rename to max_arguments_for_tailcalls; revise numbers assuming no unboxed flo... | Mark Shinwell | 2016-02-08 | 1 | -1/+1 |
| * | | max_arguments_without_passing_on-stack | Mark Shinwell | 2016-01-29 | 1 | -0/+2 |
| * | | Merge remote-tracking branch 'ocaml/trunk' into flambda_prereq-init_assign | Mark Shinwell | 2016-01-12 | 1 | -0/+22 |
| |\ \
| |/ |
|
| | * | Add notes and pointers to reference documents for each ocamlopt architecture. | Xavier Leroy | 2015-12-20 | 1 | -0/+22 |
| * | | Improved annotations on Psetfield etc | Mark Shinwell | 2015-12-18 | 1 | -1/+1 |
| |/ |
|
| * | PR#7024 and GPR#295: CSE confuses +0.0 and -0.0 | Xavier Leroy | 2015-11-19 | 1 | -4/+3 |
| * | whitespace cleanup, cut long lines, add some missing headers | Damien Doligez | 2015-09-11 | 1 | -3/+3 |
| * | Split 64-bit integers on 32-bit architectures | Jérémie Dimino | 2015-08-25 | 1 | -2/+9 |
| * | More precise typing at the C-- and Mach level. | Xavier Leroy | 2015-07-27 | 3 | -16/+17 |
| |\ |
|
| | * | Update to trunk r16267.cmm-mach-types | Xavier Leroy | 2015-07-27 | 5 | -597/+732 |
| | |\
| |/
|/| |
|
| * | | merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16... | Damien Doligez | 2015-07-17 | 1 | -0/+6 |
| * | | GPR#197: Do not emit [add zsh, %rsp] and [sub zsh, %rsp] (patch from cgaebel). | Alain Frisch | 2015-06-17 | 1 | -7/+16 |
| * | | Support far relocations in Win64, using a custom local implementation of some... | Alain Frisch | 2015-03-11 | 1 | -17/+46 |
| * | | PR#6167: OCAMLPARAM support for disabling PIC generation ('pic=0') | Gabriel Scherer | 2015-01-24 | 4 | -9/+6 |
| * | | Revert previous commits (not ready yet). | Alain Frisch | 2015-01-22 | 1 | -23/+16 |
| * | | Use __flimp_ prefix understood by flexlink, not __imp_. | Alain Frisch | 2015-01-22 | 1 | -1/+1 |
| * | | Adapt amd64 backends under windows in order to avoid relative relocations to ... | Alain Frisch | 2015-01-22 | 1 | -16/+23 |
| * | | Use curried style for X86_dsl. Will adapt 32-bit emit.mlp later. | Alain Frisch | 2014-11-27 | 1 | -85/+85 |
| * | | Rename Intel_* to X86_*. | Alain Frisch | 2014-11-27 | 2 | -8/+8 |
| * | | Fix for MacOSX. | Alain Frisch | 2014-10-06 | 1 | -19/+15 |
| * | | Fix .section directives for MacOSX. | Alain Frisch | 2014-10-06 | 1 | -3/+3 |
| * | | Typo. | Alain Frisch | 2014-10-03 | 1 | -1/+1 |
| * | | Typos. | Alain Frisch | 2014-10-03 | 1 | -1/+1 |
| * | | Get rid of warning attribute. | Alain Frisch | 2014-09-30 | 1 | -2/+0 |
| * | | Inline inner DSL module. | Alain Frisch | 2014-09-30 | 1 | -3/+2 |
