summaryrefslogtreecommitdiff
path: root/stdlib/weak.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge commit 'e41dc9c44327f40c1ab0feea12f779c931c9e31e' into parallel_minor_g...Tom Kelly2021-03-041-1/+1
|\
| * Add some injectivity annotations to the standard library.Jeremy Yallop2020-07-181-1/+1
* | remove domain field from ephemerons as no longer needed; remove usages of rpc...Tom Kelly2020-10-021-2/+1
* | Merge commit '36d299b4aaf7f2d317fbfa148d7f94e720c80730' into parallel_minor_g...Tom Kelly2020-04-201-2/+4
|\ \ | |/
| * Remove a use of Obj.truncate in weak.mlStephen Dolan2019-04-011-2/+4
* | Merge commit '4c130cae87cd29621aa2ed8a36a68fc7eaa950a2' into parallel_minor_g...Tom Kelly2020-04-091-2/+37
|\ \ | |/
| * [Weak] Changes from reviewsFrançois Bobot2018-11-081-15/+13
| * [Weak] Move checks from C to OcamlFrançois Bobot2018-11-081-0/+36
* | Fix offsetsKC Sivaramakrishnan2018-06-021-1/+1
* | wip ephemeronsKC Sivaramakrishnan2018-05-311-2/+5
|/
* Option-returning variants of stdlib functions (#885)Alain Frisch2016-11-071-0/+21
* fix whitespace, long lines, headersDamien Doligez2016-08-011-1/+3
* Fix maximum weak bucket size (#700)Nicolas Ojeda Bar2016-07-311-1/+1
* Merge tag 4.03.0 into trunk.Damien Doligez2016-04-281-43/+46
* Also enable more warnings in stdlib/ and fix them.Alain Frisch2016-03-151-2/+2
* Fix PR7157 (too many minor collections)Mark Shinwell2016-03-031-2/+5
* Update headers for the new license.Damien Doligez2016-02-181-12/+14
* [GC] add full-featured ephemerons in an inefficient wayFrançois Bobot2016-01-231-1/+1
* Code aesthetics: do not confuse labels and regular idents.Pierre Weis2015-09-131-5/+5
* merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-221-2/+2
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* Enable and fix more warnings.Alain Frisch2012-05-291-1/+1
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* merge changes from 3.10.1 to 3.10.2Damien Doligez2008-02-291-2/+1
* resize that does not refresh the valuesDamien Doligez2008-01-211-12/+29
* fixed big performance bug in weak hash tablesDamien Doligez2008-01-111-60/+108
* bug de performance dans stdlib/weak.mlDamien Doligez2007-02-161-1/+1
* depollution suite (PR#1914 et PR#1956)Damien Doligez2004-01-011-5/+5
* bug Weak.Create(_).iterDamien Doligez2002-07-231-1/+9
* quelques bugs sur les weak hash tablesDamien Doligez2002-01-231-4/+183
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* ajout Weak.get_copyDamien Doligez2000-08-231-0/+2
* mise au carre des ofs+len (PR#96)Damien Doligez2000-05-081-1/+1
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* ajout Weak.checkDamien Doligez1998-11-131-0/+2
* Bug MacDamien Doligez1997-03-131-1/+1
* Suppression du ; optionnel, trop ambigu. La syntaxe est suffisamment confuse ...Xavier Leroy1997-03-081-3/+3
* lexing.ml: refill_buffer rendu reentrant.Xavier Leroy1997-03-051-4/+2
* Notices de copyrightXavier Leroy1997-02-251-2/+2
* ajout WeakDamien Doligez1997-02-241-0/+52
View Lorry Controller Status