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

	Commit message (Expand)	Author	Age	Files	Lines
*	Hardware runs for test/mppa/interop	Cyril SIX	2020-01-27	1	-24/+113
*	Adding some function calls in interop tests	Cyril SIX	2019-09-19	2	-7/+15
*	Dans test/mppa : changer k1-mbr-gcc en k1-cos-gcc	Cyril SIX	2019-06-17	1	-1/+3
*	Reorganized the test/mppa/ tests to have fewer of them	Cyril SIX	2019-03-22	8	-8/+18
*	Replacing all the - by * : it works!	Cyril SIX	2019-03-19	2	-185/+185
*	Trying to replace all the + by -	Cyril SIX	2019-03-19	2	-185/+185
*	[TEST BROKEN] Trying to replace some int by float in stackhell interop test	Cyril SIX	2019-03-19	3	-68/+69
*	Small improvements to interop test Makefile	Cyril SIX	2019-03-19	2	-4/+33
*	Added the use of two va_list in a va_arg test	Cyril SIX	2018-12-11	1	-3/+9
*	In va_arg tests, 2nd argument of va_start is now correct	Cyril SIX	2018-12-11	2	-9/+9
*	Fixed div64 and mod64	Cyril SIX	2018-12-11	1	-18/+22
*	Finished implementation of va_arg + testing done	Cyril SIX	2018-11-30	1	-3/+3
*	Wrote some tests on va_arg, need to implement __compcert_va_int32 & cie	Cyril SIX	2018-11-28	2	-7/+467
*	Added GCC-compcert call test with a very high register pressure	Cyril SIX	2018-11-28	4	-4/+207
*	Added tests where GCC calls CompCert functions	Cyril SIX	2018-11-27	1	-5/+22
*	Interoperability tests passed (no va_arg yet)	Cyril SIX	2018-11-23	13	-0/+347