aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-034-4/+159
|\
| * If-conversion optimizationXavier Leroy2019-05-313-1/+156
| * Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-311-3/+3
* | use all same exact include filesv3.5_k1c_1.2David Monniaux2019-06-031-11/+8
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-cosDavid Monniaux2019-05-301-0/+4
|\ \
| * \ Merge remote-tracking branch 'origin/mppa-msub' into mppa-workDavid Monniaux2019-05-302-1/+5
| |\ \
| | * | begin generating Prevsub etc. from Oxxx to PxxxDavid Monniaux2019-05-111-1/+1
* | | | Merge branch 'mppa-cos' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...David Monniaux2019-05-301-2/+3
|\ \ \ \
| * | | | make -j20 instead of xargs -P4 + make -j5Cyril SIX2019-05-291-2/+3
* | | | | take other measurementsDavid Monniaux2019-05-292-2/+2
|/ / / /
* | | | use /usr/bin/envDavid Monniaux2019-05-291-1/+1
* | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cosDavid Monniaux2019-05-291-0/+1
|\| | |
| * | | Added rm clock.o and stuffCyril SIX2019-05-281-0/+1
| * | | use /usr/bin/env bashDavid Monniaux2019-05-281-1/+1
* | | | adaptation pour k1c-cosDavid Monniaux2019-05-2811-348/+16
|/ / /
* | | Better graphsCyril SIX2019-05-211-37/+41
* | | Added type annotations to gengraphs.pyCyril SIX2019-05-211-7/+8
* | | Added types annotations to genmake.pyCyril SIX2019-05-211-8/+9
* | | Premier jet de graphes de mesures (à améliorer)Cyril SIX2019-05-174-4/+97
* | | Measures to CSV doneCyril SIX2019-05-1711-4/+11
* | | Adding more measuresCyril SIX2019-05-1712-16/+26
* | | simpler code, works in 32 bitsDavid Monniaux2019-05-161-5/+18
* | | remet les trucs dans les bons répertoiresDavid Monniaux2019-05-1524-0/+0
* | | truly inline function as macro to trigger better instruction selectionDavid Monniaux2019-05-151-1/+6
* | | compiled with Lustre v4David Monniaux2019-05-154-0/+512
* | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-05-157-6/+21
|\ \ \
| * | | Measures for bitslices-aes, bitsliced-tea and complex_matCyril SIX2019-05-157-6/+21
* | | | renamingDavid Monniaux2019-05-1524-0/+0
|/ / /
* | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-05-156-4/+47
|\ \ \
| * | | CSV file generation for benches (only binary_search for now)Cyril SIX2019-05-156-4/+47
* | | | attempt at inlining; not many cycles removedDavid Monniaux2019-05-151-9/+11
|/ / /
* | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-05-154-32/+17
|\ \ \
| * | | Added back bitslices-aesCyril SIX2019-05-154-32/+17
* | | | Heater example from Lustre v4David Monniaux2019-05-152-4/+18
* | | | Lustre v4 exampleDavid Monniaux2019-05-158-1/+568
* | | | example from Lustre v4 compiled with ONERA's lustrec compilerDavid Monniaux2019-05-155-0/+679
|/ / /
* | | Avancement sur la génération de Makefile des benchmarksCyril SIX2019-05-1434-409/+84
* | | sum with moduloDavid Monniaux2019-05-131-0/+18
* | | 32-bit modulo now uses sign extend then call to the 64-bit functionDavid Monniaux2019-05-131-1/+1
* | | clock the time in heptagonDavid Monniaux2019-05-131-0/+8
* | | new example + moved random number generator to common filesDavid Monniaux2019-05-1316-24/+1185
|/ /
* | DM manual inliningDavid Monniaux2019-05-091-22/+25
* | with -en (expand main node)David Monniaux2019-05-096-0/+3569
* | Lustre "convertible" compilé avec -2cgcDavid Monniaux2019-05-096-0/+1452
* | carlightV2 example from Lustre V6David Monniaux2019-05-084-89/+111
* | carlightDavid Monniaux2019-05-083-0/+467
* | added clockDavid Monniaux2019-05-081-1/+9
* | removed print statementsDavid Monniaux2019-05-081-81/+18
* | from Lustre v6 examplesDavid Monniaux2019-05-086-0/+1745
* | load code into I-cacheDavid Monniaux2019-05-041-0/+3
generated by cgit (git 2.34.1) at 2024-07-02 12:21:41 +0000