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

	Commit message (Collapse)	Author	Age	Files	Lines
*	New directive hardtest and hardcheck to run on hardware test/mppa/instr	Cyril SIX	2020-01-27	1	-11/+55
\|
*	Test for compd.geu	Cyril SIX	2019-09-05	1	-0/+6
\|
*	Adding tests for cmoved	Cyril SIX	2019-09-05	2	-0/+85
\|
*	aclrw test	Cyril SIX	2019-09-03	1	-0/+12
\|
*	Rajout de clzd dans les tests	Cyril SIX	2019-08-30	1	-0/+3
\|
*	Added more tests	Cyril SIX	2019-08-30	3	-26/+55
\|
*	(#157) Removed AFADDD and AFADDW from the builtins	Cyril SIX	2019-08-30	2	-1/+14
\|
*	Adding tests for addx8d addx8w etc..	Cyril SIX	2019-08-30	3	-2/+11
\|
*	Dans test/mppa : changer k1-mbr-gcc en k1-cos-gcc	Cyril SIX	2019-06-17	1	-2/+4
\|
*	Rajout de tests test/mppa pour division/modulo	Cyril SIX	2019-03-22	6	-0/+34
\|
*	Reorganized the test/mppa/ tests to have fewer of them	Cyril SIX	2019-03-22	74	-22/+220
\|
*	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)