| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | | | * | | | | Remove dead code related to old MMAP_INTERVAL | Jacques-Henri Jourdan | 2016-03-07 | 2 | -34/+0 | |
| | | | | | | | | ||||||
| | | * | | | | | Merge pull request #496 from jhjourdan/fix_bootstrap | Damien Doligez | 2016-03-08 | 3 | -1877/+2201 | |
| | | |\ \ \ \ \ | | | | | | | | | | | | | | | | | Fix coreboot, update .depend | |||||
| | | | * | | | | | * Fix coreboot target. This target calls promote, which itself now | Jacques-Henri Jourdan | 2016-03-07 | 3 | -1877/+2201 | |
| | | | |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | uses tools/stripdebug. This executable has to be ran with the new runtime, not the one in boot/. * Update .depend for byterun/ and asmrun/ | |||||
| | | * | | | | | Merge pull request #495 from jhjourdan/multiple_hooks | Damien Doligez | 2016-03-08 | 1 | -2/+0 | |
| | | |\ \ \ \ \ | | | |/ / / / | | |/| | | | | Remove double calls to caml_finalize_hook | |||||
| | | | * | | | | remove double calls to caml_finalize_hook | Jacques-Henri Jourdan | 2016-03-07 | 1 | -2/+0 | |
| | | |/ / / / | ||||||
| | | * | | | | Merge pull request #493 from adrien-n/mingw-cross-compilation-improvements | Gabriel Scherer | 2016-03-07 | 4 | -94/+69 | |
| | | |\ \ \ \ | | | |_|_|/ | | |/| | | | Mingw cross compilation improvements | |||||
| | | | * | | | Makefile: use "$(EXT_DLL)" instead of hard-cording ".so". | Adrien Nader | 2016-03-05 | 1 | -3/+4 | |
| | | | | | | | ||||||
| | | | * | | | otherlibs/win32unix: factor Makefile.nt and Makefile non-.nt. | Adrien Nader | 2016-03-05 | 3 | -91/+65 | |
| | | | |/ / | ||||||
| | | * | | | Merge branch '4.03' of ssh://github.com/ocaml/ocaml into 4.03 | Jacques Garrigue | 2016-03-06 | 1 | -1/+1 | |
| | | |\ \ \ | ||||||
| | | | * | | | Merge pull request #492 from chambart/fix_dflambda | Gabriel Scherer | 2016-03-05 | 1 | -1/+1 | |
| | | | |/ / | | | | | | | | | | | Fix -dflambda argument | |||||
| | | * | | | Fix PR#7152: lower level of non-generalized variables to binding time of ↵ | Jacques Garrigue | 2016-03-06 | 5 | -6/+93 | |
| | | |/ / | | | | | | | | | | | | | enclosing module | |||||
| | | * | | PR#1956 (partial): do not export marshall_flags | Damien Doligez | 2016-03-03 | 1 | -1/+2 | |
| | | | | | ||||||
| | | * | | Merge pull request #477 from trefis/4.03-docstrings | Mark Shinwell | 2016-03-03 | 4 | -9/+196 | |
| | | |\ \ | | | | | | | | | | | GPR#477: docstrings | |||||
| | | | * | | docstrings: add a test file | Thomas Refis | 2016-03-03 | 2 | -0/+162 | |
| | | | | | | ||||||
| | | | * | | Changes | Thomas Refis | 2016-03-03 | 1 | -0/+3 | |
| | | | | | | ||||||
| | | | * | | allow docstring in object and polymorphic variant types. | Thomas Refis | 2016-03-03 | 1 | -5/+18 | |
| | | | | | | ||||||
| | | | * | | allow docstring inside arrow types, attach them to parameters | Thomas Refis | 2016-03-03 | 1 | -4/+13 | |
| | | |/ / | ||||||
| | | * | | Merge pull request #488 from mshinwell/pr7157-4.03-take2 | Mark Shinwell | 2016-03-03 | 4 | -16/+24 | |
| | | |\ \ | | | | | | | | | | | GPR#488: [Attempt to] Fix PR7157 (too many minor collections) | |||||
| | | | * | | Fix PR7157 (too many minor collections) | Mark Shinwell | 2016-03-03 | 4 | -16/+24 | |
| | | |/ / | ||||||
| | | * | | Merge branch '4.03' of github.com:ocaml/ocaml into 4.03 | Jacques Garrigue | 2016-03-03 | 0 | -0/+0 | |
| | | |\ \ | ||||||
| | | | * | | Minor tweaks to Changes. | alainfrisch | 2016-03-02 | 1 | -4/+4 | |
| | | | | | | ||||||
| | | | * | | Fix PR4080 has been reverted. Update Changes accordingly. | alainfrisch | 2016-03-02 | 1 | -3/+0 | |
| | | | | | | ||||||
| | | | * | | add quotes to avoid breaking RML's configure script | Damien Doligez | 2016-03-02 | 1 | -1/+1 | |
| | | | | | | ||||||
| | | | * | | Correct erroneous comment | Mark Shinwell | 2016-03-02 | 1 | -10/+10 | |
| | | | | | | ||||||
| | | | * | | Merge pull request #489 from Octachron/manual_short_paths_and_underscores | Damien Doligez | 2016-03-02 | 3 | -3/+9 | |
| | | | |\ \ | | | | | | | | | | | | | Manual: underscore penalties with "-short-path" | |||||
| | | | | * | | Manual: underscore penalties with -short-path | octachron | 2016-02-29 | 3 | -3/+9 | |
| | | | | | | | ||||||
| | | * | | | | Minor tweaks to Changes. | alainfrisch | 2016-03-03 | 1 | -4/+4 | |
| | | | | | | | ||||||
| | | * | | | | Fix PR4080 has been reverted. Update Changes accordingly. | alainfrisch | 2016-03-03 | 1 | -3/+0 | |
| | | | | | | | ||||||
| | | * | | | | add quotes to avoid breaking RML's configure script | Damien Doligez | 2016-03-03 | 1 | -1/+1 | |
| | | | | | | | ||||||
| | | * | | | | Correct erroneous comment | Mark Shinwell | 2016-03-03 | 1 | -10/+10 | |
| | | | | | | | ||||||
| | | * | | | | Manual: underscore penalties with -short-path | octachron | 2016-03-03 | 3 | -3/+9 | |
| | | | | | | | ||||||
| | | * | | | | Fix PR#7160: Type synonym definitions can weaken gadt constructor types | Jacques Garrigue | 2016-03-03 | 4 | -15/+37 | |
| | | |/ / / | ||||||
| | | * | | | add test for required externals | Jacques Garrigue | 2016-03-01 | 4 | -0/+28 | |
| | | | | | | ||||||
| | | * | | | Fix PR#7113: -safe-string can break GADT compatibility check | Jacques Garrigue | 2016-03-01 | 6 | -1/+35 | |
| | | |/ / | ||||||
| | | * | | Flambda: do not forget the default case when measuring the size of Switch | Mark Shinwell | 2016-02-29 | 1 | -1/+2 | |
| | | | | | ||||||
| | | * | | Flambda: restore correct simplification code for over-applications | Mark Shinwell | 2016-02-29 | 1 | -7/+1 | |
| | | | | | ||||||
| | | * | | increment version number after tagging 4.03.0+beta1 | Damien Doligez | 2016-02-29 | 1 | -1/+1 | |
| | | | | | ||||||
| | | * | | change VERSION for 4.03.0+beta1 | Damien Doligez | 2016-02-29 | 4 | -1/+1 | |
| | | | | | ||||||
| | | * | | last commit before tagging 4.03.0+beta1 | Damien Doligez | 2016-02-29 | 1 | -1/+1 | |
| | | | | | ||||||
| | | * | | update .depend and bootstrap compilers before release | Damien Doligez | 2016-02-29 | 16 | -1738/+1388 | |
| | | | | | ||||||
| | | * | | Stop producing erroneous backtrace frames in Flambda mode | Mark Shinwell | 2016-02-29 | 1 | -1/+22 | |
| | | | | | ||||||
| | | * | | Merge branch '4.03' of https://github.com/ocaml/ocaml into 4.03 | Mark Shinwell | 2016-02-29 | 1 | -1/+1 | |
| | | |\ \ | ||||||
| | | | * | | Use the 4.03 branch of camlp4 for the travis build | Jeremie Dimino | 2016-02-29 | 1 | -1/+1 | |
| | | | | | | ||||||
| | | * | | | Forgotten warning message change from pchambart's review of 4137939c | Mark Shinwell | 2016-02-29 | 1 | -1/+1 | |
| | | |/ / | ||||||
| | | * | | Merge pull request #484 from lpw25/fix-extract-projections | Mark Shinwell | 2016-02-26 | 1 | -10/+36 | |
| | | |\ \ | | | | | | | | | | | GPR#484: Change how Extract_projections handles nested sets of closures | |||||
| | | | * | | Change how extract projections handles nested sets of closures | Leo White | 2016-02-24 | 1 | -10/+36 | |
| | | | | | | ||||||
| | | * | | | Merge pull request #480 from mshinwell/flambda_unbox-closures | Mark Shinwell | 2016-02-26 | 46 | -438/+894 | |
| | | |\ \ \ | | | | | | | | | | | | | GPR#480: Flambda fix: try to make Unbox_closures behave more reasonably | |||||
| | | | * | | | Fix Unbox_closures to lessen runtime performance penalty | Mark Shinwell | 2016-02-24 | 46 | -438/+894 | |
| | | | | | | | ||||||
| | | * | | | | Move PR7118/7120 Changes entry into correct section | Mark Shinwell | 2016-02-26 | 1 | -3/+3 | |
| | | | | | | | ||||||
| | | * | | | | cut overlong lines | Damien Doligez | 2016-02-25 | 4 | -5/+8 | |
| | | | | | | | ||||||
 |
index : delta/ocaml.git | |
| github.com: ocaml/ocaml |
| summaryrefslogtreecommitdiff |