aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * 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
* | | | osel immDavid Monniaux2019-06-048-23/+117
* | | | begin osel immDavid Monniaux2019-06-043-3/+57
* | | | added immediate cmoveDavid Monniaux2019-06-046-38/+80
* | | | shortcuts for cmoveDavid Monniaux2019-06-043-21/+41
* | | | shortcut cmove worksDavid Monniaux2019-06-042-89/+7
* | | | why doesn't it work?David Monniaux2019-06-042-7/+265
* | | | little restructuringDavid Monniaux2019-06-041-3/+4
* | | | keep the .s filesDavid Monniaux2019-06-041-0/+2
* | | | remove old "ternary" stuffDavid Monniaux2019-06-045-47/+10
* | | | start to have whole path if-conversion?David Monniaux2019-06-043-3/+18
* | | | Osel -> assembleurDavid Monniaux2019-06-043-104/+112
* | | | Osel is output = 1st inputDavid Monniaux2019-06-041-0/+1
* | | | Osel operation (not yet compiled)David Monniaux2019-06-043-31/+39
* | | | rm old select/selectl/selectf/selectfsDavid Monniaux2019-06-0314-914/+47
* | | | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-03158-9521/+14486
|\ \ \ \
| * | | | ARM: select is not supported at type TlongXavier Leroy2019-06-013-4/+14
| * | | | If-conversion optimizationXavier Leroy2019-05-3110-75/+746
| * | | | Type inference and type checking for CminorXavier Leroy2019-05-312-1/+799
| * | | | Additional simulation diagrams for determinate source languagesXavier Leroy2019-05-311-0/+173
| | |_|/ | |/| |
| * | | Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-3121-31/+31
generated by cgit (git 2.34.1) at 2024-07-12 01:26:27 +0000