aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-07-196-28/+61
|\
| * When testing builtin functions, prevent constant propagationXavier Leroy2019-07-174-28/+31
| * Extended asm: print register names according to their typesXavier Leroy2019-06-171-0/+10
| * Perform constant propagation and strength reduction on conditional movesXavier Leroy2019-06-171-0/+20
| * If-conversion optimizationXavier Leroy2019-06-063-1/+156
* | Fixing the generation of verifier_times.txt and oracle_times.txtCyril SIX2019-07-182-7/+7
* | (#142) Desactivating scheduling when using -O1 optimizationCyril SIX2019-07-171-1/+1
* | README fileCyril SIX2019-07-171-60/+67
* | rules.mk adding more customizationCyril SIX2019-07-171-3/+3
* | Portage réussi et completCyril SIX2019-07-175-14/+14
* | Removing the genmake.py and the generate_makefiles.shCyril SIX2019-07-172-147/+0
* | All working benches portedCyril SIX2019-07-1728-49/+53
* | Up to nttCyril SIX2019-07-1712-15/+20
* | bitsliced-teaCyril SIX2019-07-175-24/+11
* | bitsliced-aes doneCyril SIX2019-07-174-3275/+7
* | (#141) Started to port the new Makefile to rules.mk. Ported binary_searchCyril SIX2019-07-173-57/+144
* | Deleting junk filesCyril SIX2019-07-177-1932/+0
* | (#143) Put in sandbox the example of SHA256Cyril SIX2019-07-124-0/+677
* | (#143) More featuresCyril SIX2019-07-122-10/+17
* | (#143) - Regrouping in obj/ asm/ bin/ directoriesCyril SIX2019-07-121-5/+9
* | (#143) much simpler example to measure how our measures affect performanceCyril SIX2019-07-121-0/+18
* | (#143) intermediate files are not deletedCyril SIX2019-07-121-0/+2
* | (#143) Rajout de la macro TIMEINITCyril SIX2019-07-122-4/+5
* | (#143) Mesure de cycles sur sandboxCyril SIX2019-07-123-4/+42
* | Premier jet du framework d'évaluation de perf (pas fini)Cyril SIX2019-07-114-0/+135
* | Recompile CompCert before applying the patch and compiling itjuly2019Cyril SIX2019-07-111-2/+4
* | Fixing the make.proto of tacle-bench-lift and powerwindow, it now links corre...Cyril SIX2019-07-112-6/+2
* | Fix for csmithCyril SIX2019-07-111-2/+2
* | Remise des exécutions à x1000Cyril SIX2019-07-111-1/+1
* | Removing the gencompile and gengraphs scripts (now in These6)Cyril SIX2019-07-112-147/+0
* | Only generating measure.csv in test/monniaux/MakefileCyril SIX2019-07-111-6/+7
* | Better graphs (in greyscale)Cyril SIX2019-07-022-10/+11
* | Replacing crosses by dotsCyril SIX2019-06-291-1/+1
* | Decreasing amount of concurrent -j5 on run_benches.shCyril SIX2019-06-291-1/+1
* | Removing titles on graphsCyril SIX2019-06-292-2/+0
* | More generic make_clock on genmake.pyCyril SIX2019-06-291-1/+2
* | rm unneeded fileDavid Monniaux2019-06-282-3/+1
* | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-06-284-15/+20
|\ \
| * | rm -dallDavid Monniaux2019-06-241-1/+1
| * | pretty-printing for extra operations (unfinished)David Monniaux2019-06-241-1/+1
| * | -frevlistDavid Monniaux2019-06-211-1/+1
| * | Enlevé les annotations en attendant que python3.6 soit réinstallé sur carlitCyril SIX2019-06-201-5/+10
| * | Fixing invalid syntax errorCyril SIX2019-06-201-1/+1
| * | Using Python3.5 instead of Python3.6 (python3.6 not installed on carlit)Cyril SIX2019-06-203-4/+4
| * | Circumventing a bug from patchCyril SIX2019-06-201-4/+4
* | | paths for carlitDavid Monniaux2019-06-191-1/+1
|/ /
* | avoid problems on carlit: don't hardcode the path to bashDavid Monniaux2019-06-191-1/+1
* | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-06-194-19/+36
|\ \
| * | Graph in 1/cyclesCyril SIX2019-06-192-7/+10
| * | Adding measures graph generation in the MakefileCyril SIX2019-06-194-12/+26
generated by cgit (git 2.34.1) at 2024-06-12 03:32:56 +0000