summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
3.13Update for release 3.13Xavier Leroy10 months
FPcompUpdate the proofs after rebaseXavier Leroy5 years
big-integer-literalMake warning "integer literal too large for signed types" configurableXavier Leroy10 months
clight-tailcallsUpdate clightgen to handle tail callsXavier Leroy2 years
destroyed-builtinFiner treatment of temporaries destroyed by built-in functions (part 1)Xavier Leroy18 months
masterReplace one `intuition` by `intuition auto`Xavier Leroy4 weeks
revised-bitfield-elabRevised translation of bit-field declarations to CompCert CXavier Leroy15 months
 
TagDownloadAuthorAge
v3.13.1CompCert-3.13.1.zip  CompCert-3.13.1.tar.gz  CompCert-3.13.1.tar.bz2  Xavier Leroy10 months
v3.13CompCert-3.13.zip  CompCert-3.13.tar.gz  CompCert-3.13.tar.bz2  Xavier Leroy10 months
v3.12CompCert-3.12.zip  CompCert-3.12.tar.gz  CompCert-3.12.tar.bz2  Xavier Leroy17 months
v3.11CompCert-3.11.zip  CompCert-3.11.tar.gz  CompCert-3.11.tar.bz2  Xavier Leroy22 months
v3.10CompCert-3.10.zip  CompCert-3.10.tar.gz  CompCert-3.10.tar.bz2  Xavier Leroy2 years
v3.9CompCert-3.9.zip  CompCert-3.9.tar.gz  CompCert-3.9.tar.bz2  Xavier Leroy3 years
v3.8CompCert-3.8.zip  CompCert-3.8.tar.gz  CompCert-3.8.tar.bz2  Xavier Leroy3 years
v3.7CompCert-3.7.zip  CompCert-3.7.tar.gz  CompCert-3.7.tar.bz2  Xavier Leroy4 years
v3.6CompCert-3.6.zip  CompCert-3.6.tar.gz  CompCert-3.6.tar.bz2  Xavier Leroy5 years
v3.5CompCert-3.5.zip  CompCert-3.5.tar.gz  CompCert-3.5.tar.bz2  Xavier Leroy5 years
[...]
 
AgeCommit messageAuthor
2024-03-30Replace one `intuition` by `intuition auto`HEADmasterXavier Leroy
2024-03-20Improved constant expansion for ARMBernhard Schommer
2024-03-20Use movt/movw in ARM mode too (#503)David Monniaux
2024-03-19Coq 8.19.1 is supportedXavier Leroy
2024-03-19Update MenhirLib to version 20231231Xavier Leroy
2024-03-19Coq 8.18.0 is supportedXavier Leroy
2024-03-19Address Coq 8.18 warningsXavier Leroy
2024-03-19Upgrade Flocq to version 4.1.4Xavier Leroy
2024-03-18Semantics of free(): remove requirement size > 0 (#509)Josué Moreau
2024-03-18Remove -fstruct-return command-line optionMichael Schmidt
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/CompCert.git
git://github.com/AbsInt/CompCert.git
https://github.com/AbsInt/CompCert.git
generated by cgit v0.10.2-6-g49f6 at 2024-04-24 22:57:44 (GMT)