Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | | preparing for the builtin connector | David Monniaux | 2019-04-05 | 1 | -3/+69 |
* | | removed the unproved hack to get builtins, will be reinstated later | David Monniaux | 2019-04-05 | 4 | -74/+8 |
* | | Oselectf, Oselectfs with condition | David Monniaux | 2019-04-05 | 8 | -131/+325 |
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary | David Monniaux | 2019-04-05 | 1 | -1/+1 |
|\| | |||||
| * | Possible fix pour l'issue #82 (mauvais calcul de taille de bundle pour les st... | Cyril SIX | 2019-04-05 | 1 | -1/+1 |
* | | selectl with condition | David Monniaux | 2019-04-05 | 8 | -68/+172 |
* | | Select cmplu | David Monniaux | 2019-04-05 | 2 | -1/+32 |
* | | select cmpu | David Monniaux | 2019-04-05 | 8 | -6/+61 |
* | | factor out some proofs | David Monniaux | 2019-04-05 | 1 | -6/+3 |
* | | some more Oselect comparisons | David Monniaux | 2019-04-04 | 2 | -1/+14 |
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary | David Monniaux | 2019-04-04 | 2 | -352/+187 |
|\| | |||||
| * | Refactorisation de forward_simu_basic | Cyril SIX | 2019-04-04 | 1 | -102/+55 |
| * | refactorized forward_simu_control | Cyril SIX | 2019-04-04 | 1 | -107/+67 |
| * | Refactorisation de forward_simu_par_control | Cyril SIX | 2019-04-04 | 1 | -141/+63 |
| * | Erreur idiote dans les latences ? | Cyril SIX | 2019-04-04 | 1 | -2/+2 |
* | | ternary ops work on (unsigned/signed) int with test on signed int | David Monniaux | 2019-04-04 | 1 | -3/+3 |