Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix cutrewrite deprecated | Cyril SIX | 2020-04-01 | 1 | -3/+4 |
* | Removing 8.8.* versions of coq in configure | Cyril SIX | 2020-04-01 | 1 | -1/+1 |
* | do not run check-admitted always | David Monniaux | 2020-03-31 | 1 | -0/+8 |
* | move check-admitted elsewhere | David Monniaux | 2020-03-31 | 1 | -2/+6 |
* | forgot image | David Monniaux | 2020-03-31 | 1 | -0/+1 |
* | add check-admitted | David Monniaux | 2020-03-31 | 1 | -0/+6 |
* | forgot an 'Admitted' | David Monniaux | 2020-03-31 | 1 | -1/+1 |
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-cse2 | David Monniaux | 2020-03-31 | 28 | -380/+1194 |
|\ | |||||
| * | fix typo in hf | David Monniaux | 2020-03-29 | 1 | -1/+1 |
| * | fix mismatch between hardware FP and software FP on ARM | David Monniaux | 2020-03-29 | 3 | -3/+28 |
| * | Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe... | David Monniaux | 2020-03-28 | 3 | -5/+44 |
| |\ | |||||
| | * | fix Makefile | David Monniaux | 2020-03-28 | 1 | -17/+0 |
| | * | More Yarpgen | David Monniaux | 2020-03-28 | 2 | -5/+30 |
| | * | Run Yarpgen in CI | David Monniaux | 2020-03-28 | 3 | -47/+142 |
| | * | disable leaf function removal of return address restoration due to memcpy ove... | David Monniaux | 2020-03-27 | 3 | -7/+13 |
| | * | Run tests on various targets in addition to compiling | David Monniaux | 2020-03-27 | 7 | -13/+49 |
| | * | Merge branch 'dm-leaf' of https://github.com/monniaux/CompCert into mppa-work | David Monniaux | 2020-03-27 | 3 | -5/+38 |
| | |\ | |||||
| | | * | better epilogue proof | David Monniaux | 2020-03-25 | 1 | -8/+18 |
| | | * | removed RA restoration | David Monniaux | 2020-03-25 | 3 | -4/+27 |
| * | | | remove host .s generation | David Monniaux | 2020-03-28 | 1 | -1/+1 |
| * | | | use gcc -m32 on ia32 | David Monniaux | 2020-03-28 | 1 | -1/+1 |
| * | | | 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 |