compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'origin/master' into named-externals	Bernhard Schommer	2015-10-20	1	-1/+1
\|\
\| *	bug 17392: fix typo in OS name	Michael Schmidt	2015-10-14	1	-1/+1
\| *	bug 17392: remove trailing whitespace in source files	Michael Schmidt	2015-10-14	1	-15/+15
* \|	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-15/+15
* \|	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	-22/+32
*	Improve error reporting in Asmexpand.	Xavier Leroy	2015-08-24	1	-10/+38
*	Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.	Xavier Leroy	2015-08-22	1	-11/+11
*	Merge branch 'master' into 'new-builtins'	Xavier Leroy	2015-08-21	1	-85/+93
\|\
\| *	Asmexpand for ARM: fixed bug in Pfreeframe.	Xavier Leroy	2015-08-21	1	-2/+2
\| *	Consistent naming of "P" instructions and consistent ordering of arguments	Xavier Leroy	2015-08-21	1	-95/+94
\| *	Fixed bugs in asm expansion causing the test suite to fail.	Xavier Leroy	2015-08-21	1	-13/+20
* \|	Refactoring of builtins and annotations in the back-end.	Xavier Leroy	2015-08-21	1	-84/+84
\|/
*	Merge branch 'asmexpand' of github.com:AbsInt/CompCert	Bernhard Schommer	2015-06-26	1	-0/+373
*	Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert"	Bernhard Schommer	2015-06-26	1	-373/+0
*	Moved the rest of the ia32 builtins to asmexpand.	Bernhard Schommer	2015-06-22	1	-20/+236
*	Started moving functions from TargetPrinter.ml to Asmexpand.ml for ia32.	Bernhard Schommer	2015-06-18	1	-0/+157
*	PowerPC port: refactored the expansion of built-in functions and	xleroy	2014-07-28	1	-0/+18