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

	Commit message (Expand)	Author	Age	Files	Lines
*	Extend builtin arguments with a pointer addition operator	Xavier Leroy	2017-07-06	5	-11/+61
*	Formatted json printing.	Bernhard Schommer	2017-06-28	2	-3/+3
*	Issues with invalid x86 addressing modes (Github issue #183)	Xavier Leroy	2017-05-17	3	-18/+27
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	15	-90/+92
*	RISC-V port and assorted changes	Xavier Leroy	2017-04-28	2	-0/+13
*	Give explicit scopes to notations a#b and a##b and a#b<-c	Xavier Leroy	2017-02-13	1	-2/+4
*	Use "Local" as prefix	Xavier Leroy	2017-02-13	5	-7/+7
*	OS X: emit jumptables in .text segment, not .const segment	Xavier Leroy	2017-02-10	1	-1/+1
*	Inline open Datatypes.	Bernhard Schommer	2017-02-06	1	-3/+2
*	Replace 'decide equality' in x86/Op.v by custom tactics from lib/BoolEqual.v	Xavier Leroy	2016-12-26	1	-8/+8
*	Do not use hardcoded register number for sp.	Bernhard Schommer	2016-11-25	1	-1/+1
*	Use 64 bit address in debug information.	Bernhard Schommer	2016-11-10	1	-0/+2
*	x86: mark register rax as destroyed by calls	Xavier Leroy	2016-11-08	1	-1/+1
*	Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...	Xavier Leroy	2016-10-27	27	-0/+13205