aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * 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
| * | | minor change in auxiliary lemmaSylvain Boulmé2019-05-281-11/+21
| * | | Merge branch 'mppa-work' into mppa-abstractbb-devSylvain Boulmé2019-05-281-1/+1
| |\ \ \
| * | | | simpler definition of reduceSylvain Boulmé2019-05-283-48/+133
| * | | | slightly more efficient versionSylvain Boulmé2019-05-263-40/+85
| * | | | extending bblock_simu_test with rewritingSylvain Boulmé2019-05-2614-1532/+1826
* | | | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-06-069-34/+67
|\ \ \ \ \ | | |_|/ / | |/| | |
| * | | | fix measuresDavid Monniaux2019-06-061-7/+7
| * | | | some more benchmarksDavid Monniaux2019-06-069-27/+60
* | | | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-06-066-12/+1179
|\| | | |
| * | | | attempt at -O1David Monniaux2019-06-061-1/+5
| * | | | add version.h, prims.cDavid Monniaux2019-06-063-1/+1160
| * | | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-06-051-1/+1
| |\ \ \ \
| * | | | | disable large benchmarks that rely on heap saturation and other limitsDavid Monniaux2019-06-052-10/+14
* | | | | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-06-051-1/+1
|\ \ \ \ \ \ | | |/ / / / | |/| | | |
| * | | | | Fix for #134 Pjumptable not recognizedCyril SIX2019-06-051-1/+1
| |/ / / /
* / / / / fix MakefileDavid Monniaux2019-06-051-6/+6
|/ / / /
* | | | fixed reservation table for cmoveDavid Monniaux2019-06-051-1/+5
* | | | move with immediatesDavid Monniaux2019-06-042-1/+31
generated by cgit (git 2.34.1) at 2024-07-12 08:19:25 +0000