Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | 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 | |
* | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe... | David Monniaux | 2019-06-06 | 9 | -34/+67 | |
|\| | ||||||
| * | fix measures | David Monniaux | 2019-06-06 | 1 | -7/+7 | |
| * | some more benchmarks | David Monniaux | 2019-06-06 | 9 | -27/+60 | |
* | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe... | David Monniaux | 2019-06-06 | 6 | -12/+1179 | |
|\| | ||||||
| * | 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 | |
* | | fix Makefile | David Monniaux | 2019-06-05 | 1 | -6/+6 | |
|/ | ||||||
* | 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 | |
* | | | Added type annotations to gengraphs.py | Cyril SIX | 2019-05-21 | 1 | -7/+8 | |
* | | | Added types annotations to genmake.py | Cyril SIX | 2019-05-21 | 1 | -8/+9 |