Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
|/ | |||||
* | Merge branch 'mppa-refactor' into mppa-work | Cyril SIX | 2019-04-08 | 12 | -1946/+1667 |
|\ | |||||
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-refactor | Cyril SIX | 2019-04-08 | 80 | -125/+82525 |
| |\ | |||||
| * \ | Merge remote-tracking branch 'origin/mppa-refactor-reviewed' into mppa-refactor | Cyril SIX | 2019-04-08 | 8 | -465/+331 |
| |\ \ | |||||
| | * | | relecture sylvain | Sylvain Boulmé | 2019-04-05 | 8 | -505/+353 |
| * | | | #91 Removed completely the duplicated semantics in Asmblock | Cyril SIX | 2019-04-05 | 6 | -257/+89 |
| |/ / | |||||
| * | | #90 Asmvliw/Asmblock refactoring attempt | Cyril SIX | 2019-04-05 | 11 | -1611/+1634 |
* | | | from Tacle Bench | David Monniaux | 2019-04-08 | 8 | -0/+618 |
| |/ |/| | |||||
* | | predicated experiments | David Monniaux | 2019-04-07 | 2 | -0/+29 |
* | | uses the pattern matching | David Monniaux | 2019-04-06 | 1 | -2/+2 |
* | | keep the .s files | David Monniaux | 2019-04-06 | 1 | -9/+11 |
* | | Makefile for timing. | David Monniaux | 2019-04-06 | 2 | -3/+13 |
* | | makefile for PCRE2 | David Monniaux | 2019-04-06 | 3 | -5/+12764 |
* | | tests with PCRE2 (regular expression library) | David Monniaux | 2019-04-06 | 39 | -0/+62943 |
* | | use ternary in fill | David Monniaux | 2019-04-06 | 1 | -1/+1 |
* | | reoptimize the C | David Monniaux | 2019-04-06 | 1 | -1/+2 |
* | | hand optimizations | David Monniaux | 2019-04-06 | 1 | -2/+4 |
* | | various hand optimizations | David Monniaux | 2019-04-06 | 5 | -0/+1525 |
* | | reoptimize by hand | David Monniaux | 2019-04-06 | 1 | -3/+2 |
* | | goto end | David Monniaux | 2019-04-06 | 1 | -2/+25 |
* | | there seems to be some cache preload involved? | David Monniaux | 2019-04-06 | 1 | -1/+2 |
* | | use of ternary operators | David Monniaux | 2019-04-06 | 1 | -3/+28 |
* | | hand optimizations | David Monniaux | 2019-04-06 | 2 | -0/+407 |
* | | have one with specific position | David Monniaux | 2019-04-06 | 1 | -1/+1 |
* | | no need for this to be in two_address_op | David Monniaux | 2019-04-06 | 2 | -2/+2 |
* | | binary search from Rosetta Code | David Monniaux | 2019-04-06 | 2 | -0/+78 |
* | | ternary op version of bitsliced TEA | David Monniaux | 2019-04-05 | 1 | -4/+9 |