compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Configure the correct archiver to build runtime/libcompcert.a	Xavier Leroy	2020-12-24	1	-1/+1
*	AArch64 port	Xavier Leroy	2019-08-08	1	-0/+2
*	Prepend $(DESTDIR) to the installation target (#169)	Bernhard Schommer	2019-05-17	1	-4/+4
*	Prefixed runtime functions.	Bernhard Schommer	2017-08-25	1	-2/+2
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	1	-8/+10
*	RISC-V port and assorted changes	Xavier Leroy	2017-04-28	1	-1/+12
*	Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...	Xavier Leroy	2016-10-27	1	-1/+3
*	Turn 64-bit integer division and modulus by constants into multiply-high	Xavier Leroy	2016-10-04	1	-0/+1
*	Support for 64-bit architectures: x86 in 64-bit mode	Xavier Leroy	2016-10-01	1	-0/+13
*	Implement support for big endian arm targets.	Bernhard Schommer	2016-08-05	1	-1/+1
*	Added the _Noreturn keyword.	Bernhard Schommer	2016-03-23	1	-1/+2
*	VPATH setting for PowerPC	Xavier Leroy	2015-09-13	1	-1/+9
*	PowerPC 64 bits: alternate, more efficient implementations of int64 operations.	Xavier Leroy	2015-09-12	1	-2/+4
*	Provide and use compiler-dependent standard headers.	Xavier Leroy	2015-04-25	1	-5/+14
*	C reference implementation of the int64 helper functions.	Xavier Leroy	2015-02-14	1	-1/+1
*	configure: distinguish between ABI and processor model.	xleroy	2014-07-29	1	-1/+1
*	Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test...	xleroy	2014-01-01	1	-1/+2
*	Merge of the "princeton" branch:	xleroy	2013-06-16	1	-0/+8
*	Fix compilation of runtime system.	xleroy	2013-05-29	1	-2/+2
*	Support for in64 -> float conversions w/ correct rounding.	xleroy	2013-05-06	1	-2/+2
*	Expand 64-bit integer comparisons into 32-bit integer comparisons.	xleroy	2013-04-29	1	-2/+2
*	Make ia32/ code more portable across systems.	xleroy	2013-04-23	1	-1/+1
*	Split arch/int64.s into one file per function.	xleroy	2013-04-20	1	-1/+6
*	Configuring the assembler used for the runtime lib	xleroy	2013-04-20	1	-1/+1
*	Big merge of the newregalloc-int64 branch. Lots of changes in two directions:	xleroy	2013-04-20	1	-10/+18
*	Support for indirect symbols under MacOS X (final).	xleroy	2012-07-14	1	-4/+4
*	Simplified stdlib wrapper; use it only under MacOS X	xleroy	2010-09-04	1	-3/+11
*	Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...	xleroy	2008-04-19	1	-2/+1
*	Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu Makefiles	xleroy	2007-08-06	1	-0/+7
*	Fusion des modifications faites sur les branches "tailcalls" et "smallstep".	xleroy	2007-08-04	1	-0/+13