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
*	Qualify `Hint` as `Global Hint` where appropriate	Xavier Leroy	2021-01-21	1	-1/+1
*	Refine the type of function results in AST.signature	Xavier Leroy	2020-02-21	1	-0/+5
*	Replace nat_of_Z with Z.to_nat	Xavier Leroy	2019-04-23	1	-1/+1
*	Update the comment of the free operation (#277)	chaomaer	2019-03-25	1	-1/+1
*	Remove coq warnings (#28)	Bernhard Schommer	2017-09-22	1	-10/+10
*	Support for 64-bit architectures: generic support	Xavier Leroy	2016-10-01	1	-19/+19
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-9/+9
*	Long-overdue renaming: val_inject -> Val.inject, etc, for consistency with Va...	Xavier Leroy	2015-04-30	1	-10/+10
*	Add Mem.free_parallel_inject and use it to simplify Events a bit.	xleroy	2014-07-31	1	-0/+9
*	Merge of "newspilling" branch:	xleroy	2014-07-23	1	-9/+11
*	Merge of the "princeton" branch:	xleroy	2013-06-16	1	-13/+9
*	Pointers one past	xleroy	2013-02-15	1	-6/+47
*	- Revised non-overflow constraints on memory injections so that	xleroy	2012-07-23	1	-0/+1
*	CSE: add recognition of some combined operators, conditions, and addressing m...	xleroy	2012-05-26	1	-1/+0
*	Merge of the newmem branch:	xleroy	2012-05-21	1	-134/+112
*	Merge of Andrew Tolmach's HASP-related changes	xleroy	2012-03-09	1	-0/+10
*	Merge of the nonstrict-ops branch:	xleroy	2012-01-14	1	-0/+3
*	Back from Oregon commit.	xleroy	2011-07-05	1	-0/+169
*	Merge of branch "unsigned-offsets":	xleroy	2011-04-09	1	-14/+14
*	Memory.v: added drop_perm operation	xleroy	2010-09-21	1	-0/+50
*	Merging the Princeton implementation of the memory model. Separate axioms in...	xleroy	2010-06-28	1	-31/+18
*	Merge of the newmem and newextcalls branches:	xleroy	2010-03-07	1	-0/+989