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

	Commit message (Expand)	Author	Age	Files	Lines
...
\| * \| \| \|	fix Makefile for not remaking the generator	David Monniaux	2020-03-28	1	-13/+13
\| * \| \| \|	set up for autogeneration of yarpgen	David Monniaux	2020-03-28	1	-7/+22
\| * \| \| \|	cleaner make invocation	David Monniaux	2020-03-28	1	-5/+5
\| * \| \| \|	Makefile for CI	David Monniaux	2020-03-28	2	-24/+93
\| * \| \| \|	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
\| * \| \| \|	+x	David Monniaux	2020-03-27	1	-0/+0
\| * \| \| \|	temporarily disable raytracer test on ARM	David Monniaux	2020-03-27	1	-1/+1
\| * \| \| \|	more config	David Monniaux	2020-03-27	2	-2/+24
\| * \| \| \|	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	2	-3/+3
\| * \| \| \|	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
\| * \| \| \|	disable some tests	David Monniaux	2020-03-27	1	-4/+4
\| * \| \| \|	fix issues in Mandelbrot due to modifications in the source code	David Monniaux	2020-03-27	1	-2/+0
\| * \| \| \|	fix broken test Makefile	David Monniaux	2020-03-27	2	-1/+10
\| \|/ / /
\| * \| \|	Merge branch 'dm-leaf' of https://github.com/monniaux/CompCert into mppa-work	David Monniaux	2020-03-26	4	-234/+544
\| \|\\| \|
\| \| * \|	RA is preserved	David Monniaux	2020-03-25	2	-18/+36
\| \| * \|	proof forward	David Monniaux	2020-03-25	1	-1/+4
\| \| * \|	proof forward	David Monniaux	2020-03-25	1	-5/+15
\| \| * \|	proof forward	David Monniaux	2020-03-25	1	-6/+24
\| \| * \|	Asmgenproof1	David Monniaux	2020-03-24	1	-1/+3
\| \| * \|	transl_addressing_correct	David Monniaux	2020-03-24	1	-4/+9
\| \| * \|	transl_op_correct	David Monniaux	2020-03-24	1	-10/+14
\| \| * \|	transl_cond	David Monniaux	2020-03-24	1	-143/+332
\| \| * \|	progress in proofs about RA	David Monniaux	2020-03-24	2	-36/+92
\| \| * \|	exec_straight_steps	David Monniaux	2020-03-24	1	-5/+7
\| \| \|/
\| \| *	Include typedef name in error message (#228)	Bernhard Schommer	2020-03-04	1	-2/+2
\| \| *	Update the RISC-V calling conventions, continued (#227)	Xavier Leroy	2020-03-02	1	-7/+10
\| * \|	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
\| * \|	with several jobs	David Monniaux	2020-03-20	1	-14/+8
\| * \|	fix spelling	David Monniaux	2020-03-20	1	-1/+1
\| * \|	more architectures	David Monniaux	2020-03-20	1	-0/+77
\| * \|	fix COMPILER_EDGE	David Monniaux	2020-03-20	1	-1/+1
\| * \|	fix opam config env	David Monniaux	2020-03-20	1	-1/+2
\| * \|	use later ocaml compiler	David Monniaux	2020-03-20	1	-0/+1
\| * \|	fix syntax	David Monniaux	2020-03-20	1	-2/+2
\| * \|	fix YAML syntax	David Monniaux	2020-03-20	1	-2/+2
\| * \|	essai d'intégration continue	David Monniaux	2020-03-20	1	-0/+11