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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10	David Monniaux	2021-09-24	14	-34/+444
\|\
\| *	clightgen: handle empty names given to padding bit fields	Xavier Leroy	2021-09-15	1	-0/+13
\| *	Native support for bit fields (#400)	Xavier Leroy	2021-08-22	13	-34/+431
\| *	Elab bitfields: check size of type <=32bit rather than checking rank (#387)	Amos Robinson	2021-04-19	3	-1/+24
* \|	fix for running x86-64	David Monniaux	2021-09-23	1	-2/+2
* \|	try with even more stack	David Monniaux	2021-09-23	1	-1/+1
* \|	Merge branch 'csmith' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert ...	David Monniaux	2021-09-22	1	-4/+5
\|\ \
\| * \|	attempt at printing stuff	David Monniaux	2021-09-21	1	-4/+5
* \| \|	csmith \| creduce breaks on RISC-V 64	David Monniaux	2021-09-22	1	-0/+36
* \| \|	fix typo	David Monniaux	2021-09-21	1	-1/+1
* \| \|	grep for ASAN errors	David Monniaux	2021-09-21	1	-5/+9
* \| \|	do not allow arbitrary conversions	David Monniaux	2021-09-21	1	-4/+4
\|/ /
* \|	no packed struct	David Monniaux	2021-09-21	1	-1/+1
* \|	Merge branch 'csmith' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert ...	David Monniaux	2021-09-21	2	-3/+3
\|\ \
\| * \|	-Werror	David Monniaux	2021-09-21	1	-1/+1
\| * \|	wrong curl command	David Monniaux	2021-09-20	1	-1/+1
\| * \|	Merge branch 'csmith' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert ...	David Monniaux	2021-09-20	1	-5/+5
\| \|\ \
\| * \| \|	don't use unions	David Monniaux	2021-09-20	1	-1/+1
* \| \| \|	better test	David Monniaux	2021-09-20	1	-3/+8
\| \|/ / \|/\| \|
* \| \|	keep only checksum	David Monniaux	2021-09-20	1	-5/+5
\|/ /
* \|	Merge branch 'csmith' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert ...	David Monniaux	2021-09-20	2	-4/+15
\|\ \
\| * \	Merge branch 'csmith' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert ...	David Monniaux	2021-09-20	1	-1/+1
\| \|\ \
\| \| * \	Merge branch 'csmith' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert ...	David Monniaux	2021-09-20	1	-0/+9
\| \| \|\ \
\| \| * \| \|	do 500 of them	David Monniaux	2021-09-20	1	-1/+1
\| * \| \| \|	separate wget/curl	David Monniaux	2021-09-20	1	-2/+4
\| \| \|/ / \| \|/\| \|
\| * \| \|	fix issue 244	Léo Gourdin	2021-09-19	1	-0/+9
\| \|/ /
\| * \|	fix for x86-64	David Monniaux	2021-09-18	1	-1/+1
\| * \|	reduce number of csmith tests	David Monniaux	2021-09-18	1	-1/+1
* \| \|	better predicate	David Monniaux	2021-09-20	1	-4/+4
* \| \|	use clang, better error reporting	David Monniaux	2021-09-20	1	-3/+3
* \| \|	RiscV	David Monniaux	2021-09-19	1	-3/+3
* \| \|	fix script to answer 0 if differences	David Monniaux	2021-09-19	1	-1/+4
* \| \|	creduce scripts	David Monniaux	2021-09-19	2	-0/+40
\|/ /
* \|	target cc	David Monniaux	2021-09-17	1	-1/+4
* \|	some csmith tests	David Monniaux	2021-09-17	1	-4/+9
* \|	Merge remote-tracking branch 'origin/kvx-work' into csmith	David Monniaux	2021-09-17	4	-1/+5
\|\ \
\| * \|	Select condition x < 0 with x unsigned leads to falsev3.9_kvx_fix1	David Monniaux	2021-09-17	1	-0/+3
\| * \|	test for many parameters	David Monniaux	2021-09-17	3	-1/+2
* \| \|	Merge remote-tracking branch 'origin/kvx-work' into csmith	David Monniaux	2021-09-17	1	-0/+313
\|\\| \|
\| * \|	many parameters	David Monniaux	2021-09-17	1	-0/+313
* \| \|	test from csmith	Léo Gourdin	2021-09-15	1	-0/+11
* \| \|	bump number of tests	David Monniaux	2021-09-13	1	-1/+1
* \| \|	it now downloads csmith	David Monniaux	2021-09-13	1	-2/+9
* \| \|	seems to work	David Monniaux	2021-09-13	1	-5/+6
* \| \|	bump ocaml version	David Monniaux	2021-09-13	2	-1/+24
* \| \|	Makefile for csmith	David Monniaux	2021-09-13	1	-16/+73
\|/ /
* \|	Make prepass scheduling sensitive to register pressure, by Nicolas Nardino.	David Monniaux	2021-07-16	3	-0/+299
* \|	push afadl test example	Léo Gourdin	2021-06-09	2	-0/+21
* \|	division	David Monniaux	2021-06-07	2	-3/+4
* \|	timing	David Monniaux	2021-06-07	2	-0/+117