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

	Commit message (Collapse)	Author	Age	Files	Lines
*	fix issue #247 by using a BTL's ghostfield	Léo Gourdin	2021-09-30	1	-4/+11
\|
*	- make non trapping loads in scheduling dependent on option (which was ↵	David Monniaux	2021-09-14	1	-1/+1
\| \| \| \| \| \|	ignored on BTL) - set this option to false, since Kalray still ships a buggy runtime system
*	[MERGE] BTL into kvx-work (replacing RTLpath)	Léo Gourdin	2021-09-01	1	-12/+205
\|
*	non-trapping loads fix	Leo Gourdin	2021-08-02	1	-3/+11
\|
*	remove todos, clean	Léo Gourdin	2021-07-28	1	-48/+22
\|
*	test ci2	Léo Gourdin	2021-07-27	1	-3/+3
\|
*	Merge branch 'BTL-SEimpl' of ↵	Léo Gourdin	2021-07-27	1	-12/+14
\|\ \| \| \| \| \| \|	gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into BTL-SEimpl
\| *	prepass act	Léo Gourdin	2021-07-27	1	-12/+14
\| \|
* \|	test non-trapping loads using CI...	Léo Gourdin	2021-07-27	1	-2/+93
\|/
*	new expansion oracle for BTL	Léo Gourdin	2021-07-20	1	-1/+3
\|
*	Fix compile on ARM/x86 backends	Léo Gourdin	2021-07-20	1	-191/+4
\|
*	BTL Scheduler oracle and some drafts	Léo Gourdin	2021-05-31	1	-1/+5
\|
*	Improvements in scheduling and renumbering BTL code	Léo Gourdin	2021-05-28	1	-4/+3
\|
*	[disabled checker] BTL Scheduling and Renumbering OK!	Léo Gourdin	2021-05-27	1	-32/+62
\|
*	a draft frontend for prepass	Léo Gourdin	2021-05-24	1	-0/+221