Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | test breaks | David Monniaux | 2019-04-12 | 1 | -0/+44 |
* | better #include handling | David Monniaux | 2019-04-12 | 1 | -1/+5 |
* | workaround for non-standard C isfinite macro in math.h | David Monniaux | 2019-04-12 | 2 | -1/+4 |
* | some more simplifications | David Monniaux | 2019-04-12 | 2 | -0/+2 |
* | some simplifications (long) | David Monniaux | 2019-04-12 | 2 | -0/+58 |
* | more simplifications | David Monniaux | 2019-04-12 | 2 | -8/+13 |
* | some more simplification | David Monniaux | 2019-04-12 | 2 | -0/+16 |
* | some more simplification | David Monniaux | 2019-04-12 | 2 | -0/+7 |
* | some more simplifications | David Monniaux | 2019-04-12 | 8 | -1209/+17 |
* | some more simplifications | David Monniaux | 2019-04-12 | 2 | -3/+25 |
* | some more simplifications | David Monniaux | 2019-04-12 | 2 | -11/+17 |
* | more simplifications | David Monniaux | 2019-04-12 | 2 | -0/+6 |
* | simplification of the varargs procedure: they are leaf procedures, there is n... | David Monniaux | 2019-04-12 | 1 | -40/+1 |
* | fix wrongly removed builtins | David Monniaux | 2019-04-12 | 1 | -1/+3 |
* | more builtins | David Monniaux | 2019-04-11 | 8 | -20/+59 |
* | experiments on the meaning of sbmm8 | David Monniaux | 2019-04-11 | 2 | -0/+24 |
* | __builtin_k1_acswapw | David Monniaux | 2019-04-11 | 4 | -1/+38 |
* | builtin acswapd | David Monniaux | 2019-04-11 | 3 | -2/+29 |
* | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe... | David Monniaux | 2019-04-11 | 4 | -818/+368 |
|\ | |||||
| * | update from Impure Library | Sylvain Boulmé | 2019-04-11 | 1 | -20/+22 |
| * | more robust pattern-matching in *op_eq | Sylvain Boulmé | 2019-04-11 | 1 | -8/+10 |
| * | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe... | Sylvain Boulmé | 2019-04-11 | 6 | -3/+29 |
| |\ | |||||
| * | | refactor for #92 | Sylvain Boulmé | 2019-04-11 | 3 | -790/+336 |
* | | | cleaner: put all the special types, defines etc. in one header file | David Monniaux | 2019-04-11 | 3 | -1/+15 |
* | | | adjust list of builtins according to documentation | David Monniaux | 2019-04-11 | 1 | -5/+5 |
| |/ |/| | |||||
* | | afaddd / afaddw | David Monniaux | 2019-04-11 | 6 | -3/+29 |
|/ | |||||
* | demo of instruction cache flush | David Monniaux | 2019-04-11 | 1 | -0/+27 |
* | instruction cache builtins | David Monniaux | 2019-04-11 | 5 | -3/+23 |
* | data cache builtins | David Monniaux | 2019-04-11 | 5 | -5/+28 |
* | some more builtins | David Monniaux | 2019-04-11 | 5 | -5/+38 |
* | __builtin_k1_ldu | David Monniaux | 2019-04-11 | 5 | -9/+20 |
* | wfxl / wfxm | David Monniaux | 2019-04-11 | 6 | -6/+35 |
* | fix types for k1 builtins | David Monniaux | 2019-04-11 | 2 | -2/+57 |
* | __builtin_k1_get and __builtin_k1_set with safeguards, work for clock | David Monniaux | 2019-04-11 | 1 | -3/+10 |
* | get / set k1 | David Monniaux | 2019-04-10 | 5 | -3/+23 |
* | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe... | David Monniaux | 2019-04-10 | 1 | -185/+47 |
|\ | |||||
| * | achieve issue #89 ? | Sylvain Boulmé | 2019-04-10 | 1 | -185/+47 |
* | | now compiles with pthread.h | David Monniaux | 2019-04-10 | 1 | -4/+1 |
* | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe... | David Monniaux | 2019-04-10 | 5 | -14/+12 |
|\| | |||||
| * | Fixing missing features in Asmexpand.ml (EF_annot, EF_annot_val, EF_inline_asm) | Cyril SIX | 2019-04-09 | 1 | -9/+6 |
| * | Disabling the packedstruct tests from test/regression | Cyril SIX | 2019-04-09 | 1 | -1/+2 |
| * | All CompCert tests can be compiled | Cyril SIX | 2019-04-09 | 3 | -4/+4 |
* | | for killing _Pragma | David Monniaux | 2019-04-08 | 1 | -0/+1 |
|/ | |||||
* | exemples d'accès mémoire lents | David Monniaux | 2019-04-08 | 3 | -0/+31 |
* | moving iandb from ImpCore to ImpPrelude | Sylvain Boulmé | 2019-04-08 | 2 | -23/+18 |
* | better explanation | David Monniaux | 2019-04-08 | 1 | -4/+26 |
* | better intermediate point | David Monniaux | 2019-04-08 | 1 | -5/+8 |
* | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe... | David Monniaux | 2019-04-08 | 1 | -17/+29 |
|\ | |||||
| * | improving comments on Asmvliw | Sylvain Boulmé | 2019-04-08 | 1 | -17/+29 |
* | | powerwindow from tacle-bench | David Monniaux | 2019-04-08 | 42 | -0/+5165 |
|/ |