aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Removing clutter from building + running benchesCyril SIX2019-11-131-3/+7
* Fixing the generation of verifier_times.txt and oracle_times.txtCyril SIX2019-07-181-5/+5
* Recompile CompCert before applying the patch and compiling itjuly2019Cyril SIX2019-07-111-2/+4
* Only generating measure.csv in test/monniaux/MakefileCyril SIX2019-07-111-6/+7
* Using Python3.5 instead of Python3.6 (python3.6 not installed on carlit)Cyril SIX2019-06-201-2/+2
* Circumventing a bug from patchCyril SIX2019-06-201-4/+4
* Adding measures graph generation in the MakefileCyril SIX2019-06-191-2/+10
* Adding clean to test/monniaux/MakefileCyril SIX2019-06-191-0/+24
* moved to subdirectoryDavid Monniaux2019-01-181-46/+0
* some unrollingDavid Monniaux2019-01-181-1/+1
* some better experiments...David Monniaux2019-01-181-2/+5
* clearer filenamesDavid Monniaux2019-01-181-13/+24
* so that we can compare gcc and ccomp .sDavid Monniaux2019-01-171-3/+6
* for testing postpassDavid Monniaux2019-01-171-9/+15
* test (does not compile yet)David Monniaux2019-01-171-0/+23
generated by cgit (git 2.34.1) at 2024-06-27 09:32:26 +0000