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
*	Revised menhirLib autoconfiguration (#331)	Xavier Leroy	2020-02-05	1	-1/+5
*	Resynchronize the LICENSE file and the license headers in individual files (#45)	Xavier Leroy	2018-01-05	1	-0/+3
*	Query menhir for location of menhir lib in config.	Bernhard Schommer	2016-10-18	1	-37/+0
*	Use ifndef correct. Bug 17481	Bernhard Schommer	2015-10-27	1	-1/+1
*	Test if menhir includes is set before trying to set it.	Bernhard Schommer	2015-10-27	1	-1/+5
*	Allow the MENHIR_INCLUDE path to be set by environment.	Bernhard Schommer	2015-10-27	1	-4/+3
*	Added copyright banners to the new files.	François Pottier	2015-10-23	1	-0/+12
*	Switch to --table mode. This is slightly slower but otherwise changes nothing.	François Pottier	2015-10-23	1	-1/+1
*	Distinguish [MENHIR] and [MENHIR_MODE]. Cleaner, more flexible.	François Pottier	2015-10-23	1	-5/+9
*	It is probably more efficient to eagerly evaluate $(MENHIR_INCLUDES).	François Pottier	2015-10-16	1	-1/+1
*	Added [Makefile.menhir], which gives a choice between Menhir's "code" and "ta...	François Pottier	2015-10-16	1	-0/+67