| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | larger stack size for yarpgen 89 | David Monniaux | 2020-10-15 | 1 | -1/+1 |
| * | kvx-work now has CI automatically | David Monniaux | 2020-07-28 | 1 | -11/+11 |
| * | let's try directly OCaml 4.09.1 | David Monniaux | 2020-07-28 | 1 | -22/+11 |
| * | try to get gitlab-CI to use Coq 8.11.2 not 8.12 | David Monniaux | 2020-07-28 | 1 | -2/+1 |
| * | fix Coq to 8.11.2 for CI | David Monniaux | 2020-07-28 | 1 | -1/+1 |
| * | automatic date in the html index | Sylvain Boulmé | 2020-05-28 | 1 | -3/+4 |
| * | source url in the doc | Sylvain Boulmé | 2020-05-27 | 1 | -0/+3 |
| * | fix pages ? | Sylvain Boulmé | 2020-05-27 | 1 | -1/+2 |
| * | add coq2html for pages | Sylvain Boulmé | 2020-05-27 | 1 | -0/+2 |
| * | gitlab-ci.yml: inherit keyword does not work ? | Sylvain Boulmé | 2020-05-27 | 1 | -2/+12 |
| * | pages: make documentation | Sylvain Boulmé | 2020-05-27 | 1 | -1/+5 |
| * | fix pages ? | Sylvain Boulmé | 2020-05-27 | 1 | -0/+1 |
| * | basic pages configuration | Sylvain Boulmé | 2020-05-27 | 1 | -0/+9 |
| * | opam update | David Monniaux | 2020-05-27 | 1 | -0/+11 |
| * | install extra packages | David Monniaux | 2020-05-27 | 1 | -2/+2 |
| * | download/untar from Kalray | David Monniaux | 2020-05-27 | 1 | -1/+1 |
| * | CI for KVX | David Monniaux | 2020-05-27 | 1 | -2/+10 |
| * | k1c -> kvx changes | David Monniaux | 2020-05-26 | 1 | -13/+13 |
| * | 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 |
| * | 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 | 1 | -2/+26 |
| * | use gcc -m32 on ia32 | David Monniaux | 2020-03-28 | 1 | -1/+1 |
| * | remove tests wrt host | David Monniaux | 2020-03-28 | 1 | -1/+1 |
| * | 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 |
| * | enlarge stack size | David Monniaux | 2020-03-28 | 1 | -5/+5 |
| * | run also on IA32 | David Monniaux | 2020-03-28 | 1 | -4/+4 |
| * | run yarpgen correctly on arm | David Monniaux | 2020-03-28 | 1 | -1/+1 |
| * | more fixes for CI | David Monniaux | 2020-03-28 | 1 | -2/+2 |
| * | run yarpgen on other architectures | David Monniaux | 2020-03-28 | 1 | -0/+4 |
| * | run yarpgen test on aarch64 | David Monniaux | 2020-03-28 | 1 | -1/+2 |
| * | cleaner make invocation | David Monniaux | 2020-03-28 | 1 | -5/+5 |
| * | 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 |
| * | temporarily disable raytracer test on ARM | David Monniaux | 2020-03-27 | 1 | -1/+1 |
| * | more config | David Monniaux | 2020-03-27 | 1 | -2/+23 |
| * | 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 | 1 | -2/+2 |
| * | 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 |
| * | essai d'avoir le pipeline en manuel OU sur certaines branches | David Monniaux | 2020-03-21 | 1 | -31/+64 |
| * | tentative pour n'avoir le gitlab-ci que sur mppa-work, mppa-k1c et master | David Monniaux | 2020-03-21 | 1 | -0/+31 |
| * | la lib standard ne passe pas en rv32, ne pas la tester en CI | David Monniaux | 2020-03-20 | 1 | -1/+1 |
 |
index : compcert-kvx | |
| Unnamed repository; edit this file 'description' to name the repository. |
| aboutsummaryrefslogtreecommitdiffstats |
path: root/.gitlab-ci.yml