index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
mppa_k1c
/
PostpassSchedulingproof.v
Commit message (
Expand
)
Author
Age
Files
Lines
*
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