index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
test
/
monniaux
/
Makefile
Commit message (
Expand
)
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 it
july2019
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
*
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