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

	Commit message (Expand)	Author	Age	Files	Lines
*	experiments in division	David Monniaux	2022-02-11	2	-0/+68
*	run csmith on -O3	David Monniaux	2021-09-29	1	-1/+18
*	tests_O3	David Monniaux	2021-09-29	1	-1/+21
*	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
* \|	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	1	-4/+6
\|\
\| *	Merge branch 'csmith' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert ...	David Monniaux	2021-09-20	1	-1/+1
\| \|\
\| \| *	do 500 of them	David Monniaux	2021-09-20	1	-1/+1
\| * \|	separate wget/curl	David Monniaux	2021-09-20	1	-2/+4
\| \|/
\| *	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	2	-313/+3
\|\
\| *	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	1	-313/+0
* \|	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
* \|	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
\|/
*	division	David Monniaux	2021-06-07	2	-3/+4
*	timing	David Monniaux	2021-06-07	2	-0/+117
*	Compatibilité Coq 8.13	David Monniaux	2021-04-28	2	-0/+0
*	rm spurious files	David Monniaux	2021-04-12	39	-1705/+0
*	test profiling	David Monniaux	2021-04-12	42	-0/+1720
*	example of cmov	David Monniaux	2021-02-02	1	-0/+28
*	cmov on integers	David Monniaux	2021-02-02	1	-0/+22
*	Conditions now propagated by CSE3	David Monniaux	2021-01-20	1	-0/+11
\|\
\| *	redundant tests	David Monniaux	2020-12-09	1	-0/+11