summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* release 4.13.0~alpha14.13.0-alpha1Florian Angeletti2021-06-043-17/+17
* last commit before tagging 4.13.0~alpha1Florian Angeletti2021-06-042-15/+15
* first commit on branch 4.13octachron2021-06-032-15/+15
* last commit before branching 4.13octachron2021-06-035-22/+22
* bump magic numbers for 4.13 (and trunk)octachron2021-06-034-14/+14
* stdlib: add Array.fold_left_map (#9961)Craig Ferguson2021-06-035-0/+44
* document @since for Format.stag (#10439)Simon Cruanes2021-06-031-1/+15
* Avoid overwriting closures while initialising recursive modules (#10205)Stephen Dolan2021-06-025-88/+145
* inria ci: update remove-sinh-primitive.patchoctachron2021-06-021-15/+15
* Added some missing C99 float operations (#944)Markus Mottl2021-06-0217-189/+985
* Add Random.full_int (#9489)David Allsopp2021-06-016-1/+83
* changes: fix issue numberFlorian Angeletti2021-06-011-1/+1
* Merge pull request #10430 from Drup/print_bytesFlorian Angeletti2021-05-284-0/+14
|\
| * Add missing `Format.pp_print_bytes` function.Drup2021-05-284-0/+14
* | Make build_other_constrs work with names instead of tags. (#10428)Nicolas Chataing2021-05-284-45/+27
* | Merge pull request #10408 from dra27/sys-timeDavid Allsopp2021-05-275-1/+36
|\ \ | |/ |/|
| * Fix caml_sys_time on WindowsDavid Allsopp2021-05-265-1/+36
* | Merge pull request #9919 from dra27/tidy-prims-in-headersDavid Allsopp2021-05-2715-37/+40
|\ \ | |/ |/|
| * Introduce caml_record_backtracesDavid Allsopp2020-09-166-19/+28
| * Introduce caml_do_exitDavid Allsopp2020-09-156-9/+12
| * Remove unnecessary declarations of primitivesDavid Allsopp2020-09-155-9/+0
* | Allow CSE of immutable loads across stores (#9562)Stephen Dolan2021-05-2624-50/+65
* | Inria CI "main" script: do not lower priority on macOSXavier Leroy2021-05-261-1/+1
* | Simplify tools/Makefile (#10265)Stephen Dolan2021-05-261-83/+70
* | Merge pull request #10379 from lthls/remove-pidentityGabriel Scherer2021-05-2510-109/+32
|\ \
| * | Remove primitives Pdirapply and PrevapplyVincent Laviron2021-05-2510-88/+23
| * | Remove the Pidentity primitiveVincent Laviron2021-05-2510-23/+11
* | | Merge pull request #10252 from stedolan/unboxed-as-kindGabriel Scherer2021-05-2527-171/+184
|\ \ \
| * | | reviewStephen Dolan2021-05-255-37/+38
| * | | review fixesStephen Dolan2021-05-254-37/+60
| * | | BootstrapStephen Dolan2021-05-252-0/+0
| * | | Move type_unboxed.unboxed into type_kindStephen Dolan2021-05-2522-152/+141
|/ / /
* | | Better compaction heuristic (#10194)Damien Doligez2021-05-254-38/+45
|/ /
* | dune: add asmcomp/dataflow.mlGabriel Scherer2021-05-251-2/+4
* | Merge pull request #2245 from chambart/bytelink_orderGabriel Scherer2021-05-223-2/+23
|\ \
| * | Improve error message for link order error in bytelinkPierre Chambart2021-05-203-2/+23
|/ /
* | Add %frame_pointers (#10419)David Allsopp2021-05-203-4/+14
* | Spilling and reloading: avoid behavior exponential in loop nesting (#10414)Xavier Leroy2021-05-192-64/+53
* | Merge pull request #10420 from stedolan/filter-arrow-commentGabriel Scherer2021-05-191-1/+1
|\ \
| * | Fix typoStephen Dolan2021-05-191-1/+1
* | | Merge pull request #10416 from Octachron/detect_rec_in_showFlorian Angeletti2021-05-196-26/+112
|\ \ \ | |/ / |/| |
| * | toplevel: detect recursive definitions in #showFlorian Angeletti2021-05-196-26/+112
* | | Merge pull request #10417 from dra27/10405-bootstrapDavid Allsopp2021-05-193-2/+2
|\ \ \ | |/ / |/| |
| * | BootstrapDavid Allsopp2021-05-193-2/+2
|/ /
* | Restore the tree after checking labelled modulesDavid Allsopp2021-05-151-0/+1
* | Add a generic backward dataflow analyzer and use it for liveness analysis (#1...Xavier Leroy2021-05-157-103/+222
* | Merge pull request #10412 from gasche/env-store-datatypeGabriel Scherer2021-05-141-68/+68
|\ \
| * | Env: split store_type by adding store_{constructor,label}Gabriel Scherer2021-05-141-68/+68
* | | Merge pull request #10405 from trefis/subst-locsGabriel Scherer2021-05-126-6/+30
|\ \ \
| * | | make dependThomas Refis2021-05-101-0/+1
View Lorry Controller Status