index
:
debian-compcert
master
pristine-tar
upstream
Debian packaging for CompCert
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Convenience command
xleroy
2006-09-04
*
Revu la repartition des sources Coq en sous-repertoires
xleroy
2006-09-04
*
Fusion de la branche "traces":
xleroy
2006-09-04
*
Ajout d'un type-checker (non certifie) pour Cminor
xleroy
2006-07-17
*
Declaration des variables avec .comm
xleroy
2006-07-11
*
Ajout de fabs
xleroy
2006-07-11
*
Cast des litteraux de chaine en unsigned char *
xleroy
2006-07-11
*
Revu sémantique de Eaddrof en Csharpminor: on peut prendre l'adresse de
xleroy
2006-07-11
*
Version C des tests Cminor
xleroy
2006-06-29
*
MAJ suite aux changements dans Cminorgen
xleroy
2006-06-08
*
Ajout Sswitch dans Csharpminor. Renommage type variable_info -> var_kind
xleroy
2006-06-06
*
Optimisation des casts (idempotence, etc)
xleroy
2006-06-05
*
Ajout construction Sswitch dans Cminor
xleroy
2006-06-05
*
Ajout construction Sswitch dans Cminor
xleroy
2006-06-05
*
Revu gestion des variables globales dans Csharpminor
xleroy
2006-06-02
*
Suppression de stmtlist dans Cminor
xleroy
2006-04-06
*
Dans Cminor et Csharpminor: suppression de stmtlist, ajout de Sskip, Sseq.
xleroy
2006-04-06
*
Suppression de stmtlist et de exec_stmtlist.
xleroy
2006-04-06
*
Renommage List -> CList lors de l'extraction
xleroy
2006-03-09
*
PL: Un mot-cle Proof qui n'a rien a faire la...
letouzey
2006-02-16
*
Properties
xleroy
2006-02-10
*
MAJ fichier ppal
xleroy
2006-02-09
*
Nettoyages
xleroy
2006-02-09
*
Initial import of compcert
xleroy
2006-02-09