Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | |
* | | use cmove in bitsliced AES | David Monniaux | 2019-04-05 | 1 | -5/+2 | |
* | | move patterns to include file | David Monniaux | 2019-04-05 | 2 | -14/+25 | |
* | | implement using our "pattern matching" | David Monniaux | 2019-04-05 | 1 | -4/+11 | |
* | | reinstated the orl selectl construct | David Monniaux | 2019-04-05 | 2 | -10/+7 | |
* | | itemize the proof (better for debugging) | David Monniaux | 2019-04-05 | 1 | -10/+10 |