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
path:
root
/
test
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Ajout test stop© GC
xleroy
2006-10-26
3
-1
/
+404
*
Ajout et utilisation de compcert_stdio.h
xleroy
2006-10-22
6
-6
/
+210
*
Resolution d'un probleme (cf. big endian), et
blazy
2006-10-20
10
-19
/
+11
*
Ajout du banc de tests de CCured (Olden benchmark suite, cf.
blazy
2006-10-20
202
-0
/
+12593
*
cleaning...
lrg
2006-10-20
1
-2
/
+1
*
interpreter for "little"
lrg
2006-10-20
16
-0
/
+1336
*
Simplification de Cminor: les affectations de variables locales ne sont
xleroy
2006-09-18
1
-5
/
+10
*
Nettoyages
xleroy
2006-09-17
4
-18
/
+16
*
Davantage de tests
xleroy
2006-09-17
33
-33
/
+3010
*
Ajout du test lists
xleroy
2006-09-11
2
-2
/
+57
*
MAJ des tests C
xleroy
2006-09-08
8
-61
/
+1082
*
Integration du front-end CIL developpe par Thomas Moniot
xleroy
2006-09-07
1
-78
/
+62
*
Fusion de la branche "traces":
xleroy
2006-09-04
6
-26
/
+113
*
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
*
Version C des tests Cminor
xleroy
2006-06-29
8
-0
/
+1339
*
Initial import of compcert
xleroy
2006-02-09
18
-0
/
+2224
[prev]