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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge branch 'csmith' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert ...	David Monniaux	2021-09-20	4	-5/+17
\|\
\| *	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	3	-1/+11
\| \| \|\
\| \| * \|	do 500 of them	David Monniaux	2021-09-20	1	-1/+1
\| * \| \|	separate wget/curl	David Monniaux	2021-09-20	1	-2/+4
\| \| \|/ \| \|/\|
\| * \|	Merge branch 'csmith' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert ...	David Monniaux	2021-09-20	3	-2/+12
\| \|\ \
\| \| * \|	fix issue 244	Léo Gourdin	2021-09-19	2	-0/+10
\| \| \|/
\| \| *	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
\| * \|	use large stacksize on KVX	David Monniaux	2021-09-20	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	6	-15/+143
\|\
\| *	Select condition x < 0 with x unsigned leads to falsev3.9_kvx_fix1	David Monniaux	2021-09-17	3	-14/+141
\| *	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	4	-4/+339
\|\\|
\| *	FIX CODEGEN BUG Pallocframe	David Monniaux	2021-09-17	1	-1/+1
\| *	many parameters	David Monniaux	2021-09-17	1	-0/+313
\| *	reachable	David Monniaux	2021-09-16	1	-1/+1
\| *	bump OCaml version in CI	David Monniaux	2021-09-15	1	-13/+13
\| *	Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...	David Monniaux	2021-09-15	2	-4/+4
\| \|\
* \| \|	test from csmith	Léo Gourdin	2021-09-15	1	-0/+11
* \| \|	Merge branch 'kvx-work' into csmith	Léo Gourdin	2021-09-15	2	-4/+4
\|\ \ \ \| \| \|/ \| \|/\|
\| * \|	fix bug from issue 239	Léo Gourdin	2021-09-15	1	-0/+2
\| * \|	test opweights rem	Léo Gourdin	2021-09-15	1	-4/+2
* \| \|	- make non trapping loads in scheduling dependent on option (which was ignore...	David Monniaux	2021-09-14	2	-2/+2
* \| \|	bump number of tests	David Monniaux	2021-09-13	1	-1/+1
* \| \|	rm csmith package	David Monniaux	2021-09-13	1	-1/+1
* \| \|	timeouts	David Monniaux	2021-09-13	1	-13/+13
* \| \|	it now downloads csmith	David Monniaux	2021-09-13	1	-2/+9
* \| \|	seems to work	David Monniaux	2021-09-13	1	-5/+6
* \| \|	fix gitlabciml	David Monniaux	2021-09-13	1	-1/+47
* \| \|	yamllint	David Monniaux	2021-09-13	1	-4/+4
* \| \|	bump ocaml version	David Monniaux	2021-09-13	3	-12/+35
* \| \|	install csmith	David Monniaux	2021-09-13	1	-76/+8
* \| \|	other targets	David Monniaux	2021-09-13	1	-4/+12
* \| \|	Makefile for csmith	David Monniaux	2021-09-13	1	-16/+73
\| \|/ \|/\|
* \|	Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...	David Monniaux	2021-09-13	1	-2/+2
\|\\|
\| *	Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCer...	Léo Gourdin	2021-09-13	1	-2/+2
\| \|\
\| * \|	update weights FU74...	Léo Gourdin	2021-09-13	1	-2/+2
* \| \|	coqchk -o	David Monniaux	2021-09-11	1	-1/+1
\| \|/ \|/\|
* \|	rocket is default choice	David Monniaux	2021-09-10	1	-1/+1
* \|	option compatible avec gcc	David Monniaux	2021-09-10	1	-1/+1
\|/
*	new weights for FU74	Léo Gourdin	2021-09-10	1	-1/+140
*	test under coq 8.13.2	David Monniaux	2021-09-02	1	-0/+23