compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Issue #71: incorrect initialization of wchar_t arrays from wide string literal	Xavier Leroy	2015-11-13	1	-0/+26
\| \| \| \|	Regression test added in regression/initializers.c
*	Another corner case for string literal initializers: char * x[] = { "lit" }	xleroy	2014-05-18	1	-0/+10
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2498 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Fixed regression on initializers of the form T x[N] = "literal";	xleroy	2014-05-08	1	-0/+7
\| \| \| \| \| \| \|	where T is a typedef for a character type. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2488 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	C: Support array initializers that are too short + default init for remainder.	xleroy	2014-03-28	1	-0/+5
\| \| \| \| \| \| \| \|	Elab: Handle C99 designated initializers. C2C, Initializers: more precise intermediate AST for initializers. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2439 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Globalenvs: allocate one-byte block with permissions Nonempty for each	xleroy	2012-11-12	1	-0/+3
\| \| \| \| \| \| \| \| \| \| \|	function definition, so that comparisons between function pointers are correctly defined. AST, Globalenvs, and many other files: represent programs as a list of (function or variable) definitions instead of two lists, one for functions and the other for variables. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2067 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Initializers: handle By_copy accesses (e.g. for &(glob.field))	xleroy	2012-02-07	1	-0/+6
\| \| \| \| \| \| \| \| \|	C2C: insert the correct Evalof for structs; clean up unused memcpy stuff test/regression: run with interpreter test/regression: add test cas &(glob.field) to initializers.c git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1815 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Corrected initialization of char arrays by string literals.	xleroy	2011-10-17	1	-2/+23
\| \| \| \| \| \| \|	Added -flongdouble option (to turn long double into double) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1731 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Added animation of the CompCert C semantics (ccomp -interp)	xleroy	2011-07-28	1	-1/+1
\| \| \| \| \| \| \| \|	test/regression: int main() so that interpretation works Revised once more implementation of __builtin_memcpy (to check for PPC & ARM) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1688 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Initializers for global variables: compile-time evaluation of expressions ↵	xleroy	2011-03-12	1	-0/+22
\| \| \| \| \| \|	done in Coq (module Initializers), using the same primitives as those for CompCert C's semantics. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1602 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Reorganization test directory	xleroy	2010-02-17	1	-0/+68
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1253 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e