compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
...
* \| \|	Merge branch 'master' of github.com:AbsInt/CompCert	Bernhard Schommer	2015-10-04	11	-24/+83
\|\ \ \
\| * \| \|	Fixed minor typos in the comments.	Bernhard Schommer	2015-10-04	2	-2/+2
\| * \| \|	Ensure that there are file directives for all files used in the debug	Bernhard Schommer	2015-10-04	6	-15/+28
\| * \| \|	Allow redefinition of a typedef with the same name.	Bernhard Schommer	2015-10-04	3	-7/+53
* \| \| \|	Activate the advanced debug for the gcc build.	Bernhard Schommer	2015-10-03	1	-1/+2
\|/ / /
* \| \|	Add the forgotten Fileinfo also to arm and ia32 TargetPrinter.ml	Bernhard Schommer	2015-10-02	2	-0/+2
* \| \|	Use rev_map so that the debug locations are in the correct order.	Bernhard Schommer	2015-10-02	1	-1/+1
* \| \|	Merge branch 'gnu-debug'	Bernhard Schommer	2015-10-02	11	-149/+255
\|\ \ \
\| * \| \|	First try of debug information for gcc.	Bernhard Schommer	2015-10-02	11	-106/+195
\| * \| \|	Started implementation of gnu compatible debug information.	Bernhard Schommer	2015-10-02	4	-48/+65
* \| \| \|	Quote the section names in the json files.	Bernhard Schommer	2015-10-02	1	-1/+1
* \| \| \|	Add also all files for local variables.	Bernhard Schommer	2015-10-02	1	-0/+1
* \| \| \|	Always call print debug_section in the prologue.	Bernhard Schommer	2015-10-02	2	-19/+19
\|/ / /
* \| \|	Moved the types defined by the Debug Interface into a separate file.	Bernhard Schommer	2015-10-01	3	-146/+163
* \| \|	Cleanup of now no longer needed functions.	Bernhard Schommer	2015-10-01	6	-51/+1
* \| \|	Merge pull request #57 from jhjourdan/parser_fix	Bernhard Schommer	2015-10-01	8	-161/+403
\|\ \ \
\| * \| \|	Fixed a few bugs in the pre parser. In particular, the following code	Jacques-Henri Jourdan	2015-09-30	8	-161/+403
\| \|/ /
* \| \|	Removed the debug output for the debug information.	Bernhard Schommer	2015-10-01	1	-2/+1
* \| \|	Use also fucntion id for local variables since atom is not unique.	Bernhard Schommer	2015-10-01	5	-24/+24
* \| \|	Do not move the line directives.	Bernhard Schommer	2015-10-01	1	-5/+9
* \| \|	Use different entry_to_label mapping for each compilation unit.	Bernhard Schommer	2015-10-01	1	-3/+20
* \| \|	Only print locations for symbols that are present in the assembler.	Bernhard Schommer	2015-10-01	6	-5/+23
* \| \|	Remove unused globals also from the debug informations.	Bernhard Schommer	2015-10-01	6	-16/+36
* \| \|	More robust dwarf generation. Do not add incomplete local variables	Bernhard Schommer	2015-09-30	2	-14/+30
* \| \|	Also add the rest to the producer tag.	Bernhard Schommer	2015-09-30	1	-1/+2
* \| \|	Removed newline in version string and add buildnr and tag if existing to	Bernhard Schommer	2015-09-30	2	-2/+7
* \| \|	Add the version string to the printed asm.	Bernhard Schommer	2015-09-30	1	-1/+6
* \| \|	Merge pull request #56 from AbsInt/debug_locations	Bernhard Schommer	2015-09-30	33	-909/+2257
\|\ \ \ \| \|/ / \|/\| \|
\| * \|	Fixed minor issue with parameters that get put on the stack, made	Bernhard Schommer	2015-09-30	3	-17/+18
\| * \|	Avoid problem with implict declarations.	Bernhard Schommer	2015-09-30	2	-4/+18
\| * \|	More fixes for the DebugInformation.	Bernhard Schommer	2015-09-29	4	-20/+38
\| * \|	Deactivate the debug functions for none advanced targets.	Bernhard Schommer	2015-09-29	1	-1/+1
\| * \|	Change the way the debug sections are printed.	Bernhard Schommer	2015-09-28	15	-179/+228
\| * \|	Added location for the formal parameters and move the end of all	Bernhard Schommer	2015-09-28	9	-29/+68
\| * \|	Changed the size expression to 2byte for debug_loc entries.	Bernhard Schommer	2015-09-28	1	-1/+18
\| * \|	Added back again the emitting of the debuging annotations for debuging	Bernhard Schommer	2015-09-27	1	-3/+4
\| * \|	More refactoring of the Debug Information.	Bernhard Schommer	2015-09-27	4	-51/+103
\| * \|	Added printing the reference address for the LocRef and started refactoring old	Bernhard Schommer	2015-09-27	9	-111/+37
\| * \|	Added translation of the range lists to location entries.	Bernhard Schommer	2015-09-25	6	-37/+99
\| * \|	Added support for the locations of stack allocated local variables.	Bernhard Schommer	2015-09-25	16	-98/+318
\| * \|	Added placing labels for live ranges etc.	Bernhard Schommer	2015-09-24	5	-9/+152
\| * \|	Also convert the fun stamp + scope id to debug id Hashtable in an	Bernhard Schommer	2015-09-23	1	-4/+6
\| * \|	Added support for printing local variables and fixed issue with .text	Bernhard Schommer	2015-09-23	6	-11/+27
\| * \|	Merge branch 'debugscopes' into debug_locations	Bernhard Schommer	2015-09-23	2	-38/+40
\| \|\ \
\| \| * \|	Continuing experiment: track the scopes of local variables via __builtin_debug	Xavier Leroy	2015-09-21	2	-39/+31
\| * \| \|	Record the scope structure during unblocking.	Bernhard Schommer	2015-09-22	14	-65/+173
\| * \| \|	Merge branch 'debugscopes' into debug_locations	Bernhard Schommer	2015-09-21	27	-177/+342
\| \|\\| \|
\| \| * \|	Experiment: track the scopes of local variables via __builtin_debug.	Xavier Leroy	2015-09-20	5	-74/+181
\| * \| \|	New version of adding scopes etc.	Bernhard Schommer	2015-09-20	4	-16/+63
\| * \| \|	Started implementing the scope for the Debug Informations.	Bernhard Schommer	2015-09-18	6	-13/+109