compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge branch 'master' into dwarf	Bernhard Schommer	2015-03-31	22	-112/+1117
\|\
\| *	Merge pull request #33 from AbsInt/struct-passing	Xavier Leroy	2015-03-31	22	-112/+1115
\| \|\
\| \| *	Support va_arg for vararg arguments of composite (struct/union) types.	Xavier Leroy	2015-03-20	2	-0/+19
\| \| *	Support va_arg for vararg arguments of composite (struct/union) types.	Xavier Leroy	2015-03-20	4	-15/+67
\| \| *	"ecomma" smart constructor: reassociate to the left so that it prints more ni...	Xavier Leroy	2015-03-20	1	-2/+8
\| \| *	Fix .type and .size annotations: @ is comment, use % instead.	Xavier Leroy	2015-03-20	1	-2/+6
\| \| *	Improvements in the StructReturn transformation (ABI conformance for passing ...	Xavier Leroy	2015-03-20	12	-363/+454
\| \| *	Missing initialization of current_function_sig.	Xavier Leroy	2015-03-14	3	-3/+6
\| \| *	Merge branch 'master' into struct-passing	Xavier Leroy	2015-03-14	12	-3179/+3130
\| \| \|\
\| \| * \	Merge branch 'master' into struct-passing	Xavier Leroy	2015-03-14	34	-616/+1614
\| \| \|\ \
\| \| * \| \|	Improve performance and configurability for the StructReturn pass.	Xavier Leroy	2015-03-14	6	-59/+144
\| \| * \| \|	More interoperability tests.	Xavier Leroy	2015-01-28	2	-9/+34
\| \| * \| \|	ABI compatibility for struct/union function arguments passed by value.	Xavier Leroy	2015-01-27	12	-74/+799
* \| \| \| \|	Added more comments and fixed issue in DwarfPrinter.mli	Bernhard Schommer	2015-03-30	3	-10/+21
* \| \| \| \|	Refactored code, added comments and changed handling of types with attributes...	Bernhard Schommer	2015-03-30	1	-316/+417
* \| \| \| \|	Merge branch 'master' into dwarf	Bernhard Schommer	2015-03-30	1	-2/+2
\|\\| \| \| \|
\| * \| \| \|	Only for options with value.	Bernhard Schommer	2015-03-28	1	-2/+2
* \| \| \| \|	Refactored the DwarfPrinter and added comments.	Bernhard Schommer	2015-03-30	1	-106/+80
* \| \| \| \|	Compute the size of structs using the result of the packing and bitfield tran...	Bernhard Schommer	2015-03-26	3	-18/+36
* \| \| \| \|	Merge branch 'master' into dwarf	Bernhard Schommer	2015-03-26	1	-9/+4
\|\\| \| \| \|
\| * \| \| \|	Merge pull request #30 from jhjourdan/master	Xavier Leroy	2015-03-25	1	-9/+4
\| \|\ \ \ \
\| \| * \| \| \|	remove not used hypotheses in TREE	Jacques-Henri Jourdan	2015-03-25	1	-9/+4
\| \|/ / / /
* \| \| \| \|	Added missing functions for printing the structs and unions. Still missing pr...	Bernhard Schommer	2015-03-24	6	-31/+149
* \| \| \| \|	Added translation fucntion for declarations and fundefinitions.	Bernhard Schommer	2015-03-23	6	-73/+188
* \| \| \| \|	Merge branch 'master' into dwarf	Bernhard Schommer	2015-03-23	1	-2/+6
\|\\| \| \| \|
\| * \| \| \|	Fix .type and .size annotations: @ is comment, use % instead.	Xavier Leroy	2015-03-20	1	-2/+6
* \| \| \| \|	Activating the printing of the debug information for supported architecture.	Bernhard Schommer	2015-03-19	4	-17/+48
* \| \| \| \|	Added function to convert C types into their dwarf represnation.	Bernhard Schommer	2015-03-18	7	-30/+208
* \| \| \| \|	Added file for the translation of the C Ast to Dwarf debugging information.	Bernhard Schommer	2015-03-16	2	-7/+18
* \| \| \| \|	Added printers for the rest of the possible tags.	Bernhard Schommer	2015-03-16	2	-14/+76
* \| \| \| \|	Merge branch 'master' into dwarf	Bernhard Schommer	2015-03-16	3	-3/+6
\|\\| \| \| \|
\| * \| \| \|	Missing initialization of current_function_sig.	Xavier Leroy	2015-03-14	3	-3/+6
\| \| \|_\|/ \| \|/\| \|
* \| \| \|	Started implementing the printing functions for the debug info. Added a globa...	Bernhard Schommer	2015-03-16	12	-158/+343
* \| \| \|	Started integrating the debug printing in the common backend_printer.	Bernhard Schommer	2015-03-11	10	-160/+169
* \| \| \|	Merge branch 'master' into dwarf	Bernhard Schommer	2015-03-11	1	-1/+3
\|\\| \| \|
\| * \| \|	Issue #28: if the arguments of __builtin_memcpy_aligned are arrays, their typ...	Xavier Leroy	2015-03-10	1	-1/+3
\| * \| \|	Merge pull request #21 from AbsInt/backend_printer	Xavier Leroy	2015-03-10	11	-3167/+3116
\| \|\ \ \ \| \| \|_\|/ \| \|/\| \|
* \| \| \|	Merge remote-tracking branch 'github/backend_printer' into dwarf	Bernhard Schommer	2015-03-10	13	-3441/+3116
\|\ \ \ \ \| \| \|/ / \| \|/\| \|
\| * \| \|	Merge branch 'master' into backend_printer	Bernhard Schommer	2015-03-10	2	-11/+12
\| \|\\| \|
\| * \| \|	Merge branch 'master' into backend_printer	Bernhard Schommer	2015-03-03	3	-216/+7
\| \|\ \ \
\| * \ \ \	Merge branch 'master' into backend_printer	Bernhard Schommer	2015-02-26	11	-339/+646
\| \|\ \ \ \
\| * \ \ \ \	Merge branch 'master' into backend_printer	Bernhard Schommer	2015-02-19	18	-8/+928
\| \|\ \ \ \ \
\| * \| \| \| \| \|	Removed unused sel_target, changed cygwin symbol names and changed the defaul...	Bernhard Schommer	2015-02-19	5	-7/+11
\| * \| \| \| \| \|	Added an elf prefix to all common elf functions in PrintAsmaux.	Bernhard Schommer	2015-02-18	5	-36/+50
\| * \| \| \| \| \|	Changed print_fun/var_info to be functions instead of booleans.	Bernhard Schommer	2015-02-18	5	-18/+16
\| * \| \| \| \| \|	Removed some style issues.	Bernhard Schommer	2015-02-18	3	-76/+82
\| * \| \| \| \| \|	Changed arm backend to the common backend printer.	Bernhard Schommer	2015-02-09	7	-1194/+1145
\| * \| \| \| \| \|	Merge remote-tracking branch 'origin/master' into backend_printer	Bernhard Schommer	2015-02-09	3	-231/+226
\| \|\ \ \ \ \ \
\| * \| \| \| \| \| \|	Changed the ia32 backend to the new Printer.	Bernhard Schommer	2015-02-06	5	-1035/+983
\| * \| \| \| \| \| \|	Changed the ASM printer of the powerpc to the generalized backend.	Bernhard Schommer	2015-02-05	5	-792/+850