Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | prepare for conditions in cmove | David Monniaux | 2019-04-04 | 4 | -19/+34 | |
| * | | | ternary ops for float/double | David Monniaux | 2019-04-03 | 3 | -2/+72 | |
| * | | | for floats and doubles, asmgen support | David Monniaux | 2019-04-03 | 3 | -15/+92 | |
| * | | | ternary ops in AES and TEA | David Monniaux | 2019-04-03 | 4 | -8/+9 | |
| * | | | problem in ValueAOp | David Monniaux | 2019-04-03 | 4 | -9/+12 | |
| * | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-ternary | David Monniaux | 2019-04-03 | 30 | -2245/+1299 | |
| |\ \ \ | ||||||
| * \ \ \ | merge VLIW proofs | David Monniaux | 2019-03-28 | 7 | -23/+1073 | |
| |\ \ \ \ | ||||||
| | * \ \ \ | merge proof of VLIW | David Monniaux | 2019-03-28 | 7 | -23/+1073 | |
| | |\ \ \ \ | ||||||
| * | | | | | | improvements on cmoved etc. | David Monniaux | 2019-03-27 | 2 | -93/+7 | |
| * | | | | | | match some 'and' | David Monniaux | 2019-03-27 | 2 | -10/+34 | |
| * | | | | | | selectl generation | David Monniaux | 2019-03-26 | 6 | -14/+205 | |
| * | | | | | | ternary unsigned | David Monniaux | 2019-03-26 | 2 | -0/+47 | |
| * | | | | | | rm cruft | David Monniaux | 2019-03-26 | 2 | -167/+9 | |
| * | | | | | | cmoved works | David Monniaux | 2019-03-26 | 1 | -4/+5 | |
| * | | | | | | ternary / cmove demo now works | David Monniaux | 2019-03-26 | 1 | -2/+2 | |
| * | | | | | | ternary begins working | David Monniaux | 2019-03-26 | 2 | -13/+11 | |
| * | | | | | | some progress | David Monniaux | 2019-03-26 | 2 | -19/+12 | |
| * | | | | | | implemented ternary pattern | David Monniaux | 2019-03-26 | 2 | -1/+57 | |
| * | | | | | | more on ternary | David Monniaux | 2019-03-26 | 2 | -6/+149 | |
| * | | | | | | select basic operators | David Monniaux | 2019-03-26 | 1 | -0/+24 | |
| * | | | | | | selectl | David Monniaux | 2019-03-25 | 2 | -0/+21 | |
| * | | | | | | more on cmove | David Monniaux | 2019-03-25 | 4 | -66/+42 | |
| * | | | | | | progress on cmove | David Monniaux | 2019-03-25 | 5 | -3/+17 | |
| * | | | | | | draft comment | David Monniaux | 2019-03-25 | 1 | -0/+3 | |
| * | | | | | | some version of select/selectl that runs through ValueAOp | David Monniaux | 2019-03-25 | 1 | -5/+32 | |
| * | | | | | | NeedOp advancing | David Monniaux | 2019-03-25 | 1 | -0/+43 | |
| * | | | | | | better Op select/selectl | David Monniaux | 2019-03-25 | 1 | -32/+24 | |
| * | | | | | | progressing on select/selectl | David Monniaux | 2019-03-25 | 2 | -0/+12 | |
| * | | | | | | going forward with select/selectl | David Monniaux | 2019-03-25 | 1 | -12/+26 | |
| * | | | | | | begin ternary | David Monniaux | 2019-03-24 | 2 | -1/+49 | |
| |/ / / / / | ||||||
| * | | | | | Merge branch 'mppa-mul' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer... | David Monniaux | 2019-03-22 | 1 | -1/+1 | |
| |\ \ \ \ \ | ||||||
| | * | | | | | FIX BUG in TargetPrinter (nandd immediate wrongly printed as andd) | David Monniaux | 2019-03-22 | 1 | -1/+1 | |
* | | | | | | | 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 | |
| |_|_|_|_|/ |/| | | | | | ||||||
* | | | | | | Possible fix pour l'issue #82 (mauvais calcul de taille de bundle pour les st... | Cyril SIX | 2019-04-05 | 1 | -1/+1 | |
| |_|_|_|/ |/| | | | | ||||||
* | | | | | 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 | |
| |_|_|/ |/| | | | ||||||
* | | | | Merge remote-tracking branch 'origin/mppa_k1c' into mppa-work | Cyril SIX | 2019-04-03 | 14 | -1456/+421 | |
|\ \ \ \ | ||||||
| * | | | | robustness of Asmblockdeps.*op_eq | Sylvain Boulmé | 2019-04-02 | 1 | -27/+38 | |
| * | | | | comment on Asmblockdeps.is_constant | Sylvain Boulmé | 2019-04-02 | 1 | -9/+12 | |
| * | | | | Impure: improved iandb + struct_eq | Sylvain Boulmé | 2019-04-01 | 3 | -34/+28 | |
| * | | | | renommage abstractbb: Name -> PReg | Sylvain Boulmé | 2019-04-01 | 5 | -32/+32 | |
| * | | | | renommages abstract_bb | Sylvain Boulmé | 2019-04-01 | 5 | -156/+156 | |
| * | | | | petite factorisation de preuve | Sylvain Boulmé | 2019-04-01 | 1 | -69/+59 | |
| * | | | | minor simpl | Sylvain Boulmé | 2019-04-01 | 1 | -8/+14 | |
| * | | | | simpler parexec_wio_bblock_aux | Sylvain Boulmé | 2019-04-01 | 2 | -3/+2 |