summaryrefslogtreecommitdiff
path: root/stdlib/gc.mli
Commit message (Expand)AuthorAgeFilesLines
* Merge commit 'c4851b0ff0070bca3b5ebbb3ec51941a249031cc' into parallel_minor_g...Tom Kelly2021-03-041-1/+5
|\
| * Consistently use @raise tags in Stdlib docs (#8644)Et7f32020-06-301-1/+1
| * Report full major collections in Gc statsLeo White2020-06-251-0/+4
* | Merge commit '10561873487c185c0727f08b26706226dbb1a7b6' into parallel_minor_g...Tom Kelly2021-03-021-1/+18
|\ \ | |/
| * Rewrite the instrumented runtime to store traces in the CTF format.Enguerrand Decorne2020-04-301-0/+18
| * Gc.Memprof.start: take a record instead of 5 optional parametersGabriel Scherer2020-04-011-13/+26
| * Memprof API: cannot be start if already running, cannot be stopped if not alr...Jacques-Henri Jourdan2020-01-141-11/+14
| * Drop support for tags in memprof.Jacques-Henri Jourdan2020-01-111-3/+0
| * New ephemeron-free API for Memprof.Jacques-Henri Jourdan2019-12-211-68/+77
| * better documentation for the best-fit allocation policyGabriel Scherer2019-12-101-9/+39
* | Merge commit '920ddaf87f28ede1c1f5d2fa86e287de2ef2a5ce' into parallel_minor_g...Tom Kelly2020-04-301-9/+39
|\ \
| * | Merge pull request #9169 from gasche/best-fit-manualGabriel Scherer2019-12-111-9/+39
| * | Remove Memprof from the standard library in the 4.10 branch, as this will not...Jacques-Henri Jourdan2019-11-081-80/+0
| |/
* | Merge commit '9a0ebc18d444a8cdb08396ea694084d07249ec5d' into parallel_minor_g...Tom Kelly2020-04-301-1/+2
|\ \ | |/
| * [minor] typoGuillaume Munch-Maccagnoni2019-10-161-2/+2
* | Merge commit '01bdd5bbc4e48d397b3f68940bcc3955a2754e82' into parallel_minor_g...Tom Kelly2020-04-301-3/+8
|\ \ | |/
| * best-fit allocator (#8809)Damien Doligez2019-10-151-3/+8
| * Memprof tracking of interned data.Jacques-Henri Jourdan2019-08-271-3/+2
| * Refactor the postponed blocks machinery in memprof.cJacques-Henri Jourdan2019-06-051-4/+6
| * Memprof: Instead of a Poisson process, use a binomial distribution.Jacques-Henri Jourdan2019-05-211-15/+17
| * additional fixes for #8634Damien Doligez2019-05-211-1/+0
| * typos in commentsDamien Doligez2019-05-201-7/+7
| * Memprof sampling for blocks in the minor heap, allocated by C code.Jacques-Henri Jourdan2019-05-201-3/+5
| * Statistical memory profiling of blocks allocated in the major heap.Jacques-Henri Jourdan2019-05-091-3/+80
* | Merge commit 'c24e5b5c8aff88a116ae543e06cf44a07e44949e' into HEADTom Kelly2020-04-241-3/+1
|\ \ | |/
| * Ensure that Gc.minor_words remains accurate after a GC (#8619)Stephen Dolan2019-05-041-3/+1
* | Merge commit '4c130cae87cd29621aa2ed8a36a68fc7eaa950a2' into parallel_minor_g...Tom Kelly2020-04-091-4/+47
|\ \ | |/
| * deprecate the mutability of Gc.control record fields (#2145)Damien Doligez2018-11-131-0/+9
| * Add caml_alloc_custom_mem (#1738)Damien Doligez2018-11-061-1/+35
| * Fix link markup in Gc.finalise_last documentationEtienne Millon2018-10-111-3/+3
* | Merge commit 'bf9481486f8b79af33a8b87d807e9808893b2ff8' into parallel_minor_g...Tom Kelly2020-04-081-1/+1
|\ \ | |/
| * Deprecate Pervasives (#1605)Jérémie Dimino2018-08-271-1/+1
* | Bootstrap for 4.06.0 updatesKC Sivaramakrishnan2018-03-281-3/+4
|\ \ | |/
| * Fix Gc.minor_{words,free} by removing [@@noalloc]Stephen Dolan2017-03-091-2/+2
| * fix several typos in commentsDaniel2017-02-131-1/+1
| * PR#7355: Gc.finalise and lazy valuesDamien Doligez2016-12-141-5/+10
| * missing @since tags in stdlib's Gc moduleGabriel Scherer2016-12-141-1/+5
* | Merge updates from 4.04.2KC Sivaramakrishnan2018-03-121-7/+7
|\ \
| * | PR#7355: Gc.finalise and lazy valuesDamien Doligez2016-09-281-5/+10
| * | missing @since tags in stdlib's Gc moduleGabriel Scherer2016-08-161-1/+5
| |/
| * Add finalise_last without special case during minorFrançois Bobot2016-07-091-0/+13
| * Declare the Gc.minor_words externalPierre Chambart2016-05-311-0/+8
| * stdlib .mli: forgotten @since 4.03.0Gabriel Scherer2016-05-111-3/+9
| * Merge tag 4.03.0 into trunk.Damien Doligez2016-04-281-4/+3
| * Also enable more warnings in stdlib/ and fix them.Alain Frisch2016-03-151-2/+2
| * Update headers for the new license.Damien Doligez2016-02-181-12/+14
| * GC latency improvementsDamien Doligez2015-12-211-3/+32
| * Add v=0x400 to OCAMLRUNPARAM to print more Gc stats on exitLouis Gesbert2015-12-041-0/+1
| * merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16...Damien Doligez2015-07-171-3/+4
| * PR#6664: Crash when finalising lazy values of the wrong type.Damien Doligez2015-03-041-7/+7
View Lorry Controller Status