aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux
Commit message (Collapse)AuthorAgeFilesLines
* Decreasing amount of concurrent -j5 on run_benches.shCyril SIX2019-06-291-1/+1
|
* Removing titles on graphsCyril SIX2019-06-292-2/+0
|
* More generic make_clock on genmake.pyCyril SIX2019-06-291-1/+2
|
* rm unneeded fileDavid Monniaux2019-06-282-3/+1
|
* Merge branch 'mppa-work' of ↵David Monniaux2019-06-284-15/+20
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * rm -dallDavid Monniaux2019-06-241-1/+1
| |
| * pretty-printing for extra operations (unfinished)David Monniaux2019-06-241-1/+1
| |
| * -frevlistDavid Monniaux2019-06-211-1/+1
| |
| * Enlevé les annotations en attendant que python3.6 soit réinstallé sur carlitCyril SIX2019-06-201-5/+10
| |
| * Fixing invalid syntax errorCyril SIX2019-06-201-1/+1
| |
| * Using Python3.5 instead of Python3.6 (python3.6 not installed on carlit)Cyril SIX2019-06-203-4/+4
| |
| * Circumventing a bug from patchCyril SIX2019-06-201-4/+4
| | | | | | | | https://lists.gnu.org/archive/html/bug-patch/2017-01/msg00001.html
* | paths for carlitDavid Monniaux2019-06-191-1/+1
|/
* avoid problems on carlit: don't hardcode the path to bashDavid Monniaux2019-06-191-1/+1
|
* Merge branch 'mppa-work' of ↵David Monniaux2019-06-194-19/+36
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * Graph in 1/cyclesCyril SIX2019-06-192-7/+10
| |
| * Adding measures graph generation in the MakefileCyril SIX2019-06-194-12/+26
| |
* | avoid problems with int128David Monniaux2019-06-191-1/+1
| |
* | mistake in MakefileDavid Monniaux2019-06-191-1/+1
|/
* More .gitignore for a clean git statusCyril SIX2019-06-191-0/+23
|
* Merge branch 'mppa-work' of ↵David Monniaux2019-06-191-0/+3
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * Missing make.proto of lustrev4_lustrecCyril SIX2019-06-191-0/+3
| |
* | Merge branch 'mppa-work' of ↵David Monniaux2019-06-19403-472/+187128
|\| | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * "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
| |
| * 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 ↵David Monniaux2019-06-069-34/+67
|\| | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * fix measuresDavid Monniaux2019-06-061-7/+7
| |
generated by cgit (git 2.34.1) at 2024-07-12 08:44:11 +0000