Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | keep the .s files | David Monniaux | 2019-06-04 | 1 | -0/+2 |
| | |||||
* | remove old "ternary" stuff | David Monniaux | 2019-06-04 | 5 | -47/+10 |
| | |||||
* | use all same exact include filesv3.5_k1c_1.2 | David Monniaux | 2019-06-03 | 1 | -11/+8 |
| | |||||
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-cos | David Monniaux | 2019-05-30 | 1 | -0/+4 |
|\ | |||||
| * | Merge remote-tracking branch 'origin/mppa-msub' into mppa-work | David Monniaux | 2019-05-30 | 2 | -1/+5 |
| |\ | | | | | | | | | | | | | Conflicts: mppa_k1c/ExtValues.v | ||||
| | * | begin generating Prevsub etc. from Oxxx to Pxxx | David Monniaux | 2019-05-11 | 1 | -1/+1 |
| | | | |||||
* | | | Merge branch 'mppa-cos' of ↵ | David Monniaux | 2019-05-30 | 1 | -2/+3 |
|\ \ \ | | | | | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-cos | ||||
| * | | | make -j20 instead of xargs -P4 + make -j5 | Cyril SIX | 2019-05-29 | 1 | -2/+3 |
| | | | | |||||
* | | | | take other measurements | David Monniaux | 2019-05-29 | 2 | -2/+2 |
|/ / / | |||||
* | | | 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 |
|\| | | |||||
| * | | 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 |
| | | | |||||
* | | | adaptation pour k1c-cos | David Monniaux | 2019-05-28 | 11 | -348/+16 |
|/ / | |||||
* | | Better graphs | Cyril SIX | 2019-05-21 | 1 | -37/+41 |
| | | |||||
* | | 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 |
| | | |||||
* | | 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 |
| | | |||||
* | | simpler code, works in 32 bits | David Monniaux | 2019-05-16 | 1 | -5/+18 |
| | | |||||
* | | 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 |
| |