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

	Commit message (Collapse)	Author	Age	Files	Lines
*	turn on cache emulation	David Monniaux	2020-10-19	1	-9/+9
\|
*	rules.mk for zigzag	David Monniaux	2020-09-24	1	-7/+7
\|
*	Merge remote-tracking branch 'origin/kvx-work' into ↵	David Monniaux	2020-09-05	1	-6/+6
\|\ \| \| \| \| \| \| \| \| \| \|	mppa-RTLpathSE-verif-hash-junk iMe
* \|	-ftracelinearize	David Monniaux	2020-07-30	1	-12/+12
\| \|
* \|	flags	David Monniaux	2020-07-15	1	-1/+1
\| \|
* \|	proper ordering on calls etc. ?	David Monniaux	2020-07-10	1	-1/+1
\| \|
* \|	trapping loads are irreversible	David Monniaux	2020-07-10	1	-1/+1
\| \|
* \|	making progress on prepass	David Monniaux	2020-07-08	1	-1/+1
\|/
*	kvx-cos-gcc	David Monniaux	2020-07-08	1	-3/+3
\|
*	k1c -> kvx changes	David Monniaux	2020-05-26	1	-17/+17
\|
*	Real clean	Cyril SIX	2019-11-22	1	-1/+1
\|
*	Fixing zlib	Cyril SIX	2019-11-19	1	-0/+1
\|
*	Adding jpeg-6b benchmark	Cyril SIX	2019-11-15	1	-1/+2
\|
*	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
\|
*	Intégration de GLPK	Cyril SIX	2019-10-02	1	-1/+4
\|
*	Minor fix for the measurements macros	Cyril SIX	2019-07-24	1	-3/+4
\|
*	(#142) Desactivating scheduling when using -O1 optimization	Cyril SIX	2019-07-17	1	-1/+1
\|
*	rules.mk adding more customization	Cyril SIX	2019-07-17	1	-3/+3
\|
*	Portage réussi et complet	Cyril SIX	2019-07-17	1	-1/+1
\|
*	All working benches ported	Cyril SIX	2019-07-17	1	-3/+3
\|
*	bitsliced-aes done	Cyril SIX	2019-07-17	1	-1/+5
\|
*	(#141) Started to port the new Makefile to rules.mk. Ported binary_search	Cyril SIX	2019-07-17	1	-54/+143
\|
*	rm -dall	David Monniaux	2019-06-24	1	-1/+1
\|
*	pretty-printing for extra operations (unfinished)	David Monniaux	2019-06-24	1	-1/+1
\|
*	-frevlist	David Monniaux	2019-06-21	1	-1/+1
\|
*	tiff example	David Monniaux	2019-06-07	1	-1/+1
\|
*	adaptation pour k1c-cos	David Monniaux	2019-05-28	1	-2/+2
\|
*	Avancement sur la génération de Makefile des benchmarks	Cyril SIX	2019-05-14	1	-1/+1
\|
*	store o	David Monniaux	2019-05-04	1	-1/+1
\|
*	Changes to include a -O1 -fschedule-insns2 gcc run as well	Cyril SIX	2019-04-26	1	-2/+9
\|
*	some more simplifications	David Monniaux	2019-04-12	1	-1/+1
\|
*	Merge branch 'mppa-mul' into mppa_k0c	David Monniaux	2019-03-29	1	-6/+8
\|\
\| *	ocaml benchmark	David Monniaux	2019-03-28	1	-4/+5
\| \|
\| *	some more inline	David Monniaux	2019-03-28	1	-2/+3
\| \|
* \|	rm rules that conflict	David Monniaux	2019-03-29	1	-8/+8
\|/
*	-fpostpass-ilp	David Monniaux	2019-03-12	1	-1/+1
\|
*	simpler Makefiles	David Monniaux	2019-03-12	1	-0/+12
\|
*	stop warning about system includes	David Monniaux	2019-03-07	1	-1/+1
\|
*	forgot to deallocate block	David Monniaux	2019-02-18	1	-2/+2
\| \| \| \|	-g changes performance
*	-g in C FLAGS	David Monniaux	2019-02-07	1	-4/+7
\|
*	fix rules	David Monniaux	2019-02-07	1	-8/+8
\|
*	Makefiles now use rules.mk, and added a prohibition of unprototyped functions	David Monniaux	2019-02-06	1	-2/+4
\|
*	simplification des Makefile	David Monniaux	2019-02-05	1	-0/+37