summaryrefslogtreecommitdiff
path: root/stdlib/buffer.ml
Commit message (Expand)AuthorAgeFilesLines
* PR#5004: overflow in Buffer.add_channelXavier Leroy2010-03-281-0/+2
* merge changes from release/3.11.1 to release/3.11.2Damien Doligez2010-01-201-0/+8
* Correction bug add_substitute.Pierre Weis2008-09-091-6/+9
* nettoyageDamien Doligez2005-10-251-6/+8
* DocumentationPierre Weis2004-06-141-4/+4
* added cvs IdBasile Starynkevitch2004-04-141-0/+2
* added Buffer.sub & Buffer.nthBasile Starynkevitch2004-04-141-0/+16
* Documentation.Pierre Weis2003-05-141-4/+4
* Addition of function add_substitute for adding strings to buffer withPierre Weis2003-04-281-0/+68
* Remplacement des tests ofs + len > length par ofs > len - length, pour eviter...Xavier Leroy2002-07-121-1/+1
* Guard against string length overflow when resizing (PR#1015)Xavier Leroy2002-03-291-0/+5
* MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy2001-12-071-1/+2
* Micro-optimisation de Buffer.createXavier Leroy2001-10-281-1/+1
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* array.mli: documentation des cas d'erreur de make, make_matrixDamien Doligez1999-10-021-1/+2
* Dans create, s'assurer que la taille est > 0Xavier Leroy1999-05-151-0/+1
* Reinitialiser length dans resetXavier Leroy1999-03-021-1/+3
* Revu le module Buffer.Xavier Leroy1999-02-251-163/+44
* Suppresion de fonctions inutiles. Ajout d'un test dans la fonctionPierre Weis1999-02-231-46/+24
* Modification de bprintf pour la rendre plus semblable aux autresPierre Weis1999-02-171-14/+12
* Addition of sprintf and formatting on buffers.Pierre Weis1999-02-161-0/+214