summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* New implementation of Env.make_copy_of_typessimplify_duplicate_ident_optimAlain Frisch2019-06-284-232/+90
* Simplif: fix the local-function optimization on Tupled functions (#8707)Gabriel Scherer2019-06-272-24/+58
* Fix typographic issues in the doc of new modules (#8744)Guillaume Munch-Maccagnoni2019-06-267-10/+10
* manual: recover compatibility with case-insensitive file systemsDamien Doligez2019-06-256-6/+7
* Merge pull request #8708 from gretay-js/funsizeNicolás Ojeda Bär2019-06-252-0/+42
|\
| * Address review commentGreta Yorsh2019-06-241-1/+0
| * Add .size directive in runtime functionsGreta Yorsh2019-06-242-0/+43
* | Add Filename.quote_command function (#1492)Xavier Leroy2019-06-259-33/+331
|/
* Add pseudo-instruction `Ladjust_trap_depth` (#2322)Greta Yorsh2019-06-2411-18/+75
* Merge pull request #8755 from gasche/improve-depend-from-scratchDavid Allsopp2019-06-243-7/+12
|\
| * Use boot ocamllex when building ocamltestDavid Allsopp2019-06-241-1/+1
| * Missing beforedepend dependencies for MenhirDavid Allsopp2019-06-241-0/+3
| * fix dynlink/Makefile 'depend' target to work from non-built treesGabriel Scherer2019-06-241-5/+7
| * Makefile: ocamllex does not depend on ocamlc, it uses BOOT_OCAMLCGabriel Scherer2019-06-241-1/+1
* | Merge pull request #8751 from nojb/amd64_align_data_sectionNicolás Ojeda Bär2019-06-242-0/+5
|\ \
| * | ChangesNicolás Ojeda Bär2019-06-241-0/+4
| * | amd64: align data segment to word boundaryNicolás Ojeda Bär2019-06-241-0/+1
|/ /
* | Stop talking about Pervasives in core library documentationIan Zimmerman2019-06-232-4/+7
|/
* Merge pull request #8756 from rixed/patch-3Nicolás Ojeda Bär2019-06-201-1/+1
|\
| * typoCedric Cellier2019-06-201-1/+1
|/
* make alldepend (again ?!)Gabriel Scherer2019-06-201-1/+2
* Merge pull request #8754 from rixed/patch-2Nicolás Ojeda Bär2019-06-201-1/+1
|\
| * Update intf-c.etexCedric Cellier2019-06-201-1/+1
|/
* actually remove tools/addlabels.ml, leftover from #8663Gabriel Scherer2019-06-196-566/+79
* Improve shell scripts (#1690)zapashcanon2019-06-199-89/+92
* Merge pull request #2309 from TheLortex/runtime-variant-pathGabriel Scherer2019-06-1915-6/+73
|\
| * without-runtime: cosmetic tweaksLucas Pluvinage2019-06-116-7/+17
| * Introduce the -without-runtime option.Lucas Pluvinage2019-05-0615-6/+63
* | Fix the instructions for uploading the manual to the Web server.Damien Doligez2019-06-191-2/+4
* | Merge pull request #8745 from jhjourdan/fix_tsan_caml_something_to_doGabriel Scherer2019-06-195-10/+16
|\ \
| * | Fix Thread sanitizer after GPR#8691.Jacques-Henri Jourdan2019-06-185-10/+16
* | | Move AST testing rules to Makefile.dev (#8743)David Allsopp2019-06-183-28/+55
|/ /
* | Update the clean target in the testsuiteSébastien Hinderer2019-06-171-3/+0
* | Drop dependency utils/config.ml <-- MakefileDavid Allsopp2019-06-161-1/+1
* | Merge pull request #8739 from thizanne/option_docDavid Allsopp2019-06-161-2/+1
|\ \
| * | Fix Option.bind doc commentThibault Suzanne2019-06-151-2/+1
|/ /
* | fix typo in Changes entry #1711Damien Doligez2019-06-141-1/+1
* | more fixes for release-checklistDamien Doligez2019-06-141-67/+48
* | Merge pull request #8652 from dra27/travis-branchesDavid Allsopp2019-06-133-18/+33
|\ \
| * | Remove GNUism from autogenDavid Allsopp2019-05-011-1/+2
| * | Eliminate use of -i in autogenDavid Allsopp2019-05-011-4/+8
| * | Force autoconf to runDavid Allsopp2019-05-011-1/+1
| * | Update release-checklistDavid Allsopp2019-04-301-2/+4
| * | Fix error message displayed on Travis pushDavid Allsopp2019-04-301-7/+14
| * | Check all necessary paths for configureDavid Allsopp2019-04-301-4/+5
* | | Fix PR8701 by expanding types in lower_contravariant (#8725)Jacques Garrigue2019-06-133-13/+41
* | | testsuite: remove dead codeSébastien Hinderer2019-06-115-192/+3
* | | Merge pull request #8691 from jhjourdan/no_callback_c_allocStephen Dolan2019-06-1125-265/+402
|\ \ \
| * | | Use [caml_something_to_do] both in native and bytecode mode to remember that ...Jacques-Henri Jourdan2019-06-0613-102/+94
| * | | Refactor the postponed blocks machinery in memprof.cJacques-Henri Jourdan2019-06-058-115/+195