aboutsummaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* Adding measures graph generation in the MakefileCyril SIX2019-06-194-12/+26
* More .gitignore for a clean git statusCyril SIX2019-06-191-0/+23
* Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-06-191-0/+3
|\
| * Missing make.proto of lustrev4_lustrecCyril SIX2019-06-191-0/+3
* | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-06-19411-490/+187154
|\|
| * "Compilation time" --> "Scheduling pass time"Cyril SIX2019-06-191-1/+1
| * Adding clean to test/monniaux/MakefileCyril SIX2019-06-191-0/+24
| * Putting back lustrev4_lustrec_heater_controlCyril SIX2019-06-191-2/+2
| * Removing lustrev4_lustrec_heater_control and ternary for now from benches.shCyril SIX2019-06-191-1/+3
| * Makefile in test/monniaux that generates the compilation time graphsCyril SIX2019-06-194-48/+90
| * graphique: Label correctionsCyril SIX2019-06-191-2/+2
| * Verification time graph generation scriptCyril SIX2019-06-191-0/+66
| * build_benches printing compile time in compile_times.txtCyril SIX2019-06-191-1/+4
| * add arrow.h from LustreCDavid Monniaux2019-06-194-130/+35
| * for RiscVDavid Monniaux2019-06-181-0/+8
| * Dans test/mppa : changer k1-mbr-gcc en k1-cos-gccCyril SIX2019-06-176-8/+12
| * Towards supporting the CompCert tests (not finished)Cyril SIX2019-06-142-10/+14
| * for zlibDavid Monniaux2019-06-074-2/+34
| * zlib-1.2.11David Monniaux2019-06-0729-0/+14142
| * c'est pas non plus ça la lenteurDavid Monniaux2019-06-071-1/+7
| * réseau de neuronesDavid Monniaux2019-06-075-0/+811
| * add clockingDavid Monniaux2019-06-071-0/+12
| * tiff exampleDavid Monniaux2019-06-074-38/+17
| * libtiff, beginDavid Monniaux2019-06-0759-0/+42962
| * compilationDavid Monniaux2019-06-062-0/+38
| * added clockedDavid Monniaux2019-06-067-0/+1670
| * timings for glpsolDavid Monniaux2019-06-063-0/+348
| * 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
* | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-06-069-34/+67
|\|
| * fix measuresDavid Monniaux2019-06-061-7/+7
| * some more benchmarksDavid Monniaux2019-06-069-27/+60
* | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-06-066-12/+1179
|\|
| * 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
* | fix MakefileDavid Monniaux2019-06-051-6/+6
|/
* 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
* 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
generated by cgit (git 2.34.1) at 2024-07-04 00:41:26 +0000