compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Added builtin for the dcbf instruction	Bernhard Schommer	2015-08-17	1	-0/+2
*	Added builtin for the dcbi instruction.	Bernhard Schommer	2015-08-17	1	-0/+2
*	Added builitin for the icbi instruction.	Bernhard Schommer	2015-08-14	1	-0/+2
*	Added builtin for the lwsync barrier.	Bernhard Schommer	2015-08-14	1	-0/+2
*	Corrected little typo in __builtin_clz function.	Bernhard Schommer	2015-07-06	1	-2/+2
*	Simple path for problems whith diab assembler in the case of functions in dif...	Bernhard Schommer	2015-07-03	1	-9/+48
*	Changed a minor typo: Pstwxu should be Pstwux	Bernhard Schommer	2015-06-22	1	-2/+2
*	Merged PrintAnnot into PrintAsmaux.	Bernhard Schommer	2015-05-14	1	-6/+6
*	Cleanups and updates for extended asm.	Xavier Leroy	2015-04-21	1	-2/+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	-6/+11
*	Merge branch 'master' into dwarf	Bernhard Schommer	2015-04-02	1	-2/+5
\|\
\| *	Updating the PowerPC and ARM ports.	Xavier Leroy	2015-03-27	1	-2/+5
* \|	Print all files ever encountered in the filenum.	Bernhard Schommer	2015-04-01	1	-4/+3
* \|	Started implementing the printing functions for the debug info. Added a globa...	Bernhard Schommer	2015-03-16	1	-0/+12
* \|	Started integrating the debug printing in the common backend_printer.	Bernhard Schommer	2015-03-11	1	-6/+54
\|/
*	Removed unused sel_target, changed cygwin symbol names and changed the defaul...	Bernhard Schommer	2015-02-19	1	-0/+1
*	Added an elf prefix to all common elf functions in PrintAsmaux.	Bernhard Schommer	2015-02-18	1	-6/+17
*	Changed print_fun/var_info to be functions instead of booleans.	Bernhard Schommer	2015-02-18	1	-2/+2
*	Changed arm backend to the common backend printer.	Bernhard Schommer	2015-02-09	1	-2/+2
*	Changed the ia32 backend to the new Printer.	Bernhard Schommer	2015-02-06	1	-5/+2
*	Changed the ASM printer of the powerpc to the generalized backend.	Bernhard Schommer	2015-02-05	1	-0/+744