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/+3
\| \| \| \| \| \|	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/+40
\| \| \| \| \| \| \| \| \|	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	-4/+26
\| \| \| \| \| \|	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
*	Merge branch 'master' into advanced-diagnostics	Bernhard Schommer	2016-08-29	1	-0/+3
\|\
\| *	Use old scope in after parameter parsing.	Bernhard Schommer	2016-08-26	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \|	Not decrementing the scopes again after a parameter parsing lead to other scoping problems. Bug 19656.
\| *	Reuse types from parameters in function definitons	Bernhard Schommer	2016-08-25	1	-0/+3
\| \| \| \| \| \| \| \| \| \| \| \|	In order to allow introducing structs in parameter definitions the environment must keep the type information. Bug 19602
* \|	Classified all warnings and added various options.	Bernhard Schommer	2016-07-29	1	-5/+5
\|/ \| \| \| \| \| \| \| \| \|	Now each warning either has a name and can be turned on/off, made into an error,etc. or is a warning that always will be triggered. The message of the warnings are similar to the ones emited by gcc/clang and all fit into one line. Furthermore the diagnostics are now colored if colored output is available. Bug 18004
*	Deactivate warning 27 and added back removed code.	Bernhard Schommer	2016-03-15	1	-3/+3
\| \| \| \| \| \|	The code was mostly there for documentation effort. So warning 27 is deactivated again. Bug 18349
*	Code cleanup.	Bernhard Schommer	2016-03-10	1	-14/+3
\| \| \| \| \| \|	Removed some unused variables, functions etc. and resolved some problems which occur if all warnings except 3,4,9 and 29 are active. Bug 18394.
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-6/+6
\|
*	Improve printing of errors.	Xavier Leroy	2014-12-30	1	-3/+11
\|
*	Support for inline assembly (asm statements).	xleroy	2012-12-18	1	-3/+35
\| \| \| \| \| \| \|	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	-2/+3
\| \| \| \| \| \| \| \|	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/+247
	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1269 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e