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
*	Move shared code in new file.	Bernhard Schommer	2020-06-28	1	-1/+1
*	Add sizeof_reg and new Machine configurations (#129)	Bernhard Schommer	2018-08-20	1	-1/+1
*	Earlier check for invalid asm outputs. (#130)	Bernhard Schommer	2018-08-17	1	-2/+0
*	Refactor the handling of errors and warnings (#44)	Bernhard Schommer	2018-02-08	1	-2/+2
*	Classified all warnings and added various options.	Bernhard Schommer	2016-07-29	1	-13/+10
*	Remove code that will is deprecated in ocaml 4.03	Bernhard Schommer	2016-06-21	1	-4/+3
*	Deactivate warning 27 and added back removed code.	Bernhard Schommer	2016-03-15	1	-1/+1
*	Code cleanup.	Bernhard Schommer	2016-03-10	1	-2/+1
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-5/+5
*	Simplify the handling of extended inline asm, taking advantage of the new, st...	Xavier Leroy	2015-08-21	1	-6/+5
*	Extended inline asm: revised treatment of clobbered registers.	Xavier Leroy	2015-05-09	1	-3/+4
*	Allow "scratch" (non-allocatable temporary registers) to be mentioned in asm ...	Xavier Leroy	2015-04-23	1	-0/+1
*	Extended asm: more lenient treatment of constraints.	Xavier Leroy	2015-04-22	1	-10/+21
*	Avoid multiple errors being reported in the case #outputs >= 2.	Xavier Leroy	2015-04-21	1	-2/+6
*	Support for GCC-style extended asm, continued:	Xavier Leroy	2015-04-21	1	-0/+183