summaryrefslogtreecommitdiff
path: root/caml
Commit message (Expand)AuthorAge
* Fusion des modifications faites sur les branches "tailcalls" et "smallstep".Gravatar xleroy2007-08-04
* Rapport d'erreur dans CILGravatar xleroy2006-10-23
* Relaxation des contraintes sur les struct recursivesGravatar xleroy2006-10-23
* Location pour erreur sur le type de main()Gravatar xleroy2006-10-23
* Verification du type de retour de main()Gravatar xleroy2006-10-23
* Lever la restriction sur les fonctions externes, restriction qui exigeait que...Gravatar xleroy2006-10-22
* Meilleur traitement des fonctions forward declared. Ajout d'un warning sur l...Gravatar xleroy2006-10-22
* Resolution d'un probleme (cf. big endian), etGravatar blazy2006-10-20
* Simplification de Cminor: les affectations de variables locales ne sontGravatar xleroy2006-09-18
* Suite des stubs variadiques.Gravatar xleroy2006-09-17
* Preprocesser en definissant __ppc__ (utile pour l'emulation MacOSX/Intel)Gravatar xleroy2006-09-17
* Revu generation de stubs pour les fonctions variadiquesGravatar xleroy2006-09-17
* Type unrolling in struct and union fieldsGravatar xleroy2006-09-17
* Bug dans le traitement des fonctions variadiques.Gravatar xleroy2006-09-17
* Meilleur message de debug dans le cas IcallGravatar xleroy2006-09-17
* Ajout de Init_pointer (experimental)Gravatar xleroy2006-09-17
* Const.prop dans la taille des tableaux. Tolerer (avec warning) les declarati...Gravatar xleroy2006-09-16
* Utiliser l'extension .light.c au lieu de .clightGravatar xleroy2006-09-11
* Typo dans impression structsGravatar xleroy2006-09-11
* Eviter de caster les fonctions directement dans le cas variadique, gcc dit qu...Gravatar xleroy2006-09-11
* Revu traitement des structures et unions recursives. Dans Cshmgen, meilleure...Gravatar xleroy2006-09-11
* Code de timingGravatar xleroy2006-09-11
* Traiter les initialisations x = NULLGravatar xleroy2006-09-08
* Suite de l'adaptation du front-end CILGravatar xleroy2006-09-08
* Integration du front-end CIL developpe par Thomas MoniotGravatar xleroy2006-09-07
* MAJGravatar xleroy2006-09-06
* Definition redondanteGravatar xleroy2006-09-06
* Fusion de la branche "traces":Gravatar xleroy2006-09-04
* Ajout d'un type-checker (non certifie) pour CminorGravatar xleroy2006-07-17
* Declaration des variables avec .commGravatar xleroy2006-07-11
* Suppression de stmtlist dans CminorGravatar xleroy2006-04-06
* Renommage List -> CList lors de l'extractionGravatar xleroy2006-03-09
* Initial import of compcertGravatar xleroy2006-02-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 11:58:54 +0000