compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
...
\| * \|	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
\| * \| \|	First version with computation of dwarf info from debug info.	Bernhard Schommer	2015-09-17	14	-636/+370
\| * \| \|	Move more functionality in the new interface.	Bernhard Schommer	2015-09-16	15	-75/+120
\| * \| \|	Add the debug interface file.	Bernhard Schommer	2015-09-16	5	-12/+177
\| * \| \|	Further function to add debug information.	Bernhard Schommer	2015-09-15	1	-31/+67
\| * \| \|	Started adding function information to the debug information.	Bernhard Schommer	2015-09-15	1	-3/+48
\| * \| \|	Implemented insert_type function and started implementing add declaration.	Bernhard Schommer	2015-09-14	1	-13/+206
\| * \| \|	Started implementing the typ insert methods.	Bernhard Schommer	2015-09-11	2	-50/+99
\| * \| \|	Started implementing the types needed for storing the debug information.	Bernhard Schommer	2015-09-11	2	-1/+110
\| * \| \|	Revert "Startet implementation of new Debug interface."	Bernhard Schommer	2015-09-10	8	-95/+76
\| * \| \|	Startet implementation of new Debug interface.	Bernhard Schommer	2015-09-06	8	-76/+95
\| * \| \|	X	Bernhard Schommer	2015-09-06	93	-2601/+4136
\| \|\ \ \
\| * \| \| \|	Added the abbreviation for symbol constants.	Bernhard Schommer	2015-08-26	1	-0/+1
\| * \| \| \|	Merge branch 'master' into debug_locations	Bernhard Schommer	2015-08-26	15	-241/+268
\| \|\ \ \ \
\| * \| \| \| \|	Added symbol functions for printing of the location for global variables.	Bernhard Schommer	2015-08-21	10	-28/+69
* \| \| \| \| \|	Use R10 in atomic compare and exchange for the rlwinm.	Bernhard Schommer	2015-09-22	1	-2/+2
* \| \| \| \| \|	Fix typo dest -> dst	Michael Schmidt	2015-09-22	1	-9/+9
* \| \| \| \| \|	Merge pull request #54 from AbsInt/atomic-builtins	Bernhard Schommer	2015-09-21	3	-8/+83
\|\ \ \ \ \ \ \| \|_\|_\|_\|/ / \|/\| \| \| \| \|
\| * \| \| \| \|	Removed unnecessary move register and use the correct register as base value ...	Bernhard Schommer	2015-09-21	1	-3/+2
\| * \| \| \| \|	Applied a few simplification for temporary registers.	Bernhard Schommer	2015-09-21	2	-16/+16
\| * \| \| \| \|	Integrated the fix of commit de40fce9c16ced8d23389cbcfc55ef6d99466fe8 for the...	Bernhard Schommer	2015-09-17	1	-11/+3
\| * \| \| \| \|	Merge branch 'master' into atomic-builtins	Bernhard Schommer	2015-09-17	10	-26/+78
\| \|\ \ \ \ \
\| * \| \| \| \| \|	Removed usage of bne and removed duplicated code for return values of atomics.	Bernhard Schommer	2015-09-15	4	-52/+19
\| * \| \| \| \| \|	Use fix registers for atomic builtins.	Bernhard Schommer	2015-09-14	3	-15/+47
\| * \| \| \| \| \|	Use the gcc version of atomic load.	Bernhard Schommer	2015-09-11	4	-4/+10
\| * \| \| \| \| \|	Type of argument for Pbne is label not atom.	Bernhard Schommer	2015-09-10	1	-1/+1
\| * \| \| \| \| \|	Merge branch 'master' into atomic-builtins	Bernhard Schommer	2015-09-10	1	-1/+1
\| \|\ \ \ \ \ \
\| * \| \| \| \| \| \|	Added builtin for atomic compare and exchange.	Bernhard Schommer	2015-09-10	4	-2/+8
\| * \| \| \| \| \| \|	Merge branch 'master' into atomic-builtins	Bernhard Schommer	2015-09-10	3	-4/+41
\| \|\ \ \ \ \ \ \
\| * \| \| \| \| \| \| \|	Add builtin for atomic load.	Bernhard Schommer	2015-09-09	2	-1/+13
\| * \| \| \| \| \| \| \|	Added an builtin for the atomic exchange operation.	Bernhard Schommer	2015-09-09	5	-7/+31
* \| \| \| \| \| \| \| \|	Ctypes.composite_of_def: make sure it computes within Coq.	Xavier Leroy	2015-09-18	1	-3/+3
* \| \| \| \| \| \| \| \|	correct error message for __builtin_dcbtls	Michael Schmidt	2015-09-18	1	-1/+1
\| \|_\|_\|/ / / / / \|/\| \| \| \| \| \| \|