summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Fusion des modifications faites sur les branches "tailcalls" et "smallstep".Gravatar xleroy2007-08-04
* Version longue et mise a jour du papier sur le front-end (premier jet).Gravatar blazy2007-08-03
* Utilisation de FunctionGravatar xleroy2007-03-23
* CommentairesGravatar xleroy2007-03-05
* Importer OrderedPositive depuis Ordered.vGravatar xleroy2007-03-05
* Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...Gravatar xleroy2007-03-02
* NettoyageGravatar xleroy2007-03-02
* Mettre les 2 demi-espaces dans 2 blocs separesGravatar xleroy2007-03-02
* Preuve des 2 axiomes restantsGravatar xleroy2007-03-02
* Ajout lemmes utiles sur egalite decidableGravatar xleroy2007-03-02
* Ajout operation eq dans PMap et IndexedMapGravatar xleroy2007-01-03
* Petites adaptations pour Coq 8.1gammaGravatar xleroy2006-11-11
* Ajout test mark&sweep GCGravatar xleroy2006-10-27
* Ajout test stop&copy GCGravatar xleroy2006-10-26
* Rapport d'erreur dans CILGravatar xleroy2006-10-23
* Propagation des erreursGravatar 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
* Ajout et utilisation de compcert_stdio.hGravatar xleroy2006-10-22
* Resolution d'un probleme (cf. big endian), etGravatar blazy2006-10-20
* Ajout du banc de tests de CCured (Olden benchmark suite, cf.Gravatar blazy2006-10-20
* cleaning...Gravatar lrg2006-10-20
* interpreter for "little"Gravatar lrg2006-10-20
* Meilleure compilation de la negation booleenneGravatar xleroy2006-09-19
* 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
* NettoyagesGravatar xleroy2006-09-17
* Revu generation de stubs pour les fonctions variadiquesGravatar xleroy2006-09-17
* typo in commentGravatar xleroy2006-09-17
* Type unrolling in struct and union fieldsGravatar xleroy2006-09-17
* Davantage de testsGravatar 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
* Ajout du test listsGravatar xleroy2006-09-11
* 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
* Suppression des casts systematiques vers unsigned int dans les comparaisons d...Gravatar xleroy2006-09-11
* Revu traitement des structures et unions recursives. Dans Cshmgen, meilleure...Gravatar xleroy2006-09-11
* Code de timingGravatar xleroy2006-09-11
* MAJ suite ajouts dans Kildall. Compiler en code natif par defautGravatar xleroy2006-09-11
* Meilleure representation des worklists dans l'algo de KildallGravatar xleroy2006-09-11
* Encore une eta-expansion intempestiveGravatar xleroy2006-09-11
* Traiter les initialisations x = NULLGravatar xleroy2006-09-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 02:54:07 +0000