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

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	MBcond false proven (modulo change needed in Asmblockgenproof1)	Cyril SIX	2018-11-07	1	-5/+5
\|
*	MBcond true proved (but a small change needs to be done to Asmblockgenproof1)	Cyril SIX	2018-11-06	1	-24/+35
\|
*	Début de MBcond	Cyril SIX	2018-11-05	1	-60/+64
\|
*	MBtailcall proof	Cyril SIX	2018-10-29	1	-12/+8
\|
*	Changing exec_straight to allow all instructions (prepare for MBtailcall proof)	Cyril SIX	2018-10-26	1	-15/+17
\|
*	MBgetparam done!	Cyril SIX	2018-10-24	1	-5/+3
\|
*	MBsetstack done!	Cyril SIX	2018-10-24	1	-26/+17
\|
*	Avancement dans le cas MBgetstack du step_simu_basic	Cyril SIX	2018-10-18	1	-5/+6
\|
*	Preuve du internal_function (step_simulation)	Cyril SIX	2018-09-28	1	-6/+7
\|
*	storeind_ptr_correct un peu d'avancée	Cyril SIX	2018-09-27	1	-15/+29
\|
*	Enlèvement du "no_builtin" condition; exec_control sur les option control; ↵	Cyril SIX	2018-09-26	1	-10/+17
\| \| \| \|	exec_straight_blocks
*	AB: removing bregs	Cyril SIX	2018-09-26	1	-3/+3
\|
*	MB2AB - Adding Asmblockgenproof1.v	Cyril SIX	2018-09-26	1	-0/+1595