compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\| \| \| \|	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
\|