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

	Commit message (Collapse)	Author	Age	Files	Lines
*	[BROKEN] Merge with v3.9 : something broken for __builtin_expect in ↵	Cyril SIX	2021-06-01	1	-4/+5
\| \| \| \|	cfrontend/C2C.ml
*	Added error for redefined builtin.	Bernhard Schommer	2020-07-20	1	-0/+1
\| \| \| \| \| \|	We check in the initial environment if a function is already defined to avoid redefinition of functions that are part of the builtin environment.
*	Remove the cparser/Builtins module	Xavier Leroy	2019-07-17	1	-0/+7
\| \| \| \| \| \| \| \| \|	Move its definitions to modules C (the type `builtins`) and Env (the operations that deal with the initial environment). Reasons for the refactoring: 1- The name "Builtins" will soon be reused for a Coq module 2- `Env.initial()` makes more sense than `Builtins.environment()`.
*	Next try for support of anonymous structs.	Bernhard Schommer	2016-12-07	1	-3/+2
\| \| \| \| \| \|	Instead of using idents the anonymous fileds get names of the for <anon>_c where c is a counter of all anonymous members. Bug 20003
*	Reuse types from parameters in function definitons	Bernhard Schommer	2016-08-25	1	-0/+2
\| \| \| \| \| \|	In order to allow introducing structs in parameter definitions the environment must keep the type information. Bug 19602
*	Support for inline assembly (asm statements).	xleroy	2012-12-18	1	-2/+9
\| \| \| \| \| \| \|	cparser: add primitive support for enum types. bitfield emulation: for bitfields with enum type, choose signed/unsigned as appropriate git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2074 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	cparser: support for attributes over struct and union.	xleroy	2011-05-12	1	-0/+1
\| \| \| \| \| \| \| \|	cparser: added experimental emulation of packed structs (PackedStruct.ml) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1650 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Bug fix: infinite loop in cparser/ on bit field of size 32 bits.	xleroy	2010-04-09	1	-3/+4
\| \| \| \| \| \| \| \|	Algorithmic efficiency: in cparser/, precompute sizeof and alignof of composites. Code cleanup: introduced Cutil.composite_info_{def,decl} git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1312 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+69
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1269 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e