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

	Commit message (Expand)	Author	Age	Files	Lines
*	[BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...	Cyril SIX	2021-06-01	1	-4/+5
*	Remove the cparser/Builtins module	Xavier Leroy	2019-07-17	1	-1/+1
*	Change condition for warning of conditional expr	Bernhard Schommer	2019-07-10	1	-1/+1
*	Deref is not safe.	Bernhard Schommer	2019-07-04	1	-1/+1
*	Added new diagnostic for non-linear conditionals	Bernhard Schommer	2019-07-04	1	-0/+163
*	Added statement traversal functions.	Bernhard Schommer	2019-07-04	1	-107/+90
*	Reject object-related and struct-related attributes on typedefs	Xavier Leroy	2019-02-25	1	-8/+1
*	Also check parameters for unknown attributes.	Bernhard Schommer	2018-08-16	1	-0/+1
*	Refactor the handling of errors and warnings (#44)	Bernhard Schommer	2018-02-08	1	-1/+1
*	Added unused attribute and simplified checks.	Bernhard Schommer	2017-02-17	1	-43/+82
*	Adopted unused variable and attribtue check	Bernhard Schommer	2017-02-17	1	-28/+53
*	Extended unused vars check for params.	Bernhard Schommer	2017-02-17	1	-1/+3
*	Added a simple check for unused variables.	Bernhard Schommer	2017-02-17	1	-1/+77
*	Checks can be applied add several places.	Bernhard Schommer	2017-02-17	1	-6/+3
*	Also check the locals. Bug 19872.	Bernhard Schommer	2017-02-17	1	-3/+7
*	Added new module for checks on elaborated C code	Bernhard Schommer	2017-02-17	1	-0/+94