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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'absint/master' into merge_absint	David Monniaux	2022-03-01	1	-1/+6
\|\
\| *	Add op for float max and min for x86.	Bernhard Schommer	2022-02-07	1	-1/+6
* \|	Merge branch 'master' into merge_master_8.13.1	Sylvain Boulmé	2021-03-23	1	-5/+5
\|\\|
\| *	Replace `omega` tactic with `lia`	Xavier Leroy	2020-12-29	1	-5/+5
* \|	Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...	David Monniaux	2019-09-20	1	-4/+4
\|\\|
\| *	Fix compile for architectures other than AArch64 (#192)	Bernhard Schommer	2019-08-17	1	-4/+4
* \|	helpers broke compilation	David Monniaux	2019-07-19	1	-4/+1
* \|	Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...	David Monniaux	2019-07-19	1	-13/+30
\|\\|
\| *	x86_64: branchless implementation of floatofintu and intuoffloat	Xavier Leroy	2019-07-17	1	-4/+12
\| *	Give formal semantics to some built-in functions and run-time functions	Xavier Leroy	2019-07-17	1	-9/+15
* \|	Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...	David Monniaux	2019-06-03	1	-0/+26
\|\\|
\| *	Implement a `Osel` operation for x86	Xavier Leroy	2019-05-20	1	-0/+26
* \|	ça recompile sur x86	David Monniaux	2019-03-22	1	-2/+27
\|/
*	Extend builtin arguments with a pointer addition operator	Xavier Leroy	2017-07-06	1	-4/+22
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	1	-9/+9
*	RISC-V port and assorted changes	Xavier Leroy	2017-04-28	1	-0/+10
*	Use "Local" as prefix	Xavier Leroy	2017-02-13	1	-1/+1
*	Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...	Xavier Leroy	2016-10-27	1	-0/+959