aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * machblockgen.v recursion terminaletvdd2019-02-211-535/+47
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2019-05-2025-23/+136
|\| |
| * | Premier jet de graphes de mesures (à améliorer)Cyril SIX2019-05-174-4/+97
| * | Measures to CSV doneCyril SIX2019-05-1711-4/+11
| * | Desactivating the "one instruction per bundle" failsafeCyril SIX2019-05-171-0/+3
| * | Adding more measuresCyril SIX2019-05-1712-16/+26
* | | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2019-05-177-298/+593
|\| |
| * | Merge branch 'mppa_k1c' into mppa-abstractbb-devCyril SIX2019-05-1743-64/+614
| |\ \
| * | | improving the scheduling verifier and its frameworkSylvain Boulmé2019-05-162-36/+149
| * | | Merge branch 'mppa-work' into mppa-abstractbb-devSylvain Boulmé2019-05-1648-436/+1458
| |\ \ \
| * | | | abstractbb: support of removing useless computationsSylvain Boulmé2019-05-147-299/+481
* | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-divDavid Monniaux2019-05-161-5/+18
|\ \ \ \ \ | | |_|/ / | |/| | |
| * | | | simpler code, works in 32 bitsDavid Monniaux2019-05-161-5/+18
* | | | | sdiv, smod, udiv, umod through fast routinesDavid Monniaux2019-05-161-1/+32
* | | | | umodDavid Monniaux2019-05-161-1/+33
* | | | | udivDavid Monniaux2019-05-161-1/+28
* | | | | simplify sdivDavid Monniaux2019-05-161-5/+0
* | | | | simplify sdiv codeDavid Monniaux2019-05-161-4/+1
* | | | | simplify sdiv codeDavid Monniaux2019-05-161-8/+0
* | | | | sdiv seems to work, udiv/umod/smod BOGUSDavid Monniaux2019-05-166-80/+69
|/ / / /
* | | | directly call float and double division from gcc lib instead of a stubDavid Monniaux2019-05-152-42/+2
* | | | remet les trucs dans les bons répertoiresDavid Monniaux2019-05-1524-0/+0
* | | | truly inline function as macro to trigger better instruction selectionDavid Monniaux2019-05-151-1/+6
* | | | compiled with Lustre v4David Monniaux2019-05-154-0/+512
* | | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-05-157-6/+21
|\ \ \ \
| * | | | Measures for bitslices-aes, bitsliced-tea and complex_matCyril SIX2019-05-157-6/+21
* | | | | renamingDavid Monniaux2019-05-1524-0/+0
|/ / / /
* | | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-05-156-4/+47
|\ \ \ \
| * | | | CSV file generation for benches (only binary_search for now)Cyril SIX2019-05-156-4/+47
| | |/ / | |/| |
* / | | attempt at inlining; not many cycles removedDavid Monniaux2019-05-151-9/+11
|/ / /
* | | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-05-155-33/+120
|\ \ \
| * \ \ Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-05-154-32/+17
| |\ \ \
| | * | | Added back bitslices-aesCyril SIX2019-05-154-32/+17
| * | | | detailDavid Monniaux2019-05-151-1/+1
| * | | | more lemmas on divisionDavid Monniaux2019-05-151-0/+48
| * | | | more lemmas on divisionDavid Monniaux2019-05-151-1/+55
| |/ / /
* | | | Heater example from Lustre v4David Monniaux2019-05-152-4/+18
* | | | Lustre v4 exampleDavid Monniaux2019-05-158-1/+568
* | | | example from Lustre v4 compiled with ONERA's lustrec compilerDavid Monniaux2019-05-155-0/+679
|/ / /
* / / Avancement sur la génération de Makefile des benchmarksCyril SIX2019-05-1434-409/+84
|/ /
* | some lemmas on division etc.David Monniaux2019-05-141-0/+258
* | sum with moduloDavid Monniaux2019-05-131-0/+18
* | 32-bit modulo now uses sign extend then call to the 64-bit functionDavid Monniaux2019-05-135-27/+60
* | we directly call 64-bit unsigned divisionDavid Monniaux2019-05-134-26/+24
* | begin proving that we can use 64-bit division for doing 32David Monniaux2019-05-131-0/+64
* | clock the time in heptagonDavid Monniaux2019-05-131-0/+8
* | new example + moved random number generator to common filesDavid Monniaux2019-05-1316-24/+1185
* | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-05-131-3/+16
|\ \
| * \ Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2019-05-123-64/+72
| |\ \
| * | | directly branch to certain division functions from gccDavid Monniaux2019-05-121-3/+16
generated by cgit (git 2.34.1) at 2024-07-12 05:20:48 +0000