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

	Commit message (Expand)	Author	Age	Files	Lines
*	Qualify `Hint` as `Global Hint` where appropriate	Xavier Leroy	2021-01-21	1	-1/+1
*	Support re-normalization of function parameters at function entry	Xavier Leroy	2021-01-16	1	-1/+2
*	Replace `omega` tactic with `lia`	Xavier Leroy	2020-12-29	1	-30/+30
*	Platform-independent implementation of Conventions.size_arguments (#222)	Xavier Leroy	2020-02-24	1	-206/+0
*	Support re-normalization of values returned by function calls	Xavier Leroy	2020-02-21	1	-0/+6
*	Refine the type of function results in AST.signature	Xavier Leroy	2020-02-21	1	-14/+12
*	Remove coq warnings (#28)	Bernhard Schommer	2017-09-22	1	-31/+31
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	1	-1/+6
*	Update ARM port. Not tested yet.	Xavier Leroy	2016-10-25	1	-1/+18
*	Implement support for big endian arm targets.	Bernhard Schommer	2016-08-05	1	-13/+37
*	Introduce register pairs to describe calling conventions more precisely	Xavier Leroy	2016-05-17	1	-143/+119
*	Revise the Stacking pass and its proof to make it easier to adapt to 64-bit a...	Xavier Leroy	2016-04-27	1	-191/+44
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-42/+42
*	Use VFD regs to implement 64-bit mem-mem copies in builtin_memcpy_false.	xleroy	2014-08-21	1	-1/+1
*	Merge the various $(ARCH)/$(VARIANT)/xxx.v files into $(ARCH)/xxx.v.	xleroy	2014-07-23	1	-0/+770