aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
| * Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-workDavid Monniaux2019-06-065-9/+65
| |\
| | * Added Pfmovite to list of known mnemonic names.Bernhard Schommer2019-06-061-1/+1
| | * Cminortyping: relax typechecking of function callsXavier Leroy2019-06-061-12/+15
| | * If-conversion optimizationXavier Leroy2019-06-0610-75/+751
| | * Type inference and type checking for CminorXavier Leroy2019-06-062-1/+798
| | * Additional simulation diagrams for determinate source languagesXavier Leroy2019-06-061-0/+173
| | * ARM: select is not supported at type TlongXavier Leroy2019-06-062-2/+11
| | * New additional check for void parameters. (#174)Bernhard Schommer2019-06-031-3/+5
| * | 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
| * | fix measuresDavid Monniaux2019-06-061-7/+7
| * | some more benchmarksDavid Monniaux2019-06-069-27/+60
generated by cgit (git 2.34.1) at 2024-07-06 14:53:25 +0000