Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge remote-tracking branch 'origin/mppa-cos' into mppa-fast-div | David Monniaux | 2019-05-29 | 1 | -1/+1 |
|\ | |||||
| * | use /usr/bin/env | David Monniaux | 2019-05-29 | 1 | -1/+1 |
| | | |||||
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-cos | David Monniaux | 2019-05-29 | 1 | -0/+1 |
| |\ | |||||
* | | | Merge remote-tracking branch 'origin/mppa-cos' into mppa-fast-div | David Monniaux | 2019-05-29 | 10 | -347/+15 |
|\| | | |||||
| * | | adaptation pour k1c-cos | David Monniaux | 2019-05-28 | 11 | -348/+16 |
| | | | |||||
* | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div | David Monniaux | 2019-05-29 | 3 | -38/+43 |
|\ \ \ | | |/ | |/| | |||||
| * | | Added rm clock.o and stuff | Cyril SIX | 2019-05-28 | 1 | -0/+1 |
| | | | |||||
| * | | use /usr/bin/env bash | David Monniaux | 2019-05-28 | 1 | -1/+1 |
| |/ | |||||
| * | Better graphs | Cyril SIX | 2019-05-21 | 1 | -37/+41 |
| | | |||||
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div | David Monniaux | 2019-05-21 | 2 | -15/+17 |
|\| | |||||
| * | Added type annotations to gengraphs.py | Cyril SIX | 2019-05-21 | 1 | -7/+8 |
| | | |||||
| * | Added types annotations to genmake.py | Cyril SIX | 2019-05-21 | 1 | -8/+9 |
| | | |||||
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div | David Monniaux | 2019-05-20 | 24 | -23/+133 |
|\| | |||||
| * | Premier jet de graphes de mesures (à améliorer) | Cyril SIX | 2019-05-17 | 4 | -4/+97 |
| | | |||||
| * | Measures to CSV done | Cyril SIX | 2019-05-17 | 11 | -4/+11 |
| | | |||||
| * | Adding more measures | Cyril SIX | 2019-05-17 | 12 | -16/+26 |
| | | |||||
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div | David Monniaux | 2019-05-16 | 1 | -5/+18 |
|\| | |||||
| * | simpler code, works in 32 bits | David Monniaux | 2019-05-16 | 1 | -5/+18 |
| | | |||||
* | | sdiv seems to work, udiv/umod/smod BOGUS | David Monniaux | 2019-05-16 | 1 | -18/+0 |
|/ | |||||
* | remet les trucs dans les bons répertoires | David Monniaux | 2019-05-15 | 24 | -0/+0 |
| | |||||
* | truly inline function as macro to trigger better instruction selection | David Monniaux | 2019-05-15 | 1 | -1/+6 |
| | | | | (replace x/2 by x*0.5) | ||||
* | compiled with Lustre v4 | David Monniaux | 2019-05-15 | 4 | -0/+512 |
| | |||||
* | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-05-15 | 7 | -6/+21 |
|\ | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| * | Measures for bitslices-aes, bitsliced-tea and complex_mat | Cyril SIX | 2019-05-15 | 7 | -6/+21 |
| | | |||||
* | | renaming | David Monniaux | 2019-05-15 | 24 | -0/+0 |
|/ | |||||
* | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-05-15 | 6 | -4/+47 |
|\ | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| * | CSV file generation for benches (only binary_search for now) | Cyril SIX | 2019-05-15 | 6 | -4/+47 |
| | | |||||
* | | attempt at inlining; not many cycles removed | David Monniaux | 2019-05-15 | 1 | -9/+11 |
|/ | |||||
* | Merge branch 'mppa-work' of ↵ | David Monniaux | 2019-05-15 | 4 | -32/+17 |
|\ | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work | ||||
| * | Added back bitslices-aes | Cyril SIX | 2019-05-15 | 4 | -32/+17 |
| | | |||||
* | | Heater example from Lustre v4 | David Monniaux | 2019-05-15 | 2 | -4/+18 |
| | | |||||
* | | Lustre v4 example | David Monniaux | 2019-05-15 | 8 | -1/+568 |
| | | |||||
* | | example from Lustre v4 compiled with ONERA's lustrec compiler | David Monniaux | 2019-05-15 | 5 | -0/+679 |
|/ | |||||
* | Avancement sur la génération de Makefile des benchmarks | Cyril SIX | 2019-05-14 | 34 | -409/+84 |
| | |||||
* | sum with modulo | David Monniaux | 2019-05-13 | 1 | -0/+18 |
| | |||||
* | 32-bit modulo now uses sign extend then call to the 64-bit function | David Monniaux | 2019-05-13 | 1 | -1/+1 |
| | |||||
* | clock the time in heptagon | David Monniaux | 2019-05-13 | 1 | -0/+8 |
| | |||||
* | new example + moved random number generator to common files | David Monniaux | 2019-05-13 | 16 | -24/+1185 |
| | |||||
* | DM manual inlining | David Monniaux | 2019-05-09 | 1 | -22/+25 |
| | |||||
* | with -en (expand main node) | David Monniaux | 2019-05-09 | 6 | -0/+3569 |
| | |||||
* | Lustre "convertible" compilé avec -2cgc | David Monniaux | 2019-05-09 | 6 | -0/+1452 |
| | |||||
* | carlightV2 example from Lustre V6 | David Monniaux | 2019-05-08 | 4 | -89/+111 |
| | |||||
* | carlight | David Monniaux | 2019-05-08 | 3 | -0/+467 |
| | |||||
* | added clock | David Monniaux | 2019-05-08 | 1 | -1/+9 |
| | |||||
* | removed print statements | David Monniaux | 2019-05-08 | 1 | -81/+18 |
| | |||||
* | from Lustre v6 examples | David Monniaux | 2019-05-08 | 6 | -0/+1745 |
| | |||||
* | load code into I-cache | David Monniaux | 2019-05-04 | 1 | -0/+3 |
| | |||||
* | store o | David Monniaux | 2019-05-04 | 2 | -3/+3 |
| | |||||
* | [#120] - Makefile generator + replaced binary_search/Makefile : it works | Cyril SIX | 2019-05-03 | 4 | -30/+81 |
| | |||||
* | Merge branch 'mppa-work' into mppa_k1c | Cyril SIX | 2019-05-03 | 4 | -1/+57 |
|\ |