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
*	start implementing expect as expr	David Monniaux	2020-04-07	1	-0/+2
*	Cosmetic: in OCaml code, write "open! Module" instead of "open !Module"	Xavier Leroy	2020-02-21	1	-1/+1
*	Refine the type of function results in AST.signature	Xavier Leroy	2020-02-21	1	-3/+1
*	Compatibility with OCaml 4.08 (#302)	Xavier Leroy	2019-07-08	1	-1/+1
*	Print size argument of Init_space as Z not as int32	Xavier Leroy	2018-03-13	1	-1/+1
*	Distinguish between long and int for cases.	Bernhard Schommer	2017-10-13	1	-7/+7
*	Merge branch 'master' into cleanup	Bernhard Schommer	2016-03-21	1	-4/+4
\|\
\| *	Print floating-point numbers with more digits in debug outputs	Xavier Leroy	2016-03-15	1	-4/+4
* \|	Code cleanup.	Bernhard Schommer	2016-03-10	1	-2/+1
\|/
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-6/+6
*	- Support "switch" statements over 64-bit integers	xleroy	2014-08-17	1	-4/+7
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-3/+21
*	Simpler, more robust emulation of calls to variadic functions:	xleroy	2013-12-28	1	-6/+7
*	Support "default" cases in the middle of a "switch", not just at the end.	xleroy	2013-12-21	1	-1/+1
*	Cminor parsing and printing (from Andrew Tolmach)	xleroy	2013-10-16	1	-8/+21
*	Treat casts int64 -> float32 as primitive operations instead of two	xleroy	2013-07-03	1	-0/+2
*	Merge of the float32 branch:	xleroy	2013-05-19	1	-0/+1
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-7/+35
*	Assorted changes to reduce stack and heap requirements when compiling very bi...	xleroy	2013-03-16	1	-1/+1
*	Ported to Coq 8.4pl1. Merge of branches/coq-8.4.	xleroy	2013-01-29	1	-5/+4
*	Quote idents for safe re-parsing	xleroy	2013-01-08	1	-1/+1
*	Update Cminor parser and printer so that the parser can parse the whole Cmino...	xleroy	2013-01-07	1	-12/+2
*	Merge of the clightgen branch:	xleroy	2012-12-29	1	-6/+2
*	Globalenvs: allocate one-byte block with permissions Nonempty for each	xleroy	2012-11-12	1	-13/+10
*	Merge of branch seq-and-or. See Changelog for details.	xleroy	2012-10-06	1	-5/+0
*	- Revised non-overflow constraints on memory injections so that	xleroy	2012-07-23	1	-0/+1
*	Use Flocq for floats	xleroy	2012-06-28	1	-3/+3
*	Another update from Andrew Tolmach	xleroy	2012-03-09	1	-1/+1
*	PrintCminor: printing Sskip	xleroy	2012-03-09	1	-1/+1
*	Merge of Andrew Tolmach's HASP-related changes	xleroy	2012-03-09	1	-6/+41
*	Merge of the "volatile" branch:	xleroy	2012-02-04	1	-0/+11
*	Extraction: map Coq pairs to Caml pairs and Coq chars (type ascii) to Caml chars	xleroy	2011-10-18	1	-2/+2
*	Merge of branches/full-expr-4:	xleroy	2010-08-18	1	-0/+285