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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Removing clutter from building + running benches	Cyril SIX	2019-11-13	1	-3/+7
\|
*	Fixing the generation of verifier_times.txt and oracle_times.txt	Cyril SIX	2019-07-18	1	-5/+5
\|
*	Recompile CompCert before applying the patch and compiling itjuly2019	Cyril SIX	2019-07-11	1	-2/+4
\|
*	Only generating measure.csv in test/monniaux/Makefile	Cyril SIX	2019-07-11	1	-6/+7
\|
*	Using Python3.5 instead of Python3.6 (python3.6 not installed on carlit)	Cyril SIX	2019-06-20	1	-2/+2
\|
*	Circumventing a bug from patch	Cyril SIX	2019-06-20	1	-4/+4
\| \| \| \|	https://lists.gnu.org/archive/html/bug-patch/2017-01/msg00001.html
*	Adding measures graph generation in the Makefile	Cyril SIX	2019-06-19	1	-2/+10
\|
*	Adding clean to test/monniaux/Makefile	Cyril SIX	2019-06-19	1	-0/+24
\|
*	moved to subdirectory	David Monniaux	2019-01-18	1	-46/+0
\|
*	some unrolling	David Monniaux	2019-01-18	1	-1/+1
\|
*	some better experiments...	David Monniaux	2019-01-18	1	-2/+5
\|
*	clearer filenames	David Monniaux	2019-01-18	1	-13/+24
\|
*	so that we can compare gcc and ccomp .s	David Monniaux	2019-01-17	1	-3/+6
\|
*	for testing postpass	David Monniaux	2019-01-17	1	-9/+15
\|
*	test (does not compile yet)	David Monniaux	2019-01-17	1	-0/+23