summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Update Changesafrisch_fix_reachable_wordsAlain Frisch2021-10-271-2/+2
* ChangelogAlain Frisch2021-10-261-0/+3
* Fix performance bug in Obj.reachableAlain Frisch2021-10-261-0/+1
* Merge pull request #10714 from dra27/x86-assembler-hookGabriel Scherer2021-10-253-0/+8
|\
| * Add X86_proc.with_internal_assemblerDavid Allsopp2021-10-253-0/+8
* | Merge pull request #10722 from Octachron/fix_unused_functor_warningGabriel Scherer2021-10-223-1/+11
|\ \
| * | fix the marking of unused values in module type definitionsFlorian Angeletti2021-10-223-1/+11
* | | Merge pull request #10720 from dra27/autoconf-tweakGabriel Scherer2021-10-223-4/+4
|\ \ \
| * | | Fix AC_CONFIG_HEADERS on CRLF-checkoutsDavid Allsopp2021-10-213-4/+4
* | | | Fix typos in ChangesSébastien Hinderer2021-10-221-1/+1
* | | | Merge pull request #10717 from shindere/simplify-man-pages-installationSébastien Hinderer2021-10-2224-47/+30
|\ \ \ \
| * | | | Simplify the installation of man pagesSébastien Hinderer2021-10-2024-47/+30
| | |/ / | |/| |
* | | | abstract row_field (#10627)Jacques Garrigue2021-10-2216-205/+307
| |/ / |/| |
* | | Merge pull request #10672 from wiktorkuchta/webman-discFlorian Angeletti2021-10-213-13/+10
|\ \ \
| * | | webman: Use li::marker for coloring bulletsWiktor Kuchta2021-10-203-13/+10
* | | | Merge pull request #10527 from wiktorkuchta/toploopFlorian Angeletti2021-10-212-1/+4
|\ \ \ \
| * | | | Mention the help directive on toplevel startupWiktor Kuchta2021-10-202-1/+4
| | |_|/ | |/| |
* | | | Merge pull request #10681 from lthls/boolean-lifthenelseGabriel Scherer2021-10-218-16/+94
|\ \ \ \
| * | | | ChangesVincent Laviron2021-10-211-0/+3
| * | | | Add comment on Simplif.split_default_wrapper's pattern matchingVincent Laviron2021-10-211-0/+15
| * | | | Review: Document Switch.Make parametersVincent Laviron2021-10-211-1/+18
| * | | | Enable if-then-else elimination in CmmgenVincent Laviron2021-10-211-2/+10
| * | | | Enforce boolean Lifthenelse in native modeVincent Laviron2021-10-216-13/+48
| | |/ / | |/| |
* | | | Merge pull request #10713 from Octachron/babylonian_manualGabriel Scherer2021-10-212-2/+5
|\ \ \ \ | |/ / / |/| | |
| * | | Use babel to allow underscore in labelsFlorian Angeletti2021-10-202-2/+5
| | |/ | |/|
* | | Merge pull request #10541 from COCTI/abstract_fk_and_commuFlorian Angeletti2021-10-2013-159/+211
|\ \ \ | |/ / |/| |
| * | add reviewerJacques Garrigue2021-10-191-1/+2
| * | commentsJacques Garrigue2021-10-181-3/+3
| * | use internal GADTs to ensure that Cunknown and FKprivate do not leakJacques Garrigue2021-10-182-32/+33
| * | make field_kind and commutable abstract typesTakafumi Saikawa2021-10-1813-154/+204
| |/
* | dune: disable some warningsThomas Refis2021-10-191-3/+3
* | Wrong unmarshaling of function pointers in debugger mode (#10709)Xavier Leroy2021-10-193-2/+10
* | specify that caml_alloc_custom_mem is available since 4.08 (#10704)Simon Cruanes2021-10-181-1/+1
|/
* Improve type variable name generation and recursive type detection when print...Antal Spector-Zabusky2021-10-1525-230/+292
* Merge pull request #10706 from dra27/changes-neededDavid Allsopp2021-10-151-13/+4
|\
| * Disable the commit message Changes escape hatchDavid Allsopp2021-10-151-13/+4
* | Merge pull request #10702 from MisterDA/win32unix-cast-strictly-aligned-point...David Allsopp2021-10-152-5/+11
|\ \ | |/ |/|
| * Fix cast of more strictly aligned pointerAntonin Décimo2021-10-152-5/+11
|/
* Merge pull request #10705 from wiktorkuchta/dotmerlinGabriel Scherer2021-10-141-2/+1
|\
| * HACKING.adoc: Remove mention of .merlin filesWiktor Kuchta2021-10-141-2/+1
|/
* Merge pull request #10690 from dra27/build-toplevel-libGabriel Scherer2021-10-137-17/+59
|\
| * Always build ocamlnatDavid Allsopp2021-10-122-6/+3
| * Add --enable-native-toplevelDavid Allsopp2021-10-117-5/+47
| * Always build the native toplevel librariesDavid Allsopp2021-10-112-12/+15
|/
* Merge pull request #10693 from lpw25/fix-includemod-ident-collisionGabriel Scherer2021-10-124-1/+107
|\
| * Add Changes entryLeo White2021-10-121-0/+3
| * Fix ident collision in includemodLeo White2021-10-123-1/+104
* | Merge pull request #10692 from gpetiot/expose-parse-module_typeGabriel Scherer2021-10-126-3389/+3498
|\ \
| * | Add changelog entryGuillaume Petiot2021-10-121-0/+3
| * | Expose Parse.module_type and Parse.module_exprGuillaume Petiot2021-10-125-3389/+3495
| |/