Commit message (Collapse) | 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 |
| | | | | remove -k | ||||
* | 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 |
| | | | | https://github.com/AbsInt/CompCert/issues/342 | ||||
* | 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 |
| |