compcert - CompCert fork with minor modifications for Vericert.

Branch	Commit message	Author	Age
master	Update verilog back end with new x86 changes	Yann Herklotz	13 months
dev/michalis	Merge branch 'master' into dev/michalis	Yann Herklotz	3 years
inl-cse-const	Add switch of pass	Yann Herklotz	3 years
aarch64	AArch64: wrong expected type for arguments of Cmaskl{zero,notzero}	xavier.leroy	5 years
no-pervasives	Clarify "open" statements	Xavier Leroy	5 years
floatofintu	x86 branchless implementation of float -> unsigned int32 conversion	Xavier Leroy	5 years
conditional-move	If-conversion optimization for Cminor	Xavier Leroy	5 years
FPcomp	Update the proofs after rebase	Xavier Leroy	5 years

Tag	Download	Author	Age
v3.10	compcert-3.10.tar.gz compcert-3.10.zip	Xavier Leroy	3 years
v3.9	compcert-3.9.tar.gz compcert-3.9.zip	Xavier Leroy	3 years
v3.8	compcert-3.8.tar.gz compcert-3.8.zip	Xavier Leroy	4 years
v3.7	compcert-3.7.tar.gz compcert-3.7.zip	Xavier Leroy	4 years
v3.6	compcert-3.6.tar.gz compcert-3.6.zip	Xavier Leroy	5 years
v3.5	compcert-3.5.tar.gz compcert-3.5.zip	Xavier Leroy	5 years
v3.4	compcert-3.4.tar.gz compcert-3.4.zip	Xavier Leroy	6 years
v3.3	compcert-3.3.tar.gz compcert-3.3.zip	Xavier Leroy	6 years
v3.2	compcert-3.2.tar.gz compcert-3.2.zip	Bernhard Schommer	6 years
v3.1	compcert-3.1.tar.gz compcert-3.1.zip	Xavier Leroy	7 years
[...]

Age	Commit message	Author	Files	Lines
2011-03-14	Update for 1.8.1 releasev1.8.1	xleroy	2	-5/+31
2011-03-14	Incompatibility 8.3 / 8.3pl1	xleroy	1	-1/+1
2011-03-13	Comment char for Diab	xleroy	1	-1/+1
2011-03-13	Slightly nicer semantics for initialization	xleroy	1	-28/+29
2011-03-13	More global initialization work done and proved in Coq.	xleroy	4	-80/+410
2011-03-12	Initializers for global variables: compile-time evaluation of expressions don...	xleroy	11	-159/+891
2011-03-10	Undesirable optimization of 'print'	xleroy	1	-0/+2
2011-03-10	Bitfields: MSB-to-LSB in addition to LSB-to-MSB	xleroy	3	-11/+39
2011-03-10	Revised signed/unsigned char handling.	xleroy	4	-18/+8
2011-03-10	Improved test harness	xleroy	3	-0/+14
[...]

Clone
https://git.ymhg.org/compcert
ssh://git@git.ymhg.org:compcert