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

	Commit message (Collapse)	Author	Age	Files	Lines
*	[BROKEN] Merge with v3.9 : something broken for __builtin_expect in ↵	Cyril SIX	2021-06-01	1	-4/+5
\| \| \| \|	cfrontend/C2C.ml
*	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.
*	Various improvements in the wording of diagnostics.	Michael Schmidt	2018-08-02	1	-3/+3
\| \| \| \| \| \|	Fix various typos in diagnostic messages and unified wording and capitalization. Bug 23850
*	Resynchronize the LICENSE file and the license headers in individual files (#45)	Xavier Leroy	2018-01-05	1	-0/+15
\| \| \| \| \| \| \| \| \| \| \|	Some files are dual-licensed (GPL + noncommercial license), as marked redundantly in the license headers of those files, and in the LICENSE file. OVer the years those two markings got inconsistent. This commit updates the LICENSE file and the license headers of some files so that they agree on which files are dual-licensed. Some build-related files were dual-licensed but some others were not. Fixed by dual-licensing configure, Makefile.menhir, extraction/extraction.v, /extractionMachdep.v Moved lib/Json to backend/ because there is no need to dual-license those files, yet lib/* is dual-licensed. Plus: JsonAST did not really belong in lib/ anyway, as it depends on AST which is not in lib/
*	Open files in binary mode.	Bernhard Schommer	2015-11-30	1	-2/+1
\| \| \| \| \| \|	On windows opening files in text mode can result in errors due to non-windows compatible input. Thus open files only in binary mode. Bug 17664
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-2/+2
\|
*	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).