Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | (#143) - Regrouping in obj/ asm/ bin/ directories | Cyril SIX | 2019-07-12 | 1 | -5/+9 | |
| | | ||||||
* | | (#143) much simpler example to measure how our measures affect performance | Cyril SIX | 2019-07-12 | 1 | -0/+18 | |
| | | ||||||
* | | (#143) intermediate files are not deleted | Cyril SIX | 2019-07-12 | 1 | -0/+2 | |
| | | ||||||
* | | (#143) Rajout de la macro TIMEINIT | Cyril SIX | 2019-07-12 | 2 | -4/+5 | |
| | | ||||||
* | | (#143) Mesure de cycles sur sandbox | Cyril SIX | 2019-07-12 | 3 | -4/+42 | |
| | | ||||||
* | | Premier jet du framework d'évaluation de perf (pas fini) | Cyril SIX | 2019-07-11 | 4 | -0/+135 | |
| | | ||||||
* | | Recompile CompCert before applying the patch and compiling itjuly2019 | Cyril SIX | 2019-07-11 | 1 | -2/+4 | |
| | | ||||||
* | | Fixing the make.proto of tacle-bench-lift and powerwindow, it now links ↵ | Cyril SIX | 2019-07-11 | 2 | -6/+2 | |
| | | | | | | | | correctly with the right things | |||||
* | | Fix for csmith | Cyril SIX | 2019-07-11 | 1 | -2/+2 | |
| | | ||||||
* | | Remise des exécutions à x1000 | Cyril SIX | 2019-07-11 | 1 | -1/+1 | |
| | | ||||||
* | | Removing the gencompile and gengraphs scripts (now in These6) | Cyril SIX | 2019-07-11 | 2 | -147/+0 | |
| | | ||||||
* | | Only generating measure.csv in test/monniaux/Makefile | Cyril SIX | 2019-07-11 | 1 | -6/+7 | |
| | | ||||||
* | | Better graphs (in greyscale) | Cyril SIX | 2019-07-02 | 2 | -10/+11 | |
| | | ||||||
* | | Replacing crosses by dots | Cyril SIX | 2019-06-29 | 1 | -1/+1 | |
| | | ||||||
* | | Decreasing amount of concurrent -j5 on run_benches.sh | Cyril SIX | 2019-06-29 | 1 | -1/+1 | |
| | | ||||||
* | | Removing titles on graphs | Cyril SIX | 2019-06-29 | 2 | -2/+0 | |
| | | ||||||
* | | More generic make_clock on genmake.py | Cyril SIX | 2019-06-29 | 1 | -1/+2 | |
| | | ||||||
* | | rm unneeded file | David Monniaux | 2019-06-28 | 2 | -3/+1 | |
| | | ||||||
* | | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-06-28 | 4 | -15/+20 | |
|\ \ | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | |||||
| * | | rm -dall | David Monniaux | 2019-06-24 | 1 | -1/+1 | |
| | | | ||||||
| * | | pretty-printing for extra operations (unfinished) | David Monniaux | 2019-06-24 | 1 | -1/+1 | |
| | | | ||||||
| * | | -frevlist | David Monniaux | 2019-06-21 | 1 | -1/+1 | |
| | | | ||||||
| * | | Enlevé les annotations en attendant que python3.6 soit réinstallé sur carlit | Cyril SIX | 2019-06-20 | 1 | -5/+10 | |
| | | | ||||||
| * | | Fixing invalid syntax error | Cyril SIX | 2019-06-20 | 1 | -1/+1 | |
| | | | ||||||
| * | | Using Python3.5 instead of Python3.6 (python3.6 not installed on carlit) | Cyril SIX | 2019-06-20 | 3 | -4/+4 | |
| | | | ||||||
| * | | Circumventing a bug from patch | Cyril SIX | 2019-06-20 | 1 | -4/+4 | |
| | | | | | | | | | | | | https://lists.gnu.org/archive/html/bug-patch/2017-01/msg00001.html | |||||
* | | | paths for carlit | David Monniaux | 2019-06-19 | 1 | -1/+1 | |
|/ / | ||||||
* | | avoid problems on carlit: don't hardcode the path to bash | David Monniaux | 2019-06-19 | 1 | -1/+1 | |
| | | ||||||
* | | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-06-19 | 4 | -19/+36 | |
|\ \ | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | |||||
| * | | Graph in 1/cycles | Cyril SIX | 2019-06-19 | 2 | -7/+10 | |
| | | | ||||||
| * | | Adding measures graph generation in the Makefile | Cyril SIX | 2019-06-19 | 4 | -12/+26 | |
| | | | ||||||
* | | | avoid problems with int128 | David Monniaux | 2019-06-19 | 1 | -1/+1 | |
| | | | ||||||
* | | | mistake in Makefile | David Monniaux | 2019-06-19 | 1 | -1/+1 | |
|/ / | ||||||
* | | More .gitignore for a clean git status | Cyril SIX | 2019-06-19 | 1 | -0/+23 | |
| | | ||||||
* | | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-06-19 | 1 | -0/+3 | |
|\ \ | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | |||||
| * | | Missing make.proto of lustrev4_lustrec | Cyril SIX | 2019-06-19 | 1 | -0/+3 | |
| | | | ||||||
* | | | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-06-19 | 411 | -490/+187154 | |
|\| | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | |||||
| * | | "Compilation time" --> "Scheduling pass time" | Cyril SIX | 2019-06-19 | 1 | -1/+1 | |
| | | | ||||||
| * | | 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 | |
| | | |