compcert - CompCert fork with minor modifications for Vericert.

	Commit message (Expand)	Author	Age	Files	Lines
*	Add `Declare Scope` where appropriate (#440)	Xavier Leroy	2022-09-19	1	-0/+1
*	Add op for float max and min for x86.	Bernhard Schommer	2022-02-07	1	-2/+4
*	Replace `omega` tactic with `lia`	Xavier Leroy	2020-12-29	1	-1/+1
*	Support Cygwin 64 bits	Xavier Leroy	2020-10-05	1	-0/+2
*	Revert "Remove `__builtin_nop` for some architectures. (#208)"	Bernhard Schommer	2020-01-03	1	-0/+2
*	Remove `__builtin_nop` for some architectures. (#208)	Bernhard Schommer	2019-12-21	1	-2/+0
*	Implement a `Osel` operation for x86	Xavier Leroy	2019-05-20	1	-5/+6
*	x86: wrong modeling of ZF flag for FP comparisons	Xavier Leroy	2018-12-20	1	-6/+6
*	Generate a nop instruction after some ais annotations (#137)	Bernhard Schommer	2018-09-12	1	-0/+2
*	Model external calls as destroying all caller-save registers	Xavier Leroy	2018-06-01	1	-1/+10
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	1	-3/+3
*	Give explicit scopes to notations a#b and a##b and a#b<-c	Xavier Leroy	2017-02-13	1	-2/+4
*	Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...	Xavier Leroy	2016-10-27	1	-0/+1204