summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
FPcompUpdate the proofs after rebaseXavier Leroy12 months
aarch64AArch64: wrong expected type for arguments of Cmaskl{zero,notzero}xavier.leroy7 months
conditional-moveIf-conversion optimization for CminorXavier Leroy10 months
floatofintux86 branchless implementation of float -> unsigned int32 conversionXavier Leroy10 months
masterUpdates for release 3.7Xavier Leroy8 days
menhir-configurationRevised menhirLib autoconfigurationXavier Leroy2 months
no-pervasivesClarify "open" statementsXavier Leroy9 months
 
TagDownloadAuthorAge
v3.7CompCert-3.7.zip  CompCert-3.7.tar.gz  CompCert-3.7.tar.bz2  Xavier Leroy8 days
v3.6CompCert-3.6.zip  CompCert-3.6.tar.gz  CompCert-3.6.tar.bz2  Xavier Leroy7 months
v3.5CompCert-3.5.zip  CompCert-3.5.tar.gz  CompCert-3.5.tar.bz2  Xavier Leroy13 months
v3.4CompCert-3.4.zip  CompCert-3.4.tar.gz  CompCert-3.4.tar.bz2  Xavier Leroy19 months
v3.3CompCert-3.3.zip  CompCert-3.3.tar.gz  CompCert-3.3.tar.bz2  Xavier Leroy22 months
v3.2CompCert-3.2.zip  CompCert-3.2.tar.gz  CompCert-3.2.tar.bz2  Bernhard Schommer2 years
v3.1CompCert-3.1.zip  CompCert-3.1.tar.gz  CompCert-3.1.tar.bz2  Xavier Leroy3 years
v3.0.1CompCert-3.0.1.zip  CompCert-3.0.1.tar.gz  CompCert-3.0.1.tar.bz2  Xavier Leroy3 years
v3.0CompCert-3.0.zip  CompCert-3.0.tar.gz  CompCert-3.0.tar.bz2  Xavier Leroy3 years
v2.7.1CompCert-2.7.1.zip  CompCert-2.7.1.tar.gz  CompCert-2.7.1.tar.bz2  Xavier Leroy4 years
[...]
 
AgeCommit messageAuthor
8 daysUpdates for release 3.7HEADv3.7masterXavier Leroy
9 daysUpdates for release 3.7Xavier Leroy
9 daysUpdate ChangelogXavier Leroy
10 daysDouble rounding error in int64->float32 conversions on PowerPC and ARMXavier Leroy
10 daysAdd a test for int64 -> float32 conversionXavier Leroy
11 daysExplicit error messages for ill-formed section attributes (#232)Bernhard Schommer
2020-03-04Include typedef name in error message (#228)Bernhard Schommer
2020-03-02Update the RISC-V calling conventions, continued (#227)Xavier Leroy
2020-03-02Define the semantics of `free(NULL)`, continuedXavier Leroy
2020-03-02Define the semantics of `free(NULL)` (#226)Xavier Leroy
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/CompCert.git
git://github.com/AbsInt/CompCert.git
https://github.com/AbsInt/CompCert.git