summaryrefslogtreecommitdiff
path: root/backend
Commit message (Expand)AuthorAge
* Meilleure representation des worklists dans l'algo de KildallGravatar xleroy2006-09-11
* Stocker l'adresse de retour a l'offset 12 au lieu de l'offset 4 pour meilleur...Gravatar xleroy2006-09-08
* Revu traitement des variables globales dans AST.program et dans Globalenvs.Gravatar xleroy2006-09-05
* Revu la repartition des sources Coq en sous-repertoiresGravatar xleroy2006-09-04
* Fusion de la branche "traces":Gravatar xleroy2006-09-04
* Revu sémantique de Eaddrof en Csharpminor: on peut prendre l'adresse de Gravatar xleroy2006-07-11
* 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
* Ajout construction Sswitch dans CminorGravatar xleroy2006-06-05
* Revu gestion des variables globales dans CsharpminorGravatar xleroy2006-06-02
* Dans Cminor et Csharpminor: suppression de stmtlist, ajout de Sskip, Sseq.Gravatar xleroy2006-04-06
* Suppression de stmtlist et de exec_stmtlist.Gravatar xleroy2006-04-06
* PL: Un mot-cle Proof qui n'a rien a faire la...Gravatar letouzey2006-02-16
* Initial import of compcertGravatar xleroy2006-02-09