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
*	Add a canonical encoding of identifiers as numbers and use it in clightgen (#...	Xavier Leroy	2020-05-19	1	-3/+76
*	New parser based on new version of the Coq backend of Menhir (#276)	Jacques-Henri Jourdan	2019-07-05	1	-51/+0
*	Compatibility with OCaml 4.07 (#241)	Xavier Leroy	2018-07-10	1	-1/+1
*	RISC-V port and assorted changes	Xavier Leroy	2017-04-28	1	-0/+2
*	C2C: revise typing and translation of __builtin_memcpy_aligned	Xavier Leroy	2016-11-17	1	-0/+6
*	Port to Coq 8.5pl2	Xavier Leroy	2016-07-08	1	-12/+0
*	Remove code that will is deprecated in ocaml 4.03	Bernhard Schommer	2016-06-21	1	-0/+10
*	Upgrade ocaml version needed and enable more warnings.	Bernhard Schommer	2016-03-10	1	-3/+3
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-3/+3
*	Move more functionality in the new interface.	Bernhard Schommer	2015-09-16	1	-9/+1
*	Added symbol functions for printing of the location for global variables.	Bernhard Schommer	2015-08-21	1	-0/+7
*	Give a name to the type of atoms.	Xavier Leroy	2015-04-23	1	-2/+4
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-2/+7
*	Integration of Jacques-Henri Jourdan's verified parser.	xleroy	2014-04-29	1	-0/+50
*	Merge of branch linear-typing:	xleroy	2014-04-06	1	-66/+0
*	Merge of branch value-analysis.	xleroy	2013-12-20	1	-0/+10
*	Merge of the "alignas" branch.	xleroy	2013-10-05	1	-0/+55
*	Slightly more efficient conversion positive <-> int	xleroy	2013-09-26	1	-17/+22
*	Small improvements in compilation times for the register allocation pass.	xleroy	2013-09-20	1	-1/+21
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-0/+5
*	Assorted cleanups, esp. to avoid generating _rec and _rect recursors in	xleroy	2013-03-09	1	-0/+2
*	Camlcoq.ml: bug in conversion Z to stringv1.12.1	xleroy	2013-01-29	1	-3/+3
*	Ported to Coq 8.4pl1. Merge of branches/coq-8.4.	xleroy	2013-01-29	1	-60/+191
*	Merge of the clightgen branch:	xleroy	2012-12-29	1	-1/+3
*	Use Flocq for floats	xleroy	2012-06-28	1	-0/+8
*	Extraction: map Coq pairs to Caml pairs and Coq chars (type ascii) to Caml chars	xleroy	2011-10-18	1	-20/+4
*	Revised encoding/decoding of floats	xleroy	2010-05-09	1	-3/+30
*	Switching to the new C parser/elaborator/simplifier	xleroy	2010-03-03	1	-0/+3
*	MAJ extraction after changes in Integers	xleroy	2009-12-16	1	-2/+3
*	Coloringaux: make identifiers unique; special treatment of precolored	xleroy	2009-08-26	1	-0/+10
*	Use Extraction Blacklist	xleroy	2009-07-25	1	-4/+4
*	Conflict between extraction/CList and cil/obj/xxx/clist on case-insensitive f...	xleroy	2009-01-29	1	-5/+4
*	Reorganized the development, modularizing away machine-dependent parts.	xleroy	2008-12-30	1	-0/+130