compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Use Unix.create_process instead of Sys.command to run external tools.	Xavier Leroy	2014-12-19	1	-0/+111
	Revised parsing of compcert.ini file to split arguments into words like POSIX shell does (including quotes).