Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | +k1c target | David Monniaux | 2020-03-20 | 1 | -0/+11 |
* | apt update | David Monniaux | 2020-03-20 | 1 | -7/+10 |
* | workaround for time issues | David Monniaux | 2020-03-20 | 1 | -1/+1 |
* | fixing aarch64? | David Monniaux | 2020-03-20 | 1 | -11/+13 |
* | ia32 | David Monniaux | 2020-03-20 | 1 | -2/+2 |