compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge branch 'master' into asmexpand	Bernhard Schommer	2015-07-14	1	-4/+5
\|\
\| *	Set/clear CR6 before calling an unprototyped function.	Xavier Leroy	2015-07-07	1	-3/+4
\| *	Corrected little typo in __builtin_clz function.	Bernhard Schommer	2015-07-06	1	-1/+1
* \|	Merge branch 'asmexpand' of github.com:AbsInt/CompCert	Bernhard Schommer	2015-06-26	1	-44/+11
* \|	Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert"	Bernhard Schommer	2015-06-26	1	-11/+44
* \|	Merge branch 'asmexpand' of github.com:AbsInt/CompCert	Bernhard Schommer	2015-06-26	1	-44/+11
\|\ \ \| \|/ \|/\|
\| *	Moved the printing of the builtin functions etc. into Asmexpand for ARM in th...	Bernhard Schommer	2015-06-10	1	-44/+11
* \|	Changed a minor typo: Pstwxu should be Pstwux	Bernhard Schommer	2015-06-22	1	-1/+1
\|/
*	Support for GCC-style extended asm, continued:	Xavier Leroy	2015-04-21	1	-1/+1
*	Experiment: support a subset of GCC's extended asm statements.	Xavier Leroy	2015-04-17	1	-1/+1
*	Updating the PowerPC and ARM ports.	Xavier Leroy	2015-03-27	1	-1/+1
*	Cold feet: suppress builtins for load with reservation/store conditional, use...	xleroy	2014-08-28	1	-6/+0
*	Rename __builtin_cntlz to __builtin_clz.	xleroy	2014-08-27	1	-1/+1
*	Add builtins for load with reservation and conditional store.	xleroy	2014-08-20	1	-0/+6
*	powerpc/Asm: simplify the modeling of Csymbol_low and Csymbol_high.	xleroy	2014-08-18	1	-6/+26
*	All targets: add __builtin_membar	xleroy	2014-07-28	1	-7/+9
*	PowerPC port: refactored the expansion of built-in functions and	xleroy	2014-07-28	1	-0/+525