| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | remove tests wrt host | David Monniaux | 2020-03-28 | 2 | -2/+2 |
| * | Debian is not like Ubuntu on multilib! | David Monniaux | 2020-03-28 | 1 | -1/+1 |
| * | yet another problem with 32-bit arm | David Monniaux | 2020-03-28 | 1 | -1/+1 |
| * | fixup for arm | David Monniaux | 2020-03-28 | 1 | -1/+1 |
| * | enlarge stack size | David Monniaux | 2020-03-28 | 1 | -5/+5 |
| * | Merge branch 'mppa-ci' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert... | David Monniaux | 2020-03-28 | 0 | -0/+0 |
| |\ | |||||
| | * | rm yarpgen on arm | David Monniaux | 2020-03-28 | 1 | -1/+1 |
| * | | run also on IA32 | David Monniaux | 2020-03-28 | 1 | -4/+4 |
| * | | run yarpgen correctly on arm | David Monniaux | 2020-03-28 | 2 | -4/+12 |
| |/ | |||||
| * | limit due to stack overflows | David Monniaux | 2020-03-28 | 1 | -1/+1 |
| * | more fixes for CI | David Monniaux | 2020-03-28 | 2 | -3/+3 |
| * | run yarpgen on other architectures | David Monniaux | 2020-03-28 | 1 | -0/+4 |
| * | fix inconsistency | David Monniaux | 2020-03-28 | 1 | -8/+7 |
| * | better assemble with gcc | David Monniaux | 2020-03-28 | 1 | -2/+3 |
| * | fix limitxy | David Monniaux | 2020-03-28 | 1 | -1/+1 |
| * | stdlib path | David Monniaux | 2020-03-28 | 1 | -3/+5 |
| * | run yarpgen test on aarch64 | David Monniaux | 2020-03-28 | 1 | -1/+2 |
| * | some more Makefile fixes (disable cse2 it's too slow) | David Monniaux | 2020-03-28 | 1 | -1/+1 |
| * | fix targets for proper generation | David Monniaux | 2020-03-28 | 1 | -2/+5 |
| * | fix Makefile (again) | David Monniaux | 2020-03-28 | 1 | -9/+10 |
| * | fix Makefile for not remaking the generator | David Monniaux | 2020-03-28 | 1 | -13/+13 |
| * | set up for autogeneration of yarpgen | David Monniaux | 2020-03-28 | 1 | -7/+22 |
| * | cleaner make invocation | David Monniaux | 2020-03-28 | 1 | -5/+5 |
| * | Makefile for CI | David Monniaux | 2020-03-28 | 2 | -24/+93 |
| * | we still need a ppc64 compiler | David Monniaux | 2020-03-27 | 1 | -0/+1 |
| * | disable testing on ppc64 | David Monniaux | 2020-03-27 | 1 | -2/+0 |
| * | +x | David Monniaux | 2020-03-27 | 1 | -0/+0 |
| * | temporarily disable raytracer test on ARM | David Monniaux | 2020-03-27 | 1 | -1/+1 |
| * | more config | David Monniaux | 2020-03-27 | 2 | -2/+24 |
| * | fixes | David Monniaux | 2020-03-27 | 1 | -1/+0 |
| * | various fixes for multilib | David Monniaux | 2020-03-27 | 1 | -1/+2 |
| * | fix config for K1C PPC RV32 for CI | David Monniaux | 2020-03-27 | 2 | -3/+3 |
| * | wrong line | David Monniaux | 2020-03-27 | 1 | -1/+1 |
| * | build and execute tests on other architectures than aarch64 | David Monniaux | 2020-03-27 | 1 | -4/+11 |
| * | call standard qemu not mine! | David Monniaux | 2020-03-27 | 1 | -1/+1 |
| * | do not use binfmt | David Monniaux | 2020-03-27 | 1 | -2/+2 |
| * | run tests on aarch64 | David Monniaux | 2020-03-27 | 1 | -1/+2 |
| * | disable some tests | David Monniaux | 2020-03-27 | 1 | -4/+4 |
| * | fix issues in Mandelbrot due to modifications in the source code | David Monniaux | 2020-03-27 | 1 | -2/+0 |
| * | fix broken test Makefile | David Monniaux | 2020-03-27 | 2 | -1/+10 |
| * | Merge branch 'dm-leaf' of https://github.com/monniaux/CompCert into mppa-work | David Monniaux | 2020-03-26 | 4 | -234/+544 |
| |\ | |||||
| | * | RA is preserved | David Monniaux | 2020-03-25 | 2 | -18/+36 |
| | * | proof forward | David Monniaux | 2020-03-25 | 1 | -1/+4 |
| | * | proof forward | David Monniaux | 2020-03-25 | 1 | -5/+15 |
| | * | proof forward | David Monniaux | 2020-03-25 | 1 | -6/+24 |
| | * | Asmgenproof1 | David Monniaux | 2020-03-24 | 1 | -1/+3 |
| | * | transl_addressing_correct | David Monniaux | 2020-03-24 | 1 | -4/+9 |
| | * | transl_op_correct | David Monniaux | 2020-03-24 | 1 | -10/+14 |
| | * | transl_cond | David Monniaux | 2020-03-24 | 1 | -143/+332 |
| | * | progress in proofs about RA | David Monniaux | 2020-03-24 | 2 | -36/+92 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |