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
...
*
Revised back-end so that only 2 integer registers are reserved for reloading.
xleroy
2008-12-21
*
Clight: ajout Econdition, suppression Eindex.
xleroy
2008-09-27
*
Update for release 1.3
xleroy
2008-08-11
*
New file
xleroy
2008-08-11
*
Update
xleroy
2008-08-09
*
Changes 1.2 -> 1.3
xleroy
2008-08-09
*
Ajout nouveaux tests
xleroy
2008-08-09
*
Plus besoin de rectifier les URL invalides
xleroy
2008-08-01
*
Flag to turn on/off the recognition of fused multiply-add and multiply-sub
xleroy
2008-07-31
*
Added Slabel, Sgoto
xleroy
2008-07-31
*
Update test results
xleroy
2008-07-31
*
MAJ documentation
xleroy
2008-07-27
*
Simplification de la semantique de LTL et LTLin. Les details lies aux conven...
xleroy
2008-07-25
*
Augmenter le temps d'execution par defaut
xleroy
2008-07-25
*
Fusion partielle de la branche contsem:
xleroy
2008-07-08
*
Nettoyage du traitement des signatures au return dans LTL et LTLin
xleroy
2008-07-07
*
Utilisation de intoffloatu. Ajout du cas int + ptr.
xleroy
2008-05-31
*
Revu les comparaisons de pointeurs: == et <> sont definis entre 2 pointeurs v...
xleroy
2008-05-30
*
Introduction de l'operation intuoffloat (float -> unsigned int). Pas encore ...
xleroy
2008-05-30
*
Suppression de 'exten', inutilise
xleroy
2008-05-30
*
Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...
xleroy
2008-04-19
*
Erreur dans la traduction d'un for lorsque la condition est complexe
xleroy
2008-04-19
*
Impression des 'for'
xleroy
2008-04-19
*
Detecter __builtin_xxx
xleroy
2008-04-19
*
Amelioration compilation des switch
xleroy
2008-04-17
*
Camlcoq.ml: interpret Caml's int32 as unsigned when converting to Integers.int
xleroy
2008-04-16
*
Ajout du test vmach
xleroy
2008-04-15
*
MAJ
xleroy
2008-04-15
*
Alignement de la pile dans PrintPPC
xleroy
2008-04-13
*
Revu le traitement de la 'red zone' en bas de la pile
xleroy
2008-04-12
*
Revu gestion retaddr et link dans Stacking
xleroy
2008-04-12
*
Meilleure selection pour if ((a && b) != 0), etc
xleroy
2008-03-27
*
Revu removeproof
xleroy
2008-03-19
*
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
[prev]
[next]