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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding copyrights	Cyril SIX	2020-05-04	1	-0/+12
\|
*	adapt for Icond with predicted direction	David Monniaux	2020-04-16	1	-2/+2
\|
*	begin adapting for LICM phase	David Monniaux	2020-04-01	1	-2/+2
\|
*	now able to inject on Call	David Monniaux	2020-04-01	1	-1/+1
\|
*	except for builtins, finished the proof	David Monniaux	2020-03-31	1	-1/+1
\|
*	INJnop	David Monniaux	2020-03-31	1	-0/+3
\|
*	lemma on stepping through non trapping instructions	David Monniaux	2020-03-30	1	-10/+18
\|
*	additional checks	David Monniaux	2020-03-30	1	-1/+11
\|
*	injector wrapper function	David Monniaux	2020-03-30	1	-0/+22
\|
*	use inject_l	David Monniaux	2020-03-30	1	-0/+7
\|
*	more on injection	David Monniaux	2020-03-30	1	-0/+10
\|
*	more on injection	David Monniaux	2020-03-30	1	-2/+4
\|
*	begin coding dead code injector	David Monniaux	2020-03-29	1	-0/+60