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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div	David Monniaux	2020-04-20	493	-6449/+190332
\|\
\| *	remove host .s generation	David Monniaux	2020-03-28	1	-1/+1
\| *	remove tests wrt host	David Monniaux	2020-03-28	1	-1/+1
\| *	fixup for arm	David Monniaux	2020-03-28	1	-1/+1
\| *	run yarpgen correctly on arm	David Monniaux	2020-03-28	1	-3/+11
\| *	limit due to stack overflows	David Monniaux	2020-03-28	1	-1/+1
\| *	more fixes for CI	David Monniaux	2020-03-28	1	-1/+1
\| *	fix inconsistency	David Monniaux	2020-03-28	1	-8/+7
\| *	better assemble with gcc	David Monniaux	2020-03-28	1	-2/+3
\| *	fix limitxy	David Monniaux	2020-03-28	1	-1/+1
\| *	stdlib path	David Monniaux	2020-03-28	1	-3/+5
\| *	some more Makefile fixes (disable cse2 it's too slow)	David Monniaux	2020-03-28	1	-1/+1
\| *	fix targets for proper generation	David Monniaux	2020-03-28	1	-2/+5
\| *	fix Makefile (again)	David Monniaux	2020-03-28	1	-9/+10
\| *	fix Makefile for not remaking the generator	David Monniaux	2020-03-28	1	-13/+13
\| *	set up for autogeneration of yarpgen	David Monniaux	2020-03-28	1	-7/+22
\| *	Makefile for CI	David Monniaux	2020-03-28	2	-24/+93
\| *	more portable cycles.h	David Monniaux	2020-03-09	3	-11/+31
\| *	cycles for aarch64	David Monniaux	2020-03-09	1	-0/+16
\| *	cycles.h for ARMv7	David Monniaux	2020-03-09	1	-0/+7
\| *	Merge branch 'dm-cse2' of /home/monniaux/progs/CompCert/dm-cse2 into mppa-cse2	David Monniaux	2020-02-03	3	-0/+19
\| *	add an example	David Monniaux	2020-01-08	1	-0/+18
\| *	Adding info on how to add timings to a benchmark	Cyril SIX	2019-12-02	1	-26/+44
\| *	Updating test/monniaux/README.md	Cyril SIX	2019-11-26	1	-28/+39
\| *	build_benches.sh adapting to number of cores	Cyril SIX	2019-11-26	1	-2/+3
\| *	run-benches.sh adapting to number of CPU cores	Cyril SIX	2019-11-26	1	-1/+4
\| *	Fixing pcre2 (but it is bugged in GCC?)	Cyril SIX	2019-11-22	2	-36/+5
\| *	benches += ncompress	Cyril SIX	2019-11-22	2	-52/+4
\| *	Real clean	Cyril SIX	2019-11-22	1	-1/+1
\| *	benches += tiff	Cyril SIX	2019-11-22	3	-49/+4
\| *	Adding the new benches to benches.sh	Cyril SIX	2019-11-22	1	-1/+1
\| *	benchmarks += ocaml	Cyril SIX	2019-11-22	1	-30/+3
\| *	Fixing zlib	Cyril SIX	2019-11-19	3	-0/+541
\| *	Adding zlib	Cyril SIX	2019-11-15	1	-49/+57
\| *	Adding jpeg-6b benchmark	Cyril SIX	2019-11-15	2	-32/+50
\| *	Correcting typo in rules.mk	Cyril SIX	2019-11-13	1	-1/+1
\| *	Putting back the building rules for the paper (rules.mk)	Cyril SIX	2019-11-13	1	-11/+11
\| *	Removing clutter from building + running benches	Cyril SIX	2019-11-13	4	-7/+21
\| *	genann added	Cyril SIX	2019-10-02	3	-3/+5
\| *	Adding picosat to the benches	Cyril SIX	2019-10-02	2	-34/+8
\| *	Updating test/monniaux/README.md	Cyril SIX	2019-10-02	1	-1/+8
\| *	(forgot to add glpk to benches.sh)	Cyril SIX	2019-10-02	1	-1/+1
\| *	Intégration de GLPK	Cyril SIX	2019-10-02	2	-37/+7
\| *	Merge remote-tracking branch 'origin/mppa-work-upstream-merge' into mppa-work	Cyril SIX	2019-09-03	4	-72/+14
\| \|\
\| \| *	macros for fma() fmaf()	David Monniaux	2019-08-30	1	-0/+1
\| \| *	fma with first negated operand	David Monniaux	2019-08-30	1	-0/+1
\| \| *	fma	David Monniaux	2019-08-30	1	-0/+12
\| \| *	merge upstream including fma fixes	David Monniaux	2019-08-28	3	-72/+0
\| * \|	Decreasing a bit the number of processes in run_benches	Cyril SIX	2019-08-30	1	-1/+1
\| * \|	Minor fix for the measurements macros	Cyril SIX	2019-07-24	2	-4/+5
\| \|/