Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Adding clean to test/monniaux/Makefile | Cyril SIX | 2019-06-19 | 1 | -0/+24 |
* | Putting back lustrev4_lustrec_heater_control | Cyril SIX | 2019-06-19 | 1 | -2/+2 |
* | Removing lustrev4_lustrec_heater_control and ternary for now from benches.sh | Cyril SIX | 2019-06-19 | 1 | -1/+3 |
* | Makefile in test/monniaux that generates the compilation time graphs | Cyril SIX | 2019-06-19 | 4 | -48/+90 |
* | graphique: Label corrections | Cyril SIX | 2019-06-19 | 1 | -2/+2 |
* | Verification time graph generation script | Cyril SIX | 2019-06-19 | 1 | -0/+66 |
* | build_benches printing compile time in compile_times.txt | Cyril SIX | 2019-06-19 | 1 | -1/+4 |
* | add arrow.h from LustreC | David Monniaux | 2019-06-19 | 4 | -130/+35 |
* | for RiscV | David Monniaux | 2019-06-18 | 1 | -0/+8 |
* | Dans test/mppa : changer k1-mbr-gcc en k1-cos-gcc | Cyril SIX | 2019-06-17 | 6 | -8/+12 |
* | Towards supporting the CompCert tests (not finished) | Cyril SIX | 2019-06-14 | 2 | -10/+14 |
* | for zlib | David Monniaux | 2019-06-07 | 4 | -2/+34 |
* | zlib-1.2.11 | David Monniaux | 2019-06-07 | 29 | -0/+14142 |
* | c'est pas non plus ça la lenteur | David Monniaux | 2019-06-07 | 1 | -1/+7 |
* | réseau de neurones | David Monniaux | 2019-06-07 | 5 | -0/+811 |
* | add clocking | David Monniaux | 2019-06-07 | 1 | -0/+12 |
* | tiff example | David Monniaux | 2019-06-07 | 4 | -38/+17 |
* | libtiff, begin | David Monniaux | 2019-06-07 | 59 | -0/+42962 |
* | compilation | David Monniaux | 2019-06-06 | 2 | -0/+38 |
* | added clocked | David Monniaux | 2019-06-06 | 7 | -0/+1670 |
* | timings for glpsol | David Monniaux | 2019-06-06 | 3 | -0/+348 |
* | GLPK 4.65 | David Monniaux | 2019-06-06 | 281 | -0/+126536 |
* | timings | David Monniaux | 2019-06-06 | 1 | -1/+16 |
* | print clock info | David Monniaux | 2019-06-06 | 2 | -0/+27 |
* | compiles and links | David Monniaux | 2019-06-06 | 1 | -1/+9 |
* | for compiling cjpeg/djpeg | David Monniaux | 2019-06-06 | 2 | -308/+328 |
* | fix measures | David Monniaux | 2019-06-06 | 1 | -7/+7 |
* | some more benchmarks | David Monniaux | 2019-06-06 | 9 | -27/+60 |
* | attempt at -O1 | David Monniaux | 2019-06-06 | 1 | -1/+5 |
* | add version.h, prims.c | David Monniaux | 2019-06-06 | 3 | -1/+1160 |
* | disable large benchmarks that rely on heap saturation and other limits | David Monniaux | 2019-06-05 | 2 | -10/+14 |
* | shortcuts for cmove | David Monniaux | 2019-06-04 | 1 | -1/+1 |
* | keep the .s files | David Monniaux | 2019-06-04 | 1 | -0/+2 |
* | remove old "ternary" stuff | David Monniaux | 2019-06-04 | 5 | -47/+10 |
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-... | David Monniaux | 2019-06-03 | 4 | -4/+159 |
|\ | |||||
| * | If-conversion optimization | Xavier Leroy | 2019-05-31 | 3 | -1/+156 |
| * | Fix misspellings in messages, man pages, and comments | Xavier Leroy | 2019-05-31 | 1 | -3/+3 |
* | | use all same exact include filesv3.5_k1c_1.2 | David Monniaux | 2019-06-03 | 1 | -11/+8 |
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cos | David Monniaux | 2019-05-30 | 1 | -0/+4 |
|\ \ | |||||
| * \ | Merge remote-tracking branch 'origin/mppa-msub' into mppa-work | David Monniaux | 2019-05-30 | 2 | -1/+5 |
| |\ \ | |||||
| | * | | begin generating Prevsub etc. from Oxxx to Pxxx | David Monniaux | 2019-05-11 | 1 | -1/+1 |
* | | | | Merge branch 'mppa-cos' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer... | David Monniaux | 2019-05-30 | 1 | -2/+3 |
|\ \ \ \ | |||||
| * | | | | make -j20 instead of xargs -P4 + make -j5 | Cyril SIX | 2019-05-29 | 1 | -2/+3 |
* | | | | | take other measurements | David Monniaux | 2019-05-29 | 2 | -2/+2 |
|/ / / / | |||||
* | | | | use /usr/bin/env | David Monniaux | 2019-05-29 | 1 | -1/+1 |
* | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-cos | David Monniaux | 2019-05-29 | 1 | -0/+1 |
|\| | | | |||||
| * | | | Added rm clock.o and stuff | Cyril SIX | 2019-05-28 | 1 | -0/+1 |
| * | | | use /usr/bin/env bash | David Monniaux | 2019-05-28 | 1 | -1/+1 |
* | | | | adaptation pour k1c-cos | David Monniaux | 2019-05-28 | 11 | -348/+16 |
|/ / / | |||||
* | | | Better graphs | Cyril SIX | 2019-05-21 | 1 | -37/+41 |