aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* fixes in types etc.David Monniaux2019-02-024-7/+16
|
* new version of the scheduler, interface to GurobiDavid Monniaux2019-02-012-37/+96
| | | | | | | in jpeg-6b REOPTIMIZING SUCCEEDED 22 < 23 for 32 instructions REOPTIMIZING SUCCEEDED 81 < 83 for 139 instructions REOPTIMIZING SUCCEEDED 46 < 47 for 81 instructions
* Merge branch 'mppa_postpass' of ↵David Monniaux2019-02-011-10/+137
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
| * Encore de la tuyauterieCyril SIX2019-02-011-1/+91
| |
| * Proof of transf_blocks_verifiedCyril SIX2019-02-011-9/+46
| |
* | ugly hack to access _impure_thread_data (stdin, stdout, stderr...)David Monniaux2019-02-016-48/+59
| | | | | | | | it works!
* | Ugly hack to get at the k1c standard library stdin/stdout/stderrDavid Monniaux2019-02-011-1/+6
| |
* | IT WORKS !!David Monniaux2019-02-012-11/+136
| | | | | | | | (except that files that ref to stdin/stdout/stderr need to be compiled with gcc)
* | removed some switchesDavid Monniaux2019-02-012-1/+104
| |
* | fix various divisions, tail calls etc.David Monniaux2019-02-0124-5190/+5231
| |
* | it still seems to workDavid Monniaux2019-02-018-43/+59
| |
* | block tail calls etc.David Monniaux2019-02-0145-7618/+384
|/
* implemented builtin memcpyDavid Monniaux2019-02-014-98/+56
|
* Merge branch 'mppa_postpass' of ↵David Monniaux2019-01-312-38/+106
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
| * Décomposition de transf_find_bblock en lemmesCyril SIX2019-01-311-1/+22
| |
| * Adding a "check_size" in concat2Cyril SIX2019-01-311-13/+30
| |
| * Merge branch 'mppa_postpass' of ↵Sylvain Boulmé2019-01-319-0/+1517
| |\ | | | | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
| * | idee de refactoringSylvain Boulmé2019-01-311-24/+54
| | |
* | | quicksort experimentsDavid Monniaux2019-01-313-1/+587
| | |
* | | show latenciesDavid Monniaux2019-01-312-0/+38
| | |
* | | bigger matrixDavid Monniaux2019-01-311-1/+1
| |/ |/|
* | on se fait bien dépasser!David Monniaux2019-01-311-1/+1
| |
* | multiplication of matrices in a finite ringDavid Monniaux2019-01-314-0/+389
| |
* | glibc's QuicksortDavid Monniaux2019-01-314-0/+800
| |
* | modified versionDavid Monniaux2019-01-311-0/+328
|/
* hand optimizedDavid Monniaux2019-01-312-0/+691
|
* show cyclesDavid Monniaux2019-01-303-13/+20
|
* C99 7.16 mandates __bool_true_false_are_definedDavid Monniaux2019-01-301-1/+1
|
* all targetsDavid Monniaux2019-01-301-1/+3
|
* remove cruftDavid Monniaux2019-01-306-6/+6
|
* remove cruft dealing with __int128 and __threadDavid Monniaux2019-01-3011-291/+9
|
* no need for modulo and divisionDavid Monniaux2019-01-302-13/+1
|
* pour ne plus être embêtés avec le int128David Monniaux2019-01-301-1/+1
|
* no __SIZEOF_INT128__David Monniaux2019-01-301-1/+1
| | | | J'avais fait une erreur, les __SSE__ c'était quand je compilais sur x86.
* Merge branch 'mppa_postpass' of ↵David Monniaux2019-01-301-13/+57
|\ | | | | | | gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa_postpass
| * Rajouté des erreurs plus explicites dans Asmblockgen.vCyril SIX2019-01-301-13/+57
| |
* | remove preprocessor directives about SIZE_TYPE, now useless (long is now 8 ↵David Monniaux2019-01-309-8/+14
| | | | | | | | bytes like in gcc)
* | sizeof checkDavid Monniaux2019-01-301-0/+46
|/
* Rajouté -U__SSE__ -U__SSE2__ dans le ./configure pour le K1Cyril SIX2019-01-301-1/+1
|
* long types are 8 bytes nowCyril SIX2019-01-301-0/+1
|
* same format as the othersDavid Monniaux2019-01-302-10/+44
|
* bitsliced TEA from archived ↵David Monniaux2019-01-306-0/+663
| | | | http://plaintext.crypto.lo.gy/article/378/untwisted-bit-sliced-tea-time
* correct path to ccompDavid Monniaux2019-01-301-1/+1
|
* https://github.com/conorpp/bitsliced-aesDavid Monniaux2019-01-3015-0/+1920
|
* fixes in makefilesDavid Monniaux2019-01-303-39/+6
|
* synchronized with David's scheduling workDavid Monniaux2019-01-302-37/+249
|
* the state of things that workDavid Monniaux2019-01-301-2/+4
|
* blowfishDavid Monniaux2019-01-302-2/+15
|
* remove workaroundDavid Monniaux2019-01-301-4/+0
|
* no need for this anymoreDavid Monniaux2019-01-292-3/+1
|
generated by cgit (git 2.34.1) at 2024-07-12 08:46:39 +0000