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

	Commit message (Expand)	Author	Age	Files	Lines
*	Refactorisation des load et des store	Cyril SIX	2019-03-08	1	-3/+3
*	Refactorized Asmblock exec_basic_instr	Cyril SIX	2019-03-08	1	-1/+1
*	No more axiom remaining in PostpassScheduling.v (but still a couple remaining...	Cyril SIX	2019-03-05	1	-12/+0
*	Proving the trans_block_header axioms	Cyril SIX	2019-02-27	1	-672/+672
*	Proving verify_schedule_correct with axioms	Cyril SIX	2019-02-14	1	-14/+0
*	Added Ointofsingle + floatconv unit test	Cyril SIX	2019-02-12	1	-1/+1
*	Added Osingleofint	Cyril SIX	2019-02-12	1	-2/+5
*	Minor refactorization	Cyril SIX	2019-02-12	1	-12/+0
*	Proof of axiom verified_schedule_header	Cyril SIX	2019-02-12	1	-59/+0
*	Proving the axiom verified_schedule_single_inst	Cyril SIX	2019-02-12	1	-2/+0
*	Proving verified_schedule_size axiom	Cyril SIX	2019-02-11	1	-5/+0
*	Un peu de refactorisation	Cyril SIX	2019-02-07	1	-60/+2
*	Removing the low_half axiom	Cyril SIX	2019-02-05	1	-8/+3
*	Preuves (en dehors du verified_schedule) terminées dans PostpassSchedulingproof	Cyril SIX	2019-02-04	1	-6/+44
*	Proof of transf_exec_control \o/	Cyril SIX	2019-02-04	1	-2/+5
*	Proof of label_pos related things in PostpassSchedulingproof	Cyril SIX	2019-02-04	1	-15/+104
*	Encore de la tuyauterie	Cyril SIX	2019-02-01	1	-1/+91
*	Proof of transf_blocks_verified	Cyril SIX	2019-02-01	1	-9/+46
*	Décomposition de transf_find_bblock en lemmes	Cyril SIX	2019-01-31	1	-1/+22
*	Adding a "check_size" in concat2	Cyril SIX	2019-01-31	1	-13/+30
*	Hypothèses de pc_set_add permettant de prouver le lemme	Cyril SIX	2019-01-29	1	-19/+26
*	Avancement sur exec_basic_instr_pcvar + exec_load et exec_store prennent des ...	Cyril SIX	2019-01-29	1	-33/+132
*	Avancement PostpassSchedulingproof	Cyril SIX	2019-01-25	1	-5/+69
*	Progrès dans PostpassSchedulingproof	Cyril SIX	2019-01-25	1	-6/+46
*	Un peu d'avancement sur PostpassSchedulingproof	Cyril SIX	2019-01-24	1	-9/+27
*	Cleaning dans PostpassSchedulingproof	Cyril SIX	2019-01-23	1	-43/+20
*	3ème cas de transf_step_correct de PostpassSchedulingproof fini	Cyril SIX	2019-01-23	1	-5/+6
*	Proof of builtin case for transf_step_correct in PostpassSchedulingproof	Cyril SIX	2019-01-23	1	-1/+25
*	Adding a predicate that a builtin must be alone in its basicblock	Cyril SIX	2019-01-23	1	-7/+23
*	Changement de modèle de preuve pour le 1er cas du tranf_step_correct de Post...	Cyril SIX	2019-01-23	1	-14/+47
*	Léger avancement PostpassSchedulingproof.v	Cyril SIX	2019-01-22	1	-1/+7
*	Un poil d'avancement sur PostpassSchedulingproof.v. Corrections à faire sur ...	Cyril SIX	2019-01-21	1	-1/+47
*	Generalizing PostpassScheduling to include bblock splitting	Cyril SIX	2018-12-05	1	-25/+72
*	Renaming PostpassSchedulingProof -> PostpassSchedulingproof	Cyril SIX	2018-12-05	1	-0/+163