compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Revise the "bench" entries of the test suite	Xavier Leroy	2019-09-17	1	-4/+3
*	test/*/Makefile: suppress dependencies on ../../ccomp	Xavier Leroy	2017-09-11	1	-2/+2
*	RISC-V port and assorted changes	Xavier Leroy	2017-04-28	1	-1/+1
*	Remove tests involving Cminor concrete syntax. Update Changelog	Xavier Leroy	2017-02-15	1	-11/+0
*	Updates to the local test suite	Xavier Leroy	2016-07-24	1	-11/+1
*	test/regression: test packedstruct1 only if unaligned accesses are supported.	Xavier Leroy	2015-08-21	1	-1/+1
*	PowerPC port: refactored the expansion of built-in functions and	xleroy	2014-07-28	1	-1/+11
*	Cminor parsing and printing (from Andrew Tolmach)	xleroy	2013-10-16	1	-1/+12
*	Merge of the float32 branch:	xleroy	2013-05-19	1	-2/+2
*	driver: removed option -flonglong	xleroy	2013-04-22	1	-1/+1
*	Added FFTW benchmark provided by Guillaume Melquiond	xleroy	2013-04-20	1	-2/+2
*	Tests "floats" and "floats-basics" moved from test/c to test/regression	xleroy	2013-04-20	1	-9/+1
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-1/+1
*	Fixed parsing of hex float literals 0xNNNpMMM.	xleroy	2013-03-11	1	-2/+2
*	Errors for excessively large global variables or stack frames.	xleroy	2013-02-02	1	-2/+2
*	Fix "clean" rule.	xleroy	2012-12-29	1	-1/+1
*	Use Flocq for floats	xleroy	2012-06-28	1	-1/+9
*	PowerPC: remove the fmadd and fmsub operators/Asm instructions	xleroy	2012-03-07	1	-1/+1
*	Presimplification SimplVolatile: cleaned up and integrated.	xleroy	2011-08-18	1	-2/+2
*	Updated for Coq 8.3pl1. Some cleanups in test/*/Makefile.	xleroy	2011-03-09	1	-2/+2
*	Merge of the reuse-temps branch:	xleroy	2010-09-02	1	-2/+2
*	Merge of branches/full-expr-4:	xleroy	2010-08-18	1	-2/+2
*	Typo in Makefile	xleroy	2010-02-17	1	-2/+2
*	Reorganization test directory	xleroy	2010-02-17	1	-4/+2
*	3 more benchmarks	xleroy	2010-02-17	1	-1/+2
*	Flag to turn on/off the recognition of fused multiply-add and multiply-sub	xleroy	2008-07-31	1	-1/+1
*	Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...	xleroy	2008-04-19	1	-2/+3
*	Ajout du test vmach	xleroy	2008-04-15	1	-1/+1
*	Problemes d'alignement des variables globales et a l'interieur de leurs initi...	xleroy	2007-10-31	1	-3/+5
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04	1	-5/+4
*	Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...	xleroy	2007-03-02	1	-0/+5
*	Ajout et utilisation de compcert_stdio.h	xleroy	2006-10-22	1	-6/+4
*	Davantage de tests	xleroy	2006-09-17	1	-7/+44
*	Ajout du test lists	xleroy	2006-09-11	1	-2/+2
*	MAJ des tests C	xleroy	2006-09-08	1	-37/+11
*	Version C des tests Cminor	xleroy	2006-06-29	1	-0/+46