summaryrefslogtreecommitdiffstats
path: root/byterun/parsing.c
AgeCommit message (Expand)Author
2014-12-27PR#5887: move the byterun/*.h headers to byterun/caml/*.h to avoid header nam...Gabriel Scherer
2014-04-15PR#6075: avoid using unsafe C library functions (strcpy, strcat, sprintf).Xavier Leroy
2012-10-15remove all $Id keywordsDamien Doligez
2011-12-21PR#5179: giant steps towards a Mingw64 port.Xavier Leroy
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2010-01-22clean up spaces and tabsDamien Doligez
2008-08-06PR#4367: added Parsing.set_trace to control the printing of a trace of action...Xavier Leroy
2004-05-17suppression des warnings "unused variable" de gccDamien Doligez
2004-01-01depollution suite (PR#1914 et PR#1956)Damien Doligez
2003-12-31depollution suite (PR#1914, PR#1956)Damien Doligez
2002-11-01changement des locations, premiere trancheDamien Doligez
2001-12-07MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy
2001-12-04declaration strlenDamien Doligez
2001-11-05Ajout mecanisme de trace dans les parsers ocamlyaccXavier Leroy
2001-08-28Chargement dynamique de primitives CXavier Leroy
1999-11-17Changement de la licenceXavier Leroy
1998-06-23Debut portage Cray T3EXavier Leroy
1998-04-21portage bytecode sur Cray T3EDamien Doligez
1997-09-02Sources C convertis en ANSI CXavier Leroy
1996-07-01Renommage BIG_ENDIAN -> ARCH_BIG_ENDIAN, etc.Xavier Leroy
1996-04-30Renommage en Objective CamlXavier Leroy
1996-02-28Bug d'allocation memoire dans le maniement des attributs de tokensXavier Leroy
1995-10-03On prend symb_start = symb_end quand on applique une epsilon-production.Xavier Leroy
1995-08-09Ajout des notices de copyrightXavier Leroy
1995-08-09Ajout de la recuperation d'erreurs dans les parsers YaccXavier Leroy
1995-06-18Changement representation des constructeurs constants.Xavier Leroy
1995-05-04Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-19 09:34:52 +0000