compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-2/+2
*	Use Coq strings instead of idents to name external and builtin functions.	Xavier Leroy	2015-10-11	1	-1/+1
*	Filled in missing functions for debug information on ia32.	Bernhard Schommer	2015-10-09	1	-23/+2
*	Filled in the rest of the funciton needed for thte debug info under arm.	Bernhard Schommer	2015-10-09	1	-4/+46
*	Added versions of the tranform_* functions in AST to work with functions	Bernhard Schommer	2015-10-08	1	-2/+2
*	Upgrade the ARM port to the new builtins.	Xavier Leroy	2015-08-24	1	-111/+179
*	Asmexpand for ARM: fixed bug in Pfreeframe.	Xavier Leroy	2015-08-21	1	-3/+3
*	Fix bugs in Asmexpand.ml for ARM.	Xavier Leroy	2015-08-21	1	-8/+9
*	Updated the branch and implemented the suggested changes.	Bernhard Schommer	2015-07-14	1	-27/+30
*	Merge branch 'asmexpand' of github.com:AbsInt/CompCert	Bernhard Schommer	2015-06-26	1	-3/+329
*	Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert"	Bernhard Schommer	2015-06-26	1	-329/+3
*	Moved the rest of the ia32 builtins to asmexpand.	Bernhard Schommer	2015-06-22	1	-1/+3
*	Moved the printing of the builtin functions etc. into Asmexpand for ARM in th...	Bernhard Schommer	2015-06-10	1	-3/+327
*	PowerPC port: refactored the expansion of built-in functions and	xleroy	2014-07-28	1	-0/+18