summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* release 4.12.0~alpha24.12.0-alpha2octachron2020-11-303-17/+17
* last commit before tagging 4.12.0~alpha2octachron2020-11-302-15/+15
* Revert "Remove propagation from previous branches (#9811)"octachron2020-11-304-62/+3
* Make copy_value compatible with no-naked-pointers mode (#10054)Xavier Leroy2020-11-301-13/+21
* Define __USE_MINGW_ANSI_STDIO=0 for mingw-w64 (#9939)David Allsopp2020-11-304-2/+19
* Ensure apt succeeds in workflows (#10053)David Allsopp2020-11-301-2/+2
* Merge pull request #10043 from dra27/gha-4.12David Allsopp2020-11-3010-62/+236
|\
| * Move minimum build into Jenkins other-configsDavid Allsopp2020-11-243-59/+28
| * Build API Documentation in separate stepDavid Allsopp2020-11-242-4/+9
| * Reduce matrix to 4 buildsDavid Allsopp2020-11-241-69/+9
| * Simplify environment variables passed to scriptsDavid Allsopp2020-11-241-24/+24
| * Allow lib-bigarray-2/bigarrfml.ml to run on 32-bitDavid Allsopp2020-11-242-2/+9
| * Expose ${cc} in ocamltestDavid Allsopp2020-11-243-0/+6
| * Split the workflows up a bitDavid Allsopp2020-11-242-9/+101
| * Only do make distclean test onceDavid Allsopp2020-11-242-3/+4
| * Switch compiler builds and tests to GitHub actionsDavid Allsopp2020-11-244-59/+213
* | Fix #9866 by making the regularity check stricter (#9870)Jacques Garrigue2020-11-307-16/+145
* | Typo in bytes.mli and bytesLabels.mli documentations for (un)capitalize (#10042)Lilian Besson2020-11-282-4/+4
* | Missing @since tag on Filename.quote_command documentation (#10058)Gabriel Scherer2020-11-281-0/+1
* | Bow to check-typoXavier Leroy2020-11-271-3/+4
* | Inria CI: give the other-configs job a more realistic timeoutSébastien Hinderer2020-11-271-1/+1
* | Inria CI: second tentative fix for the other-configs pipelineSébastien Hinderer2020-11-271-1/+0
* | Typo fixSébastien Hinderer2020-11-271-1/+1
* | Inria CI: tentative fix for the other-configs jobSébastien Hinderer2020-11-271-1/+3
* | Exclude some tests that run into ThreadSanitizer limitationsXavier Leroy2020-11-271-0/+9
* | Merge pull request #2195 from dra27/better-ulimitXavier Leroy2020-11-2716-7/+164
* | Change the OFFSETCLOSURE bytecode instructions to use an offset of 3 instead ...Nathanaël Courant2020-11-265-17/+21
* | Merge pull request #9991 from lpw25/reproducible-no-alias-depsLeo White2020-11-243-12/+31
* | Merge pull request #9955 from damiendoligez/fix-7813Florian Angeletti2020-11-243-15/+34
* | Merge pull request #9998 from lthls/afl-lazyGabriel Scherer2020-11-244-2/+29
|/
* Ensure atomicity in the Atomic module is respected by flambda (#10035)Guillaume Munch-Maccagnoni2020-11-242-6/+20
* Merge pull request #10010 from gasche/extension_constructor_scopesGabriel Scherer2020-11-243-6/+40
* Merge pull request #10034 from Fourchaux/typosGabriel Scherer2020-11-222-2/+2
* Add macOS/arm64 to the Tier 1 supported architecture list (#10033)Anil Madhavapeddy2020-11-201-1/+1
* Mark datatypes as injective in recursive module approximations (#10029)Jacques Garrigue2020-11-207-14/+28
* Improve error message for aliases to the current compilation unit (#10008)Leo White2020-11-082-7/+18
* Merge pull request #10006 from garrigue/type_cases_set_stateGabriel Scherer2020-11-061-2/+2
* Merge pull request #10000 from gasche/9999Gabriel Scherer2020-11-045-12/+43
* Fix Unix.utimes not working for directories on Win32. (#8796)Daniil Baturin2020-11-032-1/+5
* increment version number after tagging 4.12.0~alpha1octachron2020-10-303-16/+16
* release 4.12.0~alpha14.12.0-alpha1octachron2020-10-303-16/+16
* last commit before tagging 4.12.0~alpha1octachron2020-10-302-15/+15
* Merge pull request #9840 from dra27/fix-9839David Allsopp2020-10-306-5/+14
* Merge pull request #9989 from jhjourdan/fixPR9742Gabriel Scherer2020-10-292-13/+14
* Merge pull request #9631 from gretay-js/named_sections_for_caml_system_codeLeo White2020-10-225-12/+23
* Merge pull request #9674 from jhjourdan/memprof_thread_alloc_callback_2Jacques-Henri Jourdan2020-10-2017-482/+693
* first commit on branch 4.12Florian Angeletti2020-10-192-15/+15
* last commit before branching 4.12Florian Angeletti2020-10-193-17/+17
* Bump magic numbers for 4.12 (and trunk)Florian Angeletti2020-10-194-14/+14
* Merge pull request #9980 from xavierleroy/ocamlopt-docFlorian Angeletti2020-10-192-10/+16
|\
View Lorry Controller Status