summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* 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
* MAJGravatar xleroy2006-09-08
* Suite de l'adaptation du front-end CILGravatar xleroy2006-09-08
* MAJ des tests CGravatar xleroy2006-09-08
* Stocker l'adresse de retour a l'offset 12 au lieu de l'offset 4 pour meilleur...Gravatar xleroy2006-09-08
* Integration du front-end CIL developpe par Thomas MoniotGravatar xleroy2006-09-07
* Permettre les casts entre types de fonctionGravatar xleroy2006-09-06
* Csem: l'hypothese de typage sur main est inutile (assuree par wt_program)Gravatar xleroy2006-09-06
* Ajout de dependances dans extraction/MakefileGravatar tristan2006-09-06
* MAJGravatar xleroy2006-09-06
* Definition redondanteGravatar xleroy2006-09-06
* Revu traitement des variables globales dans AST.program et dans Globalenvs.Gravatar xleroy2006-09-05
* Ignorer les .vo dans cfrontend et commonGravatar xleroy2006-09-04
* Ignorer les .vo dans cfrontend et commonGravatar xleroy2006-09-04
* Convenience commandGravatar xleroy2006-09-04
* Revu la repartition des sources Coq en sous-repertoiresGravatar xleroy2006-09-04
* 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
* Ajout de fabsGravatar xleroy2006-07-11
* Cast des litteraux de chaine en unsigned char *Gravatar xleroy2006-07-11
* Revu sémantique de Eaddrof en Csharpminor: on peut prendre l'adresse de Gravatar xleroy2006-07-11
* Version C des tests CminorGravatar xleroy2006-06-29
* MAJ suite aux changements dans CminorgenGravatar xleroy2006-06-08
* Ajout Sswitch dans Csharpminor. Renommage type variable_info -> var_kindGravatar xleroy2006-06-06
* Optimisation des casts (idempotence, etc)Gravatar xleroy2006-06-05
* Ajout construction Sswitch dans CminorGravatar xleroy2006-06-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-08 05:38:01 +0000