aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* 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
* 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
| |
| * Verification time graph generation scriptCyril SIX2019-06-191-0/+66
| |
| * build_benches printing compile time in compile_times.txtCyril SIX2019-06-191-1/+4
| |
| * Adding Gc.major() before the start_timeCyril SIX2019-06-191-1/+1
| |
| * Instrumentation patch for AsmblockdepsCyril SIX2019-06-191-0/+20
| |
| * add arrow.h from LustreCDavid Monniaux2019-06-194-130/+35
| |
| * for RiscVDavid Monniaux2019-06-181-0/+8
| |
| * Reverting the unwanted time measurement from the other branchCyril SIX2019-06-181-14/+1
| |
| * [NOT TESTED] Compiles and should work ?Cyril SIX2019-06-181-11/+17
| |
| * [BROKEN] still broken, just fixing a logical detailCyril SIX2019-06-171-1/+1
| |
| * [BROKEN] Fixed the dependency oracle, does not compileCyril SIX2019-06-171-8/+42
| | | | | | | | I was removing too many dependencies
| * Merge branch 'mppa-work' into mppa-better-depsCyril SIX2019-06-176-8/+12
| |\
| | * Dans test/mppa : changer k1-mbr-gcc en k1-cos-gccCyril SIX2019-06-176-8/+12
| | |
| * | [NOT TESTED] ça compileCyril SIX2019-06-171-7/+7
| | |
| * | [BROKEN] Replaced the accesses lists by Maps, does not compileCyril SIX2019-06-141-8/+58
| |/
| * Towards supporting the CompCert tests (not finished)Cyril SIX2019-06-143-10/+16
| |
| * Removing the Admitted warning when running "make check-admitted"Cyril SIX2019-06-121-1/+1
| |
| * abstract_bb: few improvements while writing the paperSylvain Boulmé2019-06-086-251/+294
| |
| * Merge branch 'mppa-work' into mppa-abstractbb-devSylvain Boulmé2019-06-08606-11431/+204292
| |\
| | * 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
| | |
| | * finish merging master branch (fixes problems in glpk colamd)David Monniaux2019-06-063-43/+0
| | |
generated by cgit (git 2.34.1) at 2024-07-11 23:57:26 +0000