aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* Meilleure compilation de la negation booleennexleroy2006-09-195-7/+15
* Simplification de Cminor: les affectations de variables locales ne sontxleroy2006-09-1811-981/+792
* Suite des stubs variadiques.xleroy2006-09-171-16/+13
* Preprocesser en definissant __ppc__ (utile pour l'emulation MacOSX/Intel)xleroy2006-09-171-1/+1
* Nettoyagesxleroy2006-09-174-18/+16
* Revu generation de stubs pour les fonctions variadiquesxleroy2006-09-171-28/+106
* typo in commentxleroy2006-09-171-1/+1
* Type unrolling in struct and union fieldsxleroy2006-09-171-5/+30
* Davantage de testsxleroy2006-09-1733-33/+3010
* Bug dans le traitement des fonctions variadiques.xleroy2006-09-171-25/+54
* Meilleur message de debug dans le cas Icallxleroy2006-09-171-6/+15
* Ajout de Init_pointer (experimental)xleroy2006-09-174-4/+61
* Const.prop dans la taille des tableaux. Tolerer (avec warning) les declarati...xleroy2006-09-161-5/+9
* Ajout du test listsxleroy2006-09-112-2/+57
* Utiliser l'extension .light.c au lieu de .clightxleroy2006-09-111-1/+1
* Typo dans impression structsxleroy2006-09-111-1/+1
* Eviter de caster les fonctions directement dans le cas variadique, gcc dit qu...xleroy2006-09-111-4/+1
* Suppression des casts systematiques vers unsigned int dans les comparaisons d...xleroy2006-09-111-9/+65
* Revu traitement des structures et unions recursives. Dans Cshmgen, meilleure...xleroy2006-09-117-77/+82
* Code de timingxleroy2006-09-111-0/+26
* MAJ suite ajouts dans Kildall. Compiler en code natif par defautxleroy2006-09-112-11/+29
* Meilleure representation des worklists dans l'algo de Kildallxleroy2006-09-114-68/+209
* Encore une eta-expansion intempestivexleroy2006-09-111-4/+23
* Traiter les initialisations x = NULLxleroy2006-09-081-0/+2
* MAJxleroy2006-09-081-2/+2
* Suite de l'adaptation du front-end CILxleroy2006-09-084-267/+325
* MAJ des tests Cxleroy2006-09-088-61/+1082
* Stocker l'adresse de retour a l'offset 12 au lieu de l'offset 4 pour meilleur...xleroy2006-09-088-19/+19
* Integration du front-end CIL developpe par Thomas Moniotxleroy2006-09-0722-119/+2688
* Permettre les casts entre types de fonctionxleroy2006-09-062-13/+21
* Csem: l'hypothese de typage sur main est inutile (assuree par wt_program)xleroy2006-09-063-10/+21
* Ajout de dependances dans extraction/Makefiletristan2006-09-063-24/+32
* MAJxleroy2006-09-062-2/+4
* Definition redondantexleroy2006-09-061-5/+0
* Revu traitement des variables globales dans AST.program et dans Globalenvs.xleroy2006-09-0523-468/+538
* Ignorer les .vo dans cfrontend et commonxleroy2006-09-040-0/+0
* Ignorer les .vo dans cfrontend et commonxleroy2006-09-040-0/+0
* Convenience commandxleroy2006-09-041-0/+4
* Revu la repartition des sources Coq en sous-repertoiresxleroy2006-09-0412-67/+70
* Fusion de la branche "traces":xleroy2006-09-0488-8418/+11331
* Ajout d'un type-checker (non certifie) pour Cminorxleroy2006-07-176-17/+397
* Declaration des variables avec .commxleroy2006-07-111-3/+1
* Ajout de fabsxleroy2006-07-111-0/+1
* Cast des litteraux de chaine en unsigned char *xleroy2006-07-112-12/+12
* Revu sémantique de Eaddrof en Csharpminor: on peut prendre l'adresse de xleroy2006-07-113-165/+149
* Version C des tests Cminorxleroy2006-06-298-0/+1339
* MAJ suite aux changements dans Cminorgenxleroy2006-06-081-3/+7
* Ajout Sswitch dans Csharpminor. Renommage type variable_info -> var_kindxleroy2006-06-063-27/+61
* Optimisation des casts (idempotence, etc)xleroy2006-06-052-51/+121
* Ajout construction Sswitch dans Cminorxleroy2006-06-051-8/+39
generated by cgit (git 2.34.1) at 2024-06-13 11:13:16 +0000