aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* (#143) Rajout de la macro TIMEINITCyril SIX2019-07-122-4/+5
|
* (#143) Mesure de cycles sur sandboxCyril SIX2019-07-123-4/+42
|
* Merge branch '140-install-instructions' into 'mppa-work'Cyril Six2019-07-121-0/+62
|\ | | | | | | | | Initial version of install instructions See merge request sixcy/CompCert!1
| * Initial version of install instructionsMatheus Schuh2019-07-091-0/+62
| | | | | | | | Mainly focused on Kalray platform
* | Premier jet du framework d'évaluation de perf (pas fini)Cyril SIX2019-07-114-0/+135
| |
* | Recompile CompCert before applying the patch and compiling itjuly2019Cyril SIX2019-07-111-2/+4
| |
* | Fixing the make.proto of tacle-bench-lift and powerwindow, it now links ↵Cyril SIX2019-07-112-6/+2
| | | | | | | | correctly with the right things
* | Fix for csmithCyril SIX2019-07-111-2/+2
| |
* | Remise des exécutions à x1000Cyril SIX2019-07-111-1/+1
| |
* | Removing the gencompile and gengraphs scripts (now in These6)Cyril SIX2019-07-112-147/+0
| |
* | Only generating measure.csv in test/monniaux/MakefileCyril SIX2019-07-111-6/+7
| |
* | Replaced the solution -> bundles part by an algorithm hopefully linearCyril SIX2019-07-091-54/+39
|/
* Better graphs (in greyscale)Cyril SIX2019-07-022-10/+11
|
* Replacing crosses by dotsCyril SIX2019-06-291-1/+1
|
* 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-289-59/+140
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| * rm -dallDavid Monniaux2019-06-241-1/+1
| |
| * Merge branch 'mppa-work' of ↵David Monniaux2019-06-242-21/+19
| |\ | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
| | * maj forward_simu_par_wio_bblock_aux en forward_simu_par_wioSylvain Boulmé2019-06-232-21/+19
| | | | | | | | | | | | avec une legere simplification (comme dans le papier)
| * | op printing (still incomplete)David Monniaux2019-06-241-1/+12
| | |
| * | pretty-printing for extra operations (unfinished)David Monniaux2019-06-242-2/+39
| |/
| * fix makespan computationDavid Monniaux2019-06-221-1/+3
| |
| * schedule from endDavid Monniaux2019-06-221-17/+18
| |
| * -frevlistDavid Monniaux2019-06-213-9/+36
| |
| * 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-192-0/+26
|
* 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
| |
* | pretty print statisticsDavid Monniaux2019-06-191-36/+33
| |
* | Merge branch 'mppa-work' of ↵David Monniaux2019-06-19431-2052/+189285
|\| | | | | | | 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/+37
| |
| * Patch for PostpassSchedulingOracle measuresCyril SIX2019-06-191-0/+33
| |
| * graphique: Label correctionsCyril SIX2019-06-191-2/+2
| |
generated by cgit (git 2.34.1) at 2024-07-11 22:58:14 +0000