summaryrefslogtreecommitdiff
path: root/stdlib
Commit message (Expand)AuthorAgeFilesLines
...
* | | Merge commit '06cd55c8752436f892ec373b2245ddf2bbce4f5f' into parallel_minor_g...Tom Kelly2021-02-263-0/+40
|\ \ \ | |/ /
| * | Memprof API: cannot be start if already running, cannot be stopped if not alr...Jacques-Henri Jourdan2020-01-142-32/+21
| * | Add Array.for_all2 and Array.exists2 (#9235)Jeremy Yallop2020-01-133-0/+40
| * | Drop support for tags in memprof.Jacques-Henri Jourdan2020-01-112-4/+0
| |/
* | Merge commit '780f175895a6c8fcb64c7cf2f405e94006066965' into parallel_minor_g...Tom Kelly2021-02-261-20/+18
|\ \ | |/
| * stdlib: cleanup in Char.ml by using char range patterns (#9221)hhugo2020-01-041-20/+18
| * Merge pull request #9217 from kit-ty-kate/fix-doc-filename-nullNicolás Ojeda Bär2019-12-301-1/+3
| * New ephemeron-free API for Memprof.Jacques-Henri Jourdan2019-12-213-102/+122
* | Merge commit '0da925c68df24923d6129a6270b563b111bd366a' into parallel_minor_g...Tom Kelly2021-02-262-2/+2
|\ \ | |/
| * fix Stdlib.Lexing documentationFlorian Angeletti2019-12-121-1/+1
| * better documentation for the best-fit allocation policyGabriel Scherer2019-12-101-9/+39
| * Fix some spelling typosBrian Wignall2019-11-291-1/+1
* | Merge commit '05f15cf215d2643aaea0e300d6c9e4e5fd3ef65b' into parallel_minor_g...Tom Kelly2021-02-262-0/+17
|\ \ | |/
| * Add set_position and set_filename to Lexing.Konstantin Romanov2019-11-162-0/+17
* | Merge commit '62bae6fcf5fe12ee52e3373280d066d1d576c41c' into parallel_minor_g...Tom Kelly2021-02-253-0/+21
|\ \ | |/
| * Fold map function for List (#8894)Bernhard Schommer2019-11-073-0/+21
* | Merge commit '03c33f500563f3e12355694f1add98e7bd1096ae' into parallel_minor_g...Tom Kelly2021-02-233-0/+21
|\ \ | |/
| * add List.filteri to the stdlib (#9059)zapashcanon2019-10-293-0/+21
* | Merge pull request ocaml-multicore/ocaml-multicore#437 from ctk21/resume_with...KC Sivaramakrishnan2020-11-171-3/+3
|\ \
| * | Make use of caml_continuation_use_noexc and update tests/effect/test8 to use ...Tom Kelly2020-11-131-3/+3
* | | Merge upstream updatesKC Sivaramakrishnan2020-11-064-30/+36
|\ \ \ | |/ /
| * | Merge pull request ocaml-multicore/ocaml-multicore#406 from ctk21/remove_ephe...KC Sivaramakrishnan2020-10-052-3/+2
| |\ \
| | * | remove domain field from ephemerons as no longer needed; remove usages of rpc...Tom Kelly2020-10-022-3/+2
| * | | Better domain.get code from review of #405Tom Kelly2020-10-051-4/+3
| * | | Rework Domain.DLS.get search function such that it no longer allocatesTom Kelly2020-10-021-7/+8
| |/ /
| * | dls: more clean upSudha Parimala2020-09-301-6/+7
| * | DLS doc updateSudha Parimala2020-09-292-4/+3
| * | clean upSudha Parimala2020-09-291-15/+9
| * | Domain.DLS.new_key takes an initialiserSudha Parimala2020-09-292-24/+37
* | | Add a primitive to insert nop instructionKC Sivaramakrishnan2020-07-312-0/+4
|/ /
* | Make caml_domain_dls_set @@noallocTom Kelly2020-07-301-1/+1
* | Make DLS call to caml_domain_dls_get @@noallocTom Kelly2020-07-291-1/+1
* | in-place update for existing keys + assertions in domain_dls testSudha Parimala2020-07-231-3/+5
* | more details on time complexity of DLS [get] and [set]Sudha Parimala2020-07-221-3/+4
* | update DLS documentationSudha Parimala2020-07-222-12/+12
* | use old directly instead of passing around in set functionSudha Parimala2020-07-212-7/+8
* | use ref of object to store dls variablesSudha Parimala2020-07-211-4/+19
* | Thread-local -> Domain-localSudha Parimala2020-07-202-15/+15
* | remove old value from list for same keySudha Parimala2020-07-202-7/+6
* | clean-upSudha Parimala2020-07-182-15/+10
* | fix check function and rootsSudha Parimala2020-07-171-2/+2
* | modify types and testSudha Parimala2020-07-162-19/+33
* | add thread local storageSudha Parimala2020-07-142-0/+41
* | fixupGuillaume Munch-Maccagnoni2020-05-151-9/+10
* | Introduce Lazy.try_force and Lazy.try_force_valGuillaume Munch-Maccagnoni2020-05-154-66/+75
* | Distinguish between recursive and concurrent forcing of Lazy values.KC Sivaramakrishnan2020-05-014-8/+40
* | Merge commit '2828b3bdfae2d04740c6b6e8373e901e27433734' into parallel_minor_g...Tom Kelly2020-04-301-3/+6
|\ \
| * | Documentation: Stack_overflow is reliable, Out_of_memory is not.Guillaume Munch-Maccagnoni2020-01-281-3/+6
* | | Merge commit '335c50905374465dfbd972754677f29d3c650ada' into parallel_minor_g...Tom Kelly2020-04-301-1/+3
|\ \ \ | |/ /
| * | last commit before tagging 4.10.0+beta1Florian Angeletti2020-01-101-10/+1
View Lorry Controller Status