aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux
Commit message (Collapse)AuthorAgeFilesLines
* GLPK 4.65David Monniaux2019-06-06281-0/+126536
|
* timingsDavid Monniaux2019-06-061-1/+16
|
* print clock infoDavid Monniaux2019-06-062-0/+27
|
* compiles and linksDavid Monniaux2019-06-061-1/+9
|
* for compiling cjpeg/djpegDavid Monniaux2019-06-062-308/+328
|
* fix measuresDavid Monniaux2019-06-061-7/+7
|
* some more benchmarksDavid Monniaux2019-06-069-27/+60
|
* attempt at -O1David Monniaux2019-06-061-1/+5
|
* add version.h, prims.cDavid Monniaux2019-06-063-1/+1160
|
* disable large benchmarks that rely on heap saturation and other limitsDavid Monniaux2019-06-052-10/+14
|
* shortcuts for cmoveDavid Monniaux2019-06-041-1/+1
|
* keep the .s filesDavid Monniaux2019-06-041-0/+2
|
* remove old "ternary" stuffDavid Monniaux2019-06-045-47/+10
|
* 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
| |\ | | | | | | | | | | | | Conflicts: mppa_k1c/ExtValues.v
| | * begin generating Prevsub etc. from Oxxx to PxxxDavid Monniaux2019-05-111-1/+1
| | |
* | | Merge branch 'mppa-cos' of ↵David Monniaux2019-05-301-2/+3
|\ \ \ | | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-cos
| * | | 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
| | | | | | | | (replace x/2 by x*0.5)
* | compiled with Lustre v4David Monniaux2019-05-154-0/+512
| |
* | Merge branch 'mppa-work' of ↵David Monniaux2019-05-157-6/+21
|\ \ | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * | 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 ↵David Monniaux2019-05-156-4/+47
|\ \ | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * | 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 ↵David Monniaux2019-05-154-32/+17
|\ \ | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * | 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
| |
generated by cgit (git 2.34.1) at 2024-07-11 23:57:20 +0000