Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | autoincrement | David Monniaux | 2019-01-22 | 1 | -1/+12 | |
* | to test memcpy one day | David Monniaux | 2019-01-22 | 1 | -1/+6 | |
* | unroll loops | David Monniaux | 2019-01-22 | 1 | -0/+232 | |
* | replace array[8] by 8 variables | David Monniaux | 2019-01-22 | 1 | -0/+103 | |
* | correct measurement | David Monniaux | 2019-01-22 | 1 | -2/+17 | |
* | sha-2 benchmark works | David Monniaux | 2019-01-22 | 1 | -3/+22 | |
* | check malloc() return values | David Monniaux | 2019-01-22 | 1 | -3/+12 | |
* | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co... | David Monniaux | 2019-01-22 | 3 | -0/+21 | |
|\ | ||||||
| * | Added sxwd and zxwd support | Cyril SIX | 2019-01-22 | 3 | -0/+21 | |
* | | attribution | David Monniaux | 2019-01-22 | 1 | -0/+1 | |
|/ | ||||||
* | SHA-2 from https://github.com/amosnier/sha-2 | David Monniaux | 2019-01-22 | 6 | -0/+612 | |
* | AES | David Monniaux | 2019-01-21 | 8 | -0/+1167 | |
* | DES | David Monniaux | 2019-01-21 | 1 | -0/+500 | |
* | some more example | David Monniaux | 2019-01-19 | 5 | -1/+128 | |
* | use a prime in PRNG | David Monniaux | 2019-01-19 | 3 | -3/+3 | |
* | quicksort | David Monniaux | 2019-01-19 | 6 | -27/+138 | |
* | fixes in Makefile | David Monniaux | 2019-01-19 | 1 | -7/+1 | |
* | fix Makefile | David Monniaux | 2019-01-18 | 1 | -2/+2 | |
* | more on matrices | David Monniaux | 2019-01-18 | 3 | -5/+68 | |
* | loop transformation | David Monniaux | 2019-01-18 | 3 | -2/+50 | |
* | adjust path | David Monniaux | 2019-01-18 | 1 | -1/+1 | |
* | moved to subdirectory | David Monniaux | 2019-01-18 | 4 | -1/+1 | |
* | some unrolling | David Monniaux | 2019-01-18 | 4 | -3/+47 | |
* | fix free() bug | David Monniaux | 2019-01-18 | 1 | -0/+2 | |
* | fourth version | David Monniaux | 2019-01-18 | 3 | -2/+38 | |
* | some better experiments... | David Monniaux | 2019-01-18 | 1 | -2/+5 | |
* | clearer filenames | David Monniaux | 2019-01-18 | 1 | -13/+24 | |
* | bugfix | David Monniaux | 2019-01-17 | 1 | -1/+1 | |
* | various matrix multiplication procedures | David Monniaux | 2019-01-17 | 3 | -4/+38 | |
* | show cycle counts | David Monniaux | 2019-01-17 | 1 | -2/+44 | |
* | so that we can compare gcc and ccomp .s | David Monniaux | 2019-01-17 | 1 | -3/+6 | |
* | for testing postpass | David Monniaux | 2019-01-17 | 4 | -35/+64 | |
* | test (does not compile yet) | David Monniaux | 2019-01-17 | 2 | -0/+115 | |
* | Fixed the forvar test | Cyril SIX | 2019-01-17 | 2 | -3/+13 | |
* | Added the use of two va_list in a va_arg test | Cyril SIX | 2018-12-11 | 1 | -3/+9 | |
* | In va_arg tests, 2nd argument of va_start is now correct | Cyril SIX | 2018-12-11 | 2 | -9/+9 | |
* | Fixed div64 and mod64 | Cyril SIX | 2018-12-11 | 2 | -20/+25 | |
* | Added printf to the unitary tests for instructions | Cyril SIX | 2018-12-07 | 2 | -27/+29 | |
* | Added a printf wrapper in test/mppa/lib | Cyril SIX | 2018-12-07 | 4 | -0/+160 | |
* | Finished implementation of va_arg + testing done | Cyril SIX | 2018-11-30 | 2 | -4/+4 | |
* | Wrote some tests on va_arg, need to implement __compcert_va_int32 & cie | Cyril SIX | 2018-11-28 | 2 | -7/+467 | |
* | Added a jobs parameter to the test scripts | Cyril SIX | 2018-11-28 | 4 | -7/+13 | |
* | Added GCC-compcert call test with a very high register pressure | Cyril SIX | 2018-11-28 | 5 | -9/+212 | |
* | Added tests where GCC calls CompCert functions | Cyril SIX | 2018-11-27 | 5 | -9/+26 | |
* | Interoperability tests passed (no va_arg yet) | Cyril SIX | 2018-11-23 | 14 | -0/+355 | |
* | Fixed andd test not consistent with the rest | Cyril SIX | 2018-11-23 | 1 | -1/+1 | |
* | Mise à jour vis à vis de CompCert 3.4 | Cyril SIX | 2018-11-21 | 1 | -2/+16 | |
* | Merge tag 'v3.4' into mppa_k1c | Cyril SIX | 2018-11-21 | 17 | -65/+1166 | |
|\ | ||||||
| * | Attach _Alignas to names and refactor _Alignas checks (#133) | Bernhard Schommer | 2018-09-10 | 2 | -6/+4 | |
| * | Improve execution of regression tests | Xavier Leroy | 2018-08-24 | 4 | -16/+45 |