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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge remote branch 'upstream/master' into clean	François Pottier	2015-10-23	1	-2/+0
\|\
\| *	We can ignore the generated automation. Bug 17392	Bernhard Schommer	2015-10-12	1	-0/+1
\| *	Removal of cchecklink, superseded by AbsInt's Valex tool.	Xavier Leroy	2015-10-12	1	-2/+0
* \|	Install the new system for reporting syntax errors.	François Pottier	2015-10-23	1	-0/+7
* \|	A .gitignore entry.	François Pottier	2015-10-23	1	-0/+1
* \|	Pass --no-stdlib and -v to menhir when compiling pre_parser.mly.	François Pottier	2015-10-07	1	-0/+1
\|/
*	Added Build, Tag, etc in version string and driver/Version.ml should be ignored	Bernhard Schommer	2015-07-01	1	-1/+1
*	Added a small ocamlfile that calls ocamlfind recursivly over a given directory.	Bernhard Schommer	2015-02-24	1	-0/+1
*	cparser/Parser.v is generated.	Xavier Leroy	2014-12-30	1	-0/+1
*	Replace ocamlbuild by a second-stage makefile to compile the OCaml code and p...	Xavier Leroy	2014-11-22	1	-2/+9
*	Change the way the tools like the linker, assembler, etc. are specified by in...	Bernhard Schommer	2014-09-30	1	-1/+1
*	Add .gitignore files.	Xavier Leroy	2014-09-21	1	-0/+40