compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Manual argument passing to checklink's make	varobert	2012-04-04	1	-1/+1
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1871 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Catch Integer_overflow during fuzz testing	varobert	2012-04-04	1	-0/+3
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1870 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Better error messages for data symbols	varobert	2012-04-04	2	-10/+7
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1869 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Better fuzzing options	varobert	2012-04-04	4	-55/+81
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1868 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	New Makefile for testing checklink	varobert	2012-04-04	1	-0/+52
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1867 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Adjustments to cchecklink's options and verbosity	varobert	2012-04-04	5	-108/+217
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1866 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Cleaning up checklink	varobert	2012-04-04	3	-44/+2
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1865 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Finer-grained exception catching during fuzzing	varobert	2012-04-04	1	-59/+57
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1864 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	checklink: first import of Valentin Robert's validator for asm and link	xleroy	2012-03-28	16	-0/+5457
	cparser: renamed Errors to Cerrors; removed packing into Cparser. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1856 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e