index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fusion de la branche "traces":
xleroy
2006-09-04
88
-8418
/
+11331
*
Ajout d'un type-checker (non certifie) pour Cminor
xleroy
2006-07-17
6
-17
/
+397
*
Declaration des variables avec .comm
xleroy
2006-07-11
1
-3
/
+1
*
Ajout de fabs
xleroy
2006-07-11
1
-0
/
+1
*
Cast des litteraux de chaine en unsigned char *
xleroy
2006-07-11
2
-12
/
+12
*
Revu sémantique de Eaddrof en Csharpminor: on peut prendre l'adresse de
xleroy
2006-07-11
3
-165
/
+149
*
Version C des tests Cminor
xleroy
2006-06-29
8
-0
/
+1339
*
MAJ suite aux changements dans Cminorgen
xleroy
2006-06-08
1
-3
/
+7
*
Ajout Sswitch dans Csharpminor. Renommage type variable_info -> var_kind
xleroy
2006-06-06
3
-27
/
+61
*
Optimisation des casts (idempotence, etc)
xleroy
2006-06-05
2
-51
/
+121
*
Ajout construction Sswitch dans Cminor
xleroy
2006-06-05
1
-8
/
+39
*
Ajout construction Sswitch dans Cminor
xleroy
2006-06-05
3
-9
/
+103
*
Revu gestion des variables globales dans Csharpminor
xleroy
2006-06-02
3
-274
/
+457
*
Suppression de stmtlist dans Cminor
xleroy
2006-04-06
2
-6
/
+6
*
Dans Cminor et Csharpminor: suppression de stmtlist, ajout de Sskip, Sseq.
xleroy
2006-04-06
9
-349
/
+247
*
Suppression de stmtlist et de exec_stmtlist.
xleroy
2006-04-06
1
-45
/
+31
*
Renommage List -> CList lors de l'extraction
xleroy
2006-03-09
6
-229
/
+231
*
PL: Un mot-cle Proof qui n'a rien a faire la...
letouzey
2006-02-16
1
-1
/
+0
*
Properties
xleroy
2006-02-10
0
-0
/
+0
*
MAJ fichier ppal
xleroy
2006-02-09
1
-63
/
+63
*
Nettoyages
xleroy
2006-02-09
3
-75293
/
+4
*
Initial import of compcert
xleroy
2006-02-09
109
-0
/
+134574