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	-6/+6
*	Replace `omega` tactic with `lia`	Xavier Leroy	2020-12-29	1	-16/+16
*	AArch64 port	Xavier Leroy	2019-08-08	1	-14/+37
*	Asmgenproof0: add predicate exec_straight0	Xavier Leroy	2019-08-07	1	-0/+26
*	Model external calls as destroying all caller-save registers	Xavier Leroy	2018-06-01	1	-0/+17
*	Remove coq warnings (#28)	Bernhard Schommer	2017-09-22	1	-2/+2
*	Asmgenproof0: some more useful lemmas	Xavier Leroy	2017-08-17	1	-0/+29
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	1	-3/+3
*	Support for 64-bit architectures: generic support	Xavier Leroy	2016-10-01	1	-34/+41
*	Introduce register pairs to describe calling conventions more precisely	Xavier Leroy	2016-05-17	1	-26/+34
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-60/+60
*	Refactoring of builtins and annotations in the back-end.	Xavier Leroy	2015-08-21	1	-10/+36
*	Extend annotations so that they can keep track of global variables and local ...	Xavier Leroy	2015-03-27	1	-22/+15
*	Merge of the "princeton" branch:	xleroy	2013-06-16	1	-2/+2
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-48/+86
*	Assorted changes to reduce stack and heap requirements when compiling very bi...	xleroy	2013-03-16	1	-0/+22
*	Finished backtracking (cf previous commit) for ARM and PowerPC.	xleroy	2013-03-04	1	-11/+16
*	Partial backtracking on previous commit: the "hole in Mach stack frame"	xleroy	2013-03-03	1	-278/+236
*	Revised Stacking and Asmgen passes and Mach semantics:	xleroy	2013-03-01	1	-0/+844