Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | |
| * | Don't depend on ../../clightgen | Xavier Leroy | 2018-06-02 | 1 | -3/+3 | |
| * | Add tests for clightgen | Xavier Leroy | 2018-06-01 | 5 | -0/+985 | |
| * | Initialization of anonymous bit-fields in structs | Xavier Leroy | 2018-04-25 | 1 | -0/+1 | |
| * | Initialization of union bit fields | Xavier Leroy | 2018-04-25 | 2 | -0/+33 | |
* | | Merge branch 'mppa_asmbloc_nobreg' into mppa_k1c | Cyril SIX | 2018-11-14 | 84 | -353/+499 | |
|\ \ | ||||||
| * | | Updated Sort Makefile + fixed compilation command bug | Cyril SIX | 2018-11-14 | 5 | -62/+123 | |
| * | | Changed mmult to avoid recomputing + fixed potential source of bug in instr | Cyril SIX | 2018-11-13 | 3 | -21/+39 |