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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Float conversion fixes + some more conversions	Cyril SIX	2019-02-27	4	-5/+5
\|
*	Changing the way floats are compared (script using reltol and abstol comparison)	Cyril SIX	2019-02-27	4	-5/+99
\|
*	Rajout d'opérateurs flottants, travail sur les tests --> à continuer	Cyril SIX	2019-02-15	70	-68/+136
\|
*	Added Olongoffloat, Ofloatoflong and doubleconv test	Cyril SIX	2019-02-12	1	-0/+9
\|
*	Added Ointofsingle + floatconv unit test	Cyril SIX	2019-02-12	1	-0/+9
\|
*	Added indirect tailcalls	Cyril SIX	2019-02-08	2	-0/+49
\|
*	Adding indirect calls (icall instruction)	Cyril SIX	2019-01-29	1	-0/+33
\|
*	Added sxwd and zxwd support	Cyril SIX	2019-01-22	3	-0/+21
\|
*	Fixed the forvar test	Cyril SIX	2019-01-17	2	-3/+13
\|
*	Fixed div64 and mod64	Cyril SIX	2018-12-11	1	-2/+3
\|
*	Added printf to the unitary tests for instructions	Cyril SIX	2018-12-07	2	-27/+29
\|
*	Finished implementation of va_arg + testing done	Cyril SIX	2018-11-30	1	-1/+1
\|
*	Added tests where GCC calls CompCert functions	Cyril SIX	2018-11-27	1	-1/+1
\|
*	Fixed andd test not consistent with the rest	Cyril SIX	2018-11-23	1	-1/+1
\|
*	Mise à jour vis à vis de CompCert 3.4	Cyril SIX	2018-11-21	1	-2/+16
\|
*	Merge branch 'mppa_asmbloc_nobreg' into mppa_k1c	Cyril SIX	2018-11-14	1	-0/+11
\| \| \| \| \| \| \| \| \| \|	Conflicts: mppa_k1c/Asm.v mppa_k1c/Asmexpand.ml mppa_k1c/TargetPrinter.ml test/mppa/Makefile test/mppa/builtins/clzll.c test/mppa/generate.sh
*	Updated Sort Makefile + fixed compilation command bug	Cyril SIX	2018-11-14	1	-3/+3
\|
*	Changed mmult to avoid recomputing + fixed potential source of bug in instr	Cyril SIX	2018-11-13	1	-3/+3
\|
*	Lancement des tests à partir d'un même script	Cyril SIX	2018-11-13	1	-0/+111
\|
*	Revamped the instruction testsuite (all instructions work except umodd and ↵	Cyril SIX	2018-11-13	56	-0/+459
	udivd)