index
:
debian-compcert
master
pristine-tar
upstream
Debian packaging for CompCert
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
Commit message (
Expand
)
Author
Age
*
Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...
xleroy
2007-03-02
*
Nettoyage
xleroy
2007-03-02
*
Mettre les 2 demi-espaces dans 2 blocs separes
xleroy
2007-03-02
*
Ajout test mark&sweep GC
xleroy
2006-10-27
*
Ajout test stop© GC
xleroy
2006-10-26
*
Ajout et utilisation de compcert_stdio.h
xleroy
2006-10-22
*
Resolution d'un probleme (cf. big endian), et
blazy
2006-10-20
*
Ajout du banc de tests de CCured (Olden benchmark suite, cf.
blazy
2006-10-20
*
cleaning...
lrg
2006-10-20
*
interpreter for "little"
lrg
2006-10-20
*
Simplification de Cminor: les affectations de variables locales ne sont
xleroy
2006-09-18
*
Nettoyages
xleroy
2006-09-17
*
Davantage de tests
xleroy
2006-09-17
*
Ajout du test lists
xleroy
2006-09-11
*
MAJ des tests C
xleroy
2006-09-08
*
Integration du front-end CIL developpe par Thomas Moniot
xleroy
2006-09-07
*
Fusion de la branche "traces":
xleroy
2006-09-04
*
Ajout de fabs
xleroy
2006-07-11
*
Cast des litteraux de chaine en unsigned char *
xleroy
2006-07-11
*
Version C des tests Cminor
xleroy
2006-06-29
*
Initial import of compcert
xleroy
2006-02-09