compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	More functionality for the Printer.	Bernhard Schommer	2014-11-14	1	-1/+4
*	Moved abbreviation printer into a seperate file. The printer should also prin...	Bernhard Schommer	2014-11-12	3	-325/+394
*	Added functions for printing of the abbreviations.	Bernhard Schommer	2014-11-11	3	-3/+41
*	Generalised functionality for the printing of the abbreviations.	Bernhard Schommer	2014-11-11	2	-235/+307
*	Added more functions to print the abbreviations.	Bernhard Schommer	2014-11-06	2	-99/+167
*	More functions for printing the abbreviations.	Bernhard Schommer	2014-10-31	2	-77/+141
*	Reverted changes to C2C since the information needed should be stored already...	Bernhard Schommer	2014-10-30	1	-16/+4
*	Started implementing functions to compute the abbreviations for the diab comp...	Bernhard Schommer	2014-10-29	2	-13/+87
*	Refactored the printing functions a little bit more by moving the system depe...	Bernhard Schommer	2014-10-28	4	-328/+397
*	Added the type information to the global information stored for each atom.	Bernhard Schommer	2014-10-27	2	-5/+20
*	Merge branch 'master' into dwarf	Bernhard Schommer	2014-10-27	2	-2/+3
\|\
\| *	Tune behavior wrt warnings:	Xavier Leroy	2014-10-24	2	-2/+3
* \|	Added more functionality to DwarfUtil.	Bernhard Schommer	2014-10-24	1	-0/+39
* \|	Added a file for utility functions on the Dwarf types.	Bernhard Schommer	2014-10-23	2	-42/+66
* \|	Added type for all tags.	Bernhard Schommer	2014-10-21	1	-1/+22
* \|	Fixed smaller mistakes.	Bernhard Schommer	2014-10-21	1	-8/+7
* \|	Removed more not needed attributes.	Bernhard Schommer	2014-10-20	1	-92/+32
* \|	Merge branch 'master' into dwarf	Bernhard Schommer	2014-10-20	1	-0/+1
\|\\|
\| *	Deactivated the warning for deprecated features for compilation of cchecklink...	Bernhard Schommer	2014-10-20	1	-0/+1
* \|	Removed more not needed attributes from the tag types.	Bernhard Schommer	2014-10-17	1	-19/+50
* \|	Merge branch 'master' into dwarf	Bernhard Schommer	2014-10-17	1	-1/+0
\|\\|
\| *	Removed duplicated open.	Bernhard Schommer	2014-10-17	1	-1/+0
* \|	Started revising the tag types to only include attributes which are actually ...	Bernhard Schommer	2014-10-15	1	-17/+10
* \|	Added the rest of the type for the tags mentioned in appendix 1 of the dwarf ...	Bernhard Schommer	2014-10-15	1	-1/+56
* \|	Added more types.	Bernhard Schommer	2014-10-14	1	-0/+125
* \|	Added a file containing definitions for the types used to store the debug inf...	Bernhard Schommer	2014-10-13	2	-1/+122
\|/
*	Revised translation of '&&' and '\|\|' to Clight.	Xavier Leroy	2014-10-13	11	-124/+109
*	Update Makefile, dependencies, and Changelog after upgrade to Flocq 2.4.0.	Xavier Leroy	2014-10-09	3	-1/+3
*	Merge pull request #1 from jhjourdan/master	Xavier Leroy	2014-10-09	21	-942/+6030
\|\
\| *	Upgrade to flocq 2.4.0	Jacques-Henri Jourdan	2014-10-07	21	-942/+6030
* \|	Refactored the code of ia32/PrintAsm.ml by moving the functions depending on ...	Bernhard Schommer	2014-10-08	1	-138/+220
* \|	Refactored the code of powerpc/PrintAsm.ml by moving the function depending o...	Bernhard Schommer	2014-10-08	1	-200/+236
\|/
*	Refactored the code of arm/PrintAsm.ml in order to allow the parametrization ...	Bernhard Schommer	2014-10-06	1	-44/+86
*	Removed environment variable for the stdlib_path and added a new variable for...	Bernhard Schommer	2014-10-06	3	-20/+20
*	Change the way the tools like the linker, assembler, etc. are specified by in...	Bernhard Schommer	2014-09-30	4	-22/+113
*	Moved the timing facility to a seperate file.	Bernhard Schommer	2014-09-29	5	-54/+68
*	Refactoring in the printing of FP numbers.	Xavier Leroy	2014-09-24	1	-8/+2
*	Add theorem "elements_remove".	Xavier Leroy	2014-09-24	1	-167/+178
*	Upgrade clightgen with the new features of CompCert 2.4 (single floats, etc).	Xavier Leroy	2014-09-24	1	-7/+20
*	GCCism: accept __volatile and __volatile__	Xavier Leroy	2014-09-21	1	-0/+2
*	Add .gitignore files.	Xavier Leroy	2014-09-21	6	-0/+63
*	Error instead of warning on illegal escape sequences.	Xavier Leroy	2014-09-21	2	-1/+5
*	Trim blank linesv2.4	xleroy	2014-09-17	1	-2/+0
*	Update changelog and version for 2.4	xleroy	2014-09-17	2	-3/+4
*	Tolerance in parsing of 'section' pragma	xleroy	2014-09-17	1	-0/+3
*	Cold feet: suppress builtins for load with reservation/store conditional, use...	xleroy	2014-08-28	5	-47/+2
*	Update	xleroy	2014-08-28	1	-1/+2
*	Update for 2.4	xleroy	2014-08-27	1	-23/+37
*	Rename __builtin_cntlz to __builtin_clz.	xleroy	2014-08-27	11	-6/+25
*	More efficient implementations of map, fold, etc.	xleroy	2014-08-27	1	-164/+109