compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Move more functionality in the new interface.	Bernhard Schommer	2015-09-16	1	-3/+5
\| \| \| \| \| \|	Added functions to add more information to the debuging interface, like the struct layout with offsets, bitifiled layout and removed the no longer needed mapping from stamp to atom.
*	Add the debug interface file.	Bernhard Schommer	2015-09-16	1	-0/+23
	The new file Debug.ml contains the interface for generating and printing debug information. In order to generate debug information the init function initializes the necessary functions depending on the -g flag. If the -g is not there all functions are dummy functions which do nothing.