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/+5
\|\
\| *	Add op for float max and min for x86.	Bernhard Schommer	2022-02-07	1	-1/+5
* \|	adapt the other targets for the new field in CEcond	David Monniaux	2020-04-08	1	-2/+2
* \|	helpers broke compilation	David Monniaux	2019-07-19	1	-6/+1
* \|	Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...	David Monniaux	2019-07-19	1	-11/+28
\|\\|
\| *	x86_64: branchless implementation of floatofintu and intuoffloat	Xavier Leroy	2019-07-17	1	-10/+17
\| *	Give formal semantics to some built-in functions and run-time functions	Xavier Leroy	2019-07-17	1	-1/+6
* \|	Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...	David Monniaux	2019-06-03	1	-1/+29
\|\\|
\| *	Implement a `Osel` operation for x86	Xavier Leroy	2019-05-20	1	-1/+29
* \|	ça recompile sur x86	David Monniaux	2019-03-22	1	-0/+8
\|/
*	Extend builtin arguments with a pointer addition operator	Xavier Leroy	2017-07-06	1	-4/+13
*	Hybrid 64bit/32bit PowerPC port	Bernhard Schommer	2017-05-03	1	-4/+4
*	RISC-V port and assorted changes	Xavier Leroy	2017-04-28	1	-0/+3
*	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/+530