Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | for zlib | David Monniaux | 2019-06-07 | 4 | -2/+34 |
* | zlib-1.2.11 | David Monniaux | 2019-06-07 | 29 | -0/+14142 |
* | c'est pas non plus ça la lenteur | David Monniaux | 2019-06-07 | 1 | -1/+7 |
* | réseau de neurones | David Monniaux | 2019-06-07 | 5 | -0/+811 |
* | add clocking | David Monniaux | 2019-06-07 | 1 | -0/+12 |
* | tiff example | David Monniaux | 2019-06-07 | 4 | -38/+17 |
* | libtiff, begin | David Monniaux | 2019-06-07 | 59 | -0/+42962 |
* | compilation | David Monniaux | 2019-06-06 | 2 | -0/+38 |
* | added clocked | David Monniaux | 2019-06-06 | 7 | -0/+1670 |
* | timings for glpsol | David Monniaux | 2019-06-06 | 3 | -0/+348 |
* | GLPK 4.65 | David Monniaux | 2019-06-06 | 281 | -0/+126536 |
* | finish merging master branch (fixes problems in glpk colamd) | David Monniaux | 2019-06-06 | 3 | -43/+0 |
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work | David Monniaux | 2019-06-06 | 5 | -9/+65 |
|\ | |||||
| * | Added Pfmovite to list of known mnemonic names. | Bernhard Schommer | 2019-06-06 | 1 | -1/+1 |
| * | Cminortyping: relax typechecking of function calls | Xavier Leroy | 2019-06-06 | 1 | -12/+15 |
| * | If-conversion optimization | Xavier Leroy | 2019-06-06 | 10 | -75/+751 |
| * | Type inference and type checking for Cminor | Xavier Leroy | 2019-06-06 | 2 | -1/+798 |
| * | Additional simulation diagrams for determinate source languages | Xavier Leroy | 2019-06-06 | 1 | -0/+173 |
| * | ARM: select is not supported at type Tlong | Xavier Leroy | 2019-06-06 | 2 | -2/+11 |
| * | New additional check for void parameters. (#174) | Bernhard Schommer | 2019-06-03 | 1 | -3/+5 |
* | | timings | David Monniaux | 2019-06-06 | 1 | -1/+16 |
* | | print clock info | David Monniaux | 2019-06-06 | 2 | -0/+27 |
* | | compiles and links | David Monniaux | 2019-06-06 | 1 | -1/+9 |
* | | for compiling cjpeg/djpeg | David Monniaux | 2019-06-06 | 2 | -308/+328 |
* | | fix measures | David Monniaux | 2019-06-06 | 1 | -7/+7 |
* | | some more benchmarks | David Monniaux | 2019-06-06 | 9 | -27/+60 |
* | | attempt at -O1 | David Monniaux | 2019-06-06 | 1 | -1/+5 |
* | | add version.h, prims.c | David Monniaux | 2019-06-06 | 3 | -1/+1160 |
* | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe... | David Monniaux | 2019-06-05 | 1 | -1/+1 |
|\ \ | |||||
| * | | Fix for #134 Pjumptable not recognized | Cyril SIX | 2019-06-05 | 1 | -1/+1 |
* | | | disable large benchmarks that rely on heap saturation and other limits | David Monniaux | 2019-06-05 | 2 | -10/+14 |
|/ / | |||||
* | | fixed reservation table for cmove | David Monniaux | 2019-06-05 | 1 | -1/+5 |
* | | move with immediates | David Monniaux | 2019-06-04 | 2 | -1/+31 |
* | | osel imm | David Monniaux | 2019-06-04 | 8 | -23/+117 |
* | | begin osel imm | David Monniaux | 2019-06-04 | 3 | -3/+57 |
* | | added immediate cmove | David Monniaux | 2019-06-04 | 6 | -38/+80 |
* | | shortcuts for cmove | David Monniaux | 2019-06-04 | 3 | -21/+41 |
* | | shortcut cmove works | David Monniaux | 2019-06-04 | 2 | -89/+7 |
* | | why doesn't it work? | David Monniaux | 2019-06-04 | 2 | -7/+265 |
* | | little restructuring | David Monniaux | 2019-06-04 | 1 | -3/+4 |
* | | keep the .s files | David Monniaux | 2019-06-04 | 1 | -0/+2 |
* | | remove old "ternary" stuff | David Monniaux | 2019-06-04 | 5 | -47/+10 |
* | | start to have whole path if-conversion? | David Monniaux | 2019-06-04 | 3 | -3/+18 |
* | | Osel -> assembleur | David Monniaux | 2019-06-04 | 3 | -104/+112 |
* | | Osel is output = 1st input | David Monniaux | 2019-06-04 | 1 | -0/+1 |
* | | Osel operation (not yet compiled) | David Monniaux | 2019-06-04 | 3 | -31/+39 |
* | | rm old select/selectl/selectf/selectfs | David Monniaux | 2019-06-03 | 14 | -914/+47 |
* | | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-... | David Monniaux | 2019-06-03 | 158 | -9521/+14486 |
|\ \ | |||||
| * | | ARM: select is not supported at type Tlong | Xavier Leroy | 2019-06-01 | 3 | -4/+14 |
| * | | If-conversion optimization | Xavier Leroy | 2019-05-31 | 10 | -75/+746 |