Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
| * | Harden the extasm.c test, continued | Xavier Leroy | 2018-08-20 | 2 | -5/+5 |
| * | Harden the extasm.c test | Xavier Leroy | 2018-08-20 | 2 | -2/+7 |
| * | Issue with packed structs and sizeof, alignof, offsetof in cparser/ | Xavier Leroy | 2018-08-17 | 3 | -6/+60 |
| * | Clean .foo.aux files created by coqc | Xavier Leroy | 2018-07-10 | 1 | -1/+1 |
| * | Remove the `_Alignas(expr)` construct (#125) | Xavier Leroy | 2018-06-07 | 2 | -36/+32 |