Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | Removing lustrev4_lustrec_heater_control and ternary for now from benches.sh | Cyril SIX | 2019-06-19 | 1 | -1/+3 | |
| * | Makefile in test/monniaux that generates the compilation time graphs | Cyril SIX | 2019-06-19 | 4 | -48/+37 | |
| * | Patch for PostpassSchedulingOracle measures | Cyril SIX | 2019-06-19 | 1 | -0/+33 | |
| * | graphique: Label corrections | Cyril SIX | 2019-06-19 | 1 | -2/+2 | |
| * | Verification time graph generation script | Cyril SIX | 2019-06-19 | 1 | -0/+66 | |
| * | build_benches printing compile time in compile_times.txt | Cyril SIX | 2019-06-19 | 1 | -1/+4 | |
| * | Adding Gc.major() before the start_time | Cyril SIX | 2019-06-19 | 1 | -1/+1 | |
| * | Instrumentation patch for Asmblockdeps | Cyril SIX | 2019-06-19 | 1 | -0/+20 | |
| * | add arrow.h from LustreC | David Monniaux | 2019-06-19 | 4 | -130/+35 | |
| * | for RiscV | David Monniaux | 2019-06-18 | 1 | -0/+8 | |
| * | Reverting the unwanted time measurement from the other branch | Cyril SIX | 2019-06-18 | 1 | -14/+1 | |
| * | [NOT TESTED] Compiles and should work ? | Cyril SIX | 2019-06-18 | 1 | -11/+17 | |
| * | [BROKEN] still broken, just fixing a logical detail | Cyril SIX | 2019-06-17 | 1 | -1/+1 | |
| * | [BROKEN] Fixed the dependency oracle, does not compile | Cyril SIX | 2019-06-17 | 1 | -8/+42 | |
| * | Merge branch 'mppa-work' into mppa-better-deps | Cyril SIX | 2019-06-17 | 6 | -8/+12 | |
| |\ | ||||||
| | * | Dans test/mppa : changer k1-mbr-gcc en k1-cos-gcc | Cyril SIX | 2019-06-17 | 6 | -8/+12 | |
| * | | [NOT TESTED] ça compile | Cyril SIX | 2019-06-17 | 1 | -7/+7 | |
| * | | [BROKEN] Replaced the accesses lists by Maps, does not compile | Cyril SIX | 2019-06-14 | 1 | -8/+58 | |
| |/ | ||||||
| * | Towards supporting the CompCert tests (not finished) | Cyril SIX | 2019-06-14 | 3 | -10/+16 | |
| * | Removing the Admitted warning when running "make check-admitted" | Cyril SIX | 2019-06-12 | 1 | -1/+1 | |
| * | abstract_bb: few improvements while writing the paper | Sylvain Boulmé | 2019-06-08 | 6 | -251/+294 | |
| * | Merge branch 'mppa-work' into mppa-abstractbb-dev | Sylvain Boulmé | 2019-06-08 | 606 | -11431/+204292 | |
| |\ | ||||||
| | * | 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 | |
| * | | | minor change in auxiliary lemma | Sylvain Boulmé | 2019-05-28 | 1 | -11/+21 | |
| * | | | Merge branch 'mppa-work' into mppa-abstractbb-dev | Sylvain Boulmé | 2019-05-28 | 1 | -1/+1 | |
| |\ \ \ | ||||||
| * | | | | simpler definition of reduce | Sylvain Boulmé | 2019-05-28 | 3 | -48/+133 | |
| * | | | | slightly more efficient version | Sylvain Boulmé | 2019-05-26 | 3 | -40/+85 |