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

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix tracing options for clightgen.	Bernhard Schommer	2019-07-15	1	-10/+23
*	clightgen: add info on configuration and platform to generated .v files (#238)	Xavier Leroy	2018-06-20	1	-1/+2
*	Refactor the handling of errors and warnings (#44)	Bernhard Schommer	2018-02-08	1	-15/+18
*	Share code for common options.	Bernhard Schommer	2018-01-29	1	-70/+15
*	Added missing help and common options.	Bernhard Schommer	2018-01-17	1	-1/+15
*	Move machine initialization to Frontend.init function. (#49)	Bernhard Schommer	2018-01-11	1	-20/+1
*	Added option -o to clightgen.	Bernhard Schommer	2018-01-11	1	-5/+47
*	Add riscv and attributes to Clightgen	Bernhard Schommer	2018-01-10	1	-0/+4
*	Remove all temporary files at program exit (#46)	Bernhard Schommer	2018-01-03	1	-1/+1
*	Use quoted strings in clightgen.	Bernhard Schommer	2018-01-02	1	-22/+24
*	clightgen: add option -normalize to ensure that memory loads never occur "dee...	Xavier Leroy	2017-06-12	1	-2/+11
*	remove unused file, update tests for arch-field of configuration files	Michael Schmidt	2016-11-03	1	-1/+6
*	Merge branch 'master' into advanced-diagnostics	Bernhard Schommer	2016-08-29	1	-1/+3
\|\
\| *	Implement support for big endian arm targets.	Bernhard Schommer	2016-08-05	1	-1/+3
* \|	Additional test for color output.	Bernhard Schommer	2016-08-05	1	-10/+10
\|/
*	Added version string to Clightgen.	Bernhard Schommer	2016-05-24	1	-2/+14
*	Moved shared frontend code in own file.	Bernhard Schommer	2016-05-24	1	-161/+28
*	bug 18004, fix file extensions for dparse option	Michael Schmidt	2016-04-25	1	-1/+1
*	Deactivate warning 27 and added back removed code.	Bernhard Schommer	2016-03-15	1	-2/+2
*	Cleanup of Clightgen code.	Bernhard Schommer	2016-03-10	1	-3/+2
*	clightgen: update to recent change -fstruct-return/-fstruct-passing	Xavier Leroy	2015-12-19	1	-4/+7
*	Updated PR by removing whitespaces. Bug 17450.	Bernhard Schommer	2015-10-20	1	-2/+2
*	Use Coq strings instead of idents to name external and builtin functions.	Xavier Leroy	2015-10-11	1	-1/+1
*	Update clightgen to the new annotations and the new inline asm.	Xavier Leroy	2015-04-23	1	-1/+1
*	Update clightgen with respect to new representation of composites.	Xavier Leroy	2015-02-20	1	-97/+103
*	Update clightgen for CompCert 2.2.v2.2	xleroy	2014-02-23	1	-2/+6
*	One more copyright header update.	xleroy	2013-06-17	1	-1/+0
*	Update LICENSE file and headers for dual-licensed files.	xleroy	2013-06-17	1	-0/+4
*	Updated	xleroy	2013-04-30	1	-3/+1
*	Update clightgen to changes in Camlcoq and in AST.	xleroy	2013-03-20	1	-1/+1
*	Put clighgen files in exportclight/	xleroy	2013-01-05	1	-0/+282