summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Simpler implementation of Ccomp.linker_is_flexlinkresurrect-cygwin64-review-baseDavid Allsopp2020-09-211-20/+4
* Fix -fdebug-prefix-map when using flexlinkDavid Allsopp2020-09-214-1/+35
* Merge pull request #9924 from dra27/explicit-export-PRDavid Allsopp2020-09-2114-33/+34
|\
| * Remaining functions requiring explicit exportDavid Allsopp2020-09-1814-33/+34
* | Merge pull request #9669 from lpw25/fix-7538Gabriel Scherer2020-09-184-3/+41
|\ \
| * | Add Changes entryLeo White2020-09-181-0/+3
| * | Fix PR#7538Leo White2020-09-182-3/+32
| * | Add test for PR#7538Leo White2020-09-181-0/+6
* | | Re-check Tpackage scope escapes after normalising paths (#9715)Matthew Ryan2020-09-182-26/+40
|/ /
* | Merge pull request #9783 from lpw25/widen-warning-16Leo White2020-09-185-9/+71
|\ \
| * | Add Changes entryLeo White2020-09-171-0/+3
| * | Widen warning 16 to more casesLeo White2020-09-174-9/+18
| * | Add some tests for warning 16Leo White2020-09-171-0/+50
* | | Inria CI: use a timeout, take #2Sébastien Hinderer2020-09-171-3/+2
* | | Garbage collector colours change (#9756)Sadiq Jaffer2020-09-179-183/+328
| |/ |/|
* | Env.folds (#9922)Thomas Refis2020-09-171-0/+25
* | Untypeast: define untype_expression, untype_pattern (#9920)Thomas Refis2020-09-162-0/+8
* | Inria CI: add timeouts to pipeline jobsSébastien Hinderer2020-09-167-0/+21
* | Merge pull request #9918 from OCamlPro-Coquera/trunkGabriel Scherer2020-09-151-1/+1
|\ \
| * | move since tag to type definitionAlbin Coquereau2020-09-151-2/+1
| * | Add a comment that out_indent is part of formatter_out_functions since ocaml ...Albin Coquereau2020-09-151-0/+1
* | | Merge pull request #9912 from dra27/remove-spacetime-link-kludgeDavid Allsopp2020-09-152-6/+0
|\ \ \
| * | | Remove caml_ensure_spacetime_dot_o_is_includedDavid Allsopp2020-09-142-6/+0
* | | | Merge pull request #9913 from dra27/spacetime-tweaksDavid Allsopp2020-09-153-55/+14
|\ \ \ \
| * | | | Remove unnecssary spacetime disabled stubsDavid Allsopp2020-09-141-25/+0
| * | | | Include parameters on dummy spacetime stubsDavid Allsopp2020-09-142-2/+2
| * | | | Minor comment fixDavid Allsopp2020-09-141-1/+2
| * | | | Use CAMLexport not CAMLprim for C functionsDavid Allsopp2020-09-141-3/+3
| * | | | Remove unused spacetime primitivesDavid Allsopp2020-09-141-10/+0
| * | | | Remove leaking globalsDavid Allsopp2020-09-141-3/+3
| * | | | Make caml_spacetime_automatic_save staticDavid Allsopp2020-09-141-2/+3
| * | | | Remove unnecessary extern's in spacetime_nat.cDavid Allsopp2020-09-141-3/+0
| * | | | Remove undefined declaration of caml_spacetime_debugDavid Allsopp2020-09-141-2/+0
| * | | | Tidy spacetime.hDavid Allsopp2020-09-141-4/+1
| |/ / /
* | | | Merge pull request #9745 from johnwhitington/trunkFlorian Angeletti2020-09-1538-1400/+5391
|\ \ \ \ | |_|/ / |/| | |
| * | | assoc -> assoc_optJohn Whitington2020-09-112-2/+2
| * | | Remove false self-referencesJohn Whitington2020-09-112-6/+6
| * | | Fix two little errorsJohn Whitington2020-09-114-8/+8
| * | | Fix reference to tools/unlabelJohn Whitington2020-09-111-3/+4
| * | | Merge remote-tracking branch 'upstream/trunk' into trunkJohn Whitington2020-09-11214-6261/+8212
| |\ \ \
| * | | | Take account of GPR#9668John Whitington2020-09-102-0/+64
| * | | | Add reviewerJohn Whitington2020-09-101-2/+2
| * | | | Rename tools/unlabel --> tools/sync_stdlib_docsJohn Whitington2020-09-1023-73/+81
| * | | | Fix comment regarding NaN in Array.sortJohn Whitington2020-09-102-6/+4
| * | | | Adds readme to stdlib/templatesJohn Whitington2020-09-101-0/+3
| * | | | Remove SINCE work from tools/unlabelJohn Whitington2020-09-101-20/+6
| * | | | tools/unlabelDavid Allsopp2020-08-071-2/+2
| * | | | unixLabels.cmi must be pre-processedDavid Allsopp2020-08-072-0/+5
| * | | | Final nitsDavid Allsopp2020-08-071-2/+2
| * | | | "final" fixesJohn Whitington2020-08-067-82/+122
View Lorry Controller Status