summaryrefslogtreecommitdiffstats
path: root/stdlib/buffer.ml
AgeCommit message (Expand)Author
2014-08-22merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez
2014-08-08remove redundant bound checking in Buffer.blit (patch by Philippe Wang)Gabriel Scherer
2014-04-29merge branch "safe-string"Damien Doligez
2013-08-30PR#6148: speed improvement for Buffer (patch by John Whitington).Alain Frisch
2012-10-17remove non-ascii charsDamien Doligez
2012-10-15remove all $Id keywordsDamien Doligez
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2010-03-28PR#5004: overflow in Buffer.add_channelXavier Leroy
2010-01-20merge changes from release/3.11.1 to release/3.11.2Damien Doligez
2008-09-09Correction bug add_substitute.Pierre Weis
2005-10-25nettoyageDamien Doligez
2004-06-14DocumentationPierre Weis
2004-04-14added cvs IdBasile Starynkevitch
2004-04-14added Buffer.sub & Buffer.nthBasile Starynkevitch
2003-05-14Documentation.Pierre Weis
2003-04-28Addition of function add_substitute for adding strings to buffer withPierre Weis
2002-07-12Remplacement des tests ofs + len > length par ofs > len - length, pour eviter...Xavier Leroy
2002-03-29Guard against string length overflow when resizing (PR#1015)Xavier Leroy
2001-12-07MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy
2001-10-28Micro-optimisation de Buffer.createXavier Leroy
1999-11-17Changement de la licenceXavier Leroy
1999-10-02array.mli: documentation des cas d'erreur de make, make_matrixDamien Doligez
1999-05-15Dans create, s'assurer que la taille est > 0Xavier Leroy
1999-03-02Reinitialiser length dans resetXavier Leroy
1999-02-25Revu le module Buffer.Xavier Leroy
1999-02-23Suppresion de fonctions inutiles. Ajout d'un test dans la fonctionPierre Weis
1999-02-17Modification de bprintf pour la rendre plus semblable aux autresPierre Weis
1999-02-16Addition of sprintf and formatting on buffers.Pierre Weis
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-11-23 23:53:00 +0000