Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | CI test with 12.2 | Léo Gourdin | 2021-01-04 | 1 | -12/+12 |
* | Merge remote-tracking branch 'origin/aarch64-asmblockgenproof' into aarch64-p... | Léo Gourdin | 2020-12-20 | 1 | -12/+12 |
|\ | |||||
| * | CI 11.2 | Léo Gourdin | 2020-12-19 | 1 | -12/+12 |
| * | for 2010-11-18 Kalray release | David Monniaux | 2020-11-19 | 1 | -1/+1 |
* | | fix CI for x86_64 | Sylvain Boulmé | 2020-12-16 | 1 | -1/+1 |
* | | try coq.8.12.2 in the CI | Sylvain Boulmé | 2020-12-16 | 1 | -12/+12 |
* | | fix installation problems | David Monniaux | 2020-12-11 | 1 | -1/+1 |
* | | 8.11.2 partout | David Monniaux | 2020-12-11 | 1 | -10/+10 |
* | | try 8.11.2 | David Monniaux | 2020-12-11 | 1 | -1/+1 |
* | | bump Coq version in CI | David Monniaux | 2020-12-11 | 1 | -11/+11 |
* | | essai de limitation des paquets Kalray | David Monniaux | 2020-11-19 | 1 | -1/+1 |
|/ | |||||
* | 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 |