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  CompCert-3.7.tar.gz  CompCert-3.7.tar.bz2  Xavier Leroy8 days  CompCert-3.6.tar.gz  CompCert-3.6.tar.bz2  Xavier Leroy7 months  CompCert-3.5.tar.gz  CompCert-3.5.tar.bz2  Xavier Leroy13 months  CompCert-3.4.tar.gz  CompCert-3.4.tar.bz2  Xavier Leroy19 months  CompCert-3.3.tar.gz  CompCert-3.3.tar.bz2  Xavier Leroy22 months  CompCert-3.2.tar.gz  CompCert-3.2.tar.bz2  Bernhard Schommer2 years  CompCert-3.1.tar.gz  CompCert-3.1.tar.bz2  Xavier Leroy3 years  CompCert-3.0.1.tar.gz  CompCert-3.0.1.tar.bz2  Xavier Leroy3 years  CompCert-3.0.tar.gz  CompCert-3.0.tar.bz2  Xavier Leroy3 years  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