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

	Commit message (Expand)	Author	Age	Files	Lines
...
*	- Revised non-overflow constraints on memory injections so that	xleroy	2012-07-23	1	-1/+3
*	Merge of Andrew Tolmach's HASP-related changes	xleroy	2012-03-09	1	-19/+109
*	Added volatile_read_global and volatile_store_global builtins.	xleroy	2012-01-15	1	-0/+10
*	Revised handling of annotation statements, and more generally built-in functi...	xleroy	2011-06-13	1	-9/+78
*	Support for inlined built-ins.	xleroy	2010-06-29	1	-1/+17
*	More faithful semantics for volatile reads and writes.	xleroy	2010-05-23	1	-28/+41
*	Suppressed Init_pointer, now useless. Improved printing of strings in genera...	xleroy	2010-03-03	1	-2/+1
*	Support Clight initializers of the form "int * x = &y;".	xleroy	2009-11-01	1	-0/+1
*	No '\n' in Coq strings...	xleroy	2009-08-18	1	-2/+2
*	Adapted to work with Coq 8.2-1v1.4.1	xleroy	2009-06-05	1	-19/+19
*	Added tail call optimization pass	xleroy	2009-03-26	1	-0/+6
*	Ajout license, README, copyright notices	xleroy	2008-01-27	1	-0/+15
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04	1	-69/+150
*	Ajout de Init_pointer (experimental)	xleroy	2006-09-17	1	-1/+2
*	Revu traitement des variables globales dans AST.program et dans Globalenvs.	xleroy	2006-09-05	1	-72/+133
*	Revu la repartition des sources Coq en sous-repertoires	xleroy	2006-09-04	1	-0/+250