compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Use the LGPL instead of the GPL for dual-licensed files	Xavier Leroy	2021-05-08	1	-4/+5
\| \| \| \| \| \|	The GPL makes sense for whole applications, but the dual-licensed Coq and OCaml files are more like libraries to be combined with other code, so the LGPL is more appropriate.
*	Use Hashtbl.find_opt.	Bernhard Schommer	2020-06-28	1	-1/+1
\| \| \| \| \|	Replace the pattern `try Some (Hashtbl.find ...) with Not_found -> None` by a call to the function Hashtbl.find_opt.
*	Extend the modorder tool to handle Coq files as well (#54)	Bernhard Schommer	2018-02-08	1	-7/+9
\| \| \| \| \| \|	This is useful to e.g. identify the .vo files from CompCert that a clightgen-generated .v file needs. Also: the "result" field of the record type is now initialized with the LHS of the dependency, not the RHS. It doesn't matter because the result field is unused, but it makes more sense now.
*	Replace ocamlbuild by a second-stage makefile to compile the OCaml code and ↵	Xavier Leroy	2014-11-22	1	-0/+112
	produce the executables. configure: add check for GNU make.