compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Use the LGPL instead of the GPL for dual-licensed files	Xavier Leroy	2021-05-08	3	-12/+15
*	Use Hashtbl.find_opt.	Bernhard Schommer	2020-06-28	1	-1/+1
*	Revise the "bench" entries of the test suite	Xavier Leroy	2019-09-17	1	-0/+101
*	ndfun: add support for guards on patterns	Xavier Leroy	2019-08-07	1	-5/+16
*	Extend the modorder tool to handle Coq files as well (#54)	Bernhard Schommer	2018-02-08	1	-7/+9
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-3/+3
*	Removed the recdepend again and replaced it by a builtin Make function.	Bernhard Schommer	2015-02-27	1	-206/+0
*	Updated the recdepend tool to avoid printing of ./ at the begining and printi...	Bernhard Schommer	2015-02-25	1	-50/+46
*	Added a small ocamlfile that calls ocamlfind recursivly over a given directory.	Bernhard Schommer	2015-02-24	1	-0/+210
*	Use String.map instead of reimplementing it ourselves.	Xavier Leroy	2014-11-22	1	-5/+18
*	Replace ocamlbuild by a second-stage makefile to compile the OCaml code and p...	Xavier Leroy	2014-11-22	1	-0/+112
*	Merge of the nonstrict-ops branch:	xleroy	2012-01-14	1	-0/+231