summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
FPcompUpdate the proofs after rebaseXavier Leroy10 months
aarch64AArch64: wrong expected type for arguments of Cmaskl{zero,notzero}xavier.leroy5 months
conditional-moveIf-conversion optimization for CminorXavier Leroy8 months
floatofintux86 branchless implementation of float -> unsigned int32 conversionXavier Leroy8 months
masterRemove __builtin_nop from list of x86 builtins.Bernhard Schommer3 weeks
no-pervasivesClarify "open" statementsXavier Leroy7 months
 
TagDownloadAuthorAge
v3.6CompCert-3.6.zip  CompCert-3.6.tar.gz  CompCert-3.6.tar.bz2  Xavier Leroy4 months
v3.5CompCert-3.5.zip  CompCert-3.5.tar.gz  CompCert-3.5.tar.bz2  Xavier Leroy11 months
v3.4CompCert-3.4.zip  CompCert-3.4.tar.gz  CompCert-3.4.tar.bz2  Xavier Leroy16 months
v3.3CompCert-3.3.zip  CompCert-3.3.tar.gz  CompCert-3.3.tar.bz2  Xavier Leroy20 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 Leroy2 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
v2.7CompCert-2.7.zip  CompCert-2.7.tar.gz  CompCert-2.7.tar.bz2  Xavier Leroy4 years
[...]
 
AgeCommit messageAuthor
2020-01-03Remove __builtin_nop from list of x86 builtins.HEADmasterBernhard Schommer
2020-01-03Revert "Remove `__builtin_nop` for some architectures. (#208)"Bernhard Schommer
2019-12-21Added error for unknown builtin functions. (#208)Bernhard Schommer
2019-12-21Remove `__builtin_nop` for some architectures. (#208)Bernhard Schommer
2019-12-11The SP register has dwarf register number 31.Bernhard Schommer
2019-12-03Allow Coq 8.10.2.Bernhard Schommer
2019-11-28Fix for AArch64 alignment problem (#206)Bernhard Schommer
2019-11-28Added dwarf register numbers for aarch64Bernhard Schommer
2019-11-26Added back unused_ais_parameter warning.Bernhard Schommer
2019-11-25Simplified diagnostics module.Bernhard Schommer
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/CompCert.git
git://github.com/AbsInt/CompCert.git
https://github.com/AbsInt/CompCert.git