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
*	fix for jump tablesv3.5_k1c_1.0	David Monniaux	2019-03-30	1	-4/+1
\|
*	FIXME: Jumptables have linking issues.	David Monniaux	2019-03-29	1	-0/+4
\|
*	begin jumptables (does not work)	David Monniaux	2019-03-21	1	-5/+0
\|
*	Disable the generation of jump tables until issues are fixed	David Monniaux	2019-02-02	1	-1/+6
\|
*	Resynchronize the LICENSE file and the license headers in individual files (#45)	Xavier Leroy	2018-01-05	1	-0/+3
\| \| \| \| \| \| \| \| \| \| \|	Some files are dual-licensed (GPL + noncommercial license), as marked redundantly in the license headers of those files, and in the LICENSE file. OVer the years those two markings got inconsistent. This commit updates the LICENSE file and the license headers of some files so that they agree on which files are dual-licensed. Some build-related files were dual-licensed but some others were not. Fixed by dual-licensing configure, Makefile.menhir, extraction/extraction.v, /extractionMachdep.v Moved lib/Json to backend/ because there is no need to dual-license those files, yet lib/* is dual-licensed. Plus: JsonAST did not really belong in lib/ anyway, as it depends on AST which is not in lib/
*	Code cleanup.	Bernhard Schommer	2016-03-10	1	-1/+0
\| \| \| \| \| \|	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	-1/+1
\|
*	Issue with switch labels that are negative 32-bit integers.	xleroy	2014-08-17	1	-0/+35
\| \| \| \|	git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2567 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
*	- Support "switch" statements over 64-bit integers	xleroy	2014-08-17	1	-0/+99
	(in CompCert C to Cminor, included) - Translation of "switch" to decision trees or jumptables made generic over the sizes of integers and moved to the Cminor->CminorSel pass instead of CminorSel->RTL as before. - CminorSel: add "exitexpr" to support the above. - ValueDomain: more precise analysis of comparisons against an integer literal. E.g. "x >=u 0" is always true. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2565 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e