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
...
*
Nettoyages doc
xleroy
2008-03-19
*
Probleme echo -ne sur MacOS 10.5
xleroy
2008-03-04
*
Dates
xleroy
2008-01-28
*
Ajout license, README, copyright notices
xleroy
2008-01-27
*
Function -> Definition (probleme de performance avec Coq8.1pl3)
xleroy
2008-01-07
*
Ajout corollaires et overlap pour le papier JAR (pas encore utilises dans Com...
xleroy
2007-12-08
*
Ajout find_symbol_not_nullptr; nettoyages
xleroy
2007-12-06
*
In Clight, revised handling of comparisons between pointers and 0
xleroy
2007-11-13
*
Ajout de global_addresses_distinct
xleroy
2007-11-03
*
Problemes d'alignement des variables globales et a l'interieur de leurs initi...
xleroy
2007-10-31
*
Simplification des Cconst_symbol: seules les versions 'signed' sont conservees
xleroy
2007-10-31
*
Simplification des Cconst_symbol: seules les versions 'signed' sont conservees
xleroy
2007-10-31
*
Revu l'heuristique de linearisation
xleroy
2007-10-30
*
Linearize: utilisation d'une heuristique externe d'enumeration des noeuds du CFG
xleroy
2007-10-27
*
Typo dans le pseudocode en commentaire
xleroy
2007-10-17
*
MAJ
xleroy
2007-10-17
*
MAJ
xleroy
2007-10-17
*
Relaxation de la regle d'evaluation Ecast
xleroy
2007-10-17
*
Utilisation d'une monade avec types dependants pour garder trace des propriet...
xleroy
2007-10-17
*
Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...
xleroy
2007-08-28
*
Ajout de common/Complements.v
xleroy
2007-08-26
*
Rendu le test lists.c plus interessant
xleroy
2007-08-06
*
Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu Makefiles
xleroy
2007-08-06
*
Documentation
xleroy
2007-08-05
*
Deplacement du repertoire "papers" dans la hierarchie SVN
xleroy
2007-08-04
*
Fusion des modifications faites sur les branches "tailcalls" et "smallstep".
xleroy
2007-08-04
*
Version longue et mise a jour du papier sur le front-end (premier jet).
blazy
2007-08-03
*
Utilisation de Function
xleroy
2007-03-23
*
Commentaires
xleroy
2007-03-05
*
Importer OrderedPositive depuis Ordered.v
xleroy
2007-03-05
*
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
*
Preuve des 2 axiomes restants
xleroy
2007-03-02
*
Ajout lemmes utiles sur egalite decidable
xleroy
2007-03-02
*
Ajout operation eq dans PMap et IndexedMap
xleroy
2007-01-03
*
Petites adaptations pour Coq 8.1gamma
xleroy
2006-11-11
*
Ajout test mark&sweep GC
xleroy
2006-10-27
*
Ajout test stop© GC
xleroy
2006-10-26
*
Rapport d'erreur dans CIL
xleroy
2006-10-23
*
Propagation des erreurs
xleroy
2006-10-23
*
Relaxation des contraintes sur les struct recursives
xleroy
2006-10-23
*
Location pour erreur sur le type de main()
xleroy
2006-10-23
*
Verification du type de retour de main()
xleroy
2006-10-23
*
Lever la restriction sur les fonctions externes, restriction qui exigeait que...
xleroy
2006-10-22
*
Meilleur traitement des fonctions forward declared. Ajout d'un warning sur l...
xleroy
2006-10-22
*
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
[prev]
[next]