-
Notifications
You must be signed in to change notification settings - Fork 0
/
.Regalloc.aux
67 lines (67 loc) · 2.18 KB
/
.Regalloc.aux
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
COQAUX1 13437f4fc69ae9dfca39493ae361f5c7 /home/rog0d/Escritorio/compiler_new/Regalloc.v
0 0 VernacProof "tac:no using:no"
655 659 proof_build_time "0.003"
0 0 expr_is_var_correct "0.003"
631 654 context_used ""
655 659 proof_check_time "0.001"
0 0 VernacProof "tac:no using:no"
2580 2584 proof_build_time "0.001"
0 0 agree_mon "0.001"
2574 2579 context_used ""
2580 2584 proof_check_time "0.000"
0 0 VernacProof "tac:no using:no"
2755 2759 proof_build_time "0.001"
0 0 agree_extensional "0.001"
2724 2754 context_used ""
2755 2759 proof_check_time "0.000"
0 0 VernacProof "tac:no using:no"
3369 3373 proof_build_time "0.248"
0 0 aeval_agree "0.248"
3345 3368 context_used ""
3369 3373 proof_check_time "0.014"
0 0 VernacProof "tac:no using:no"
3803 3807 proof_build_time "0.181"
0 0 beval_agree "0.181"
3779 3802 context_used ""
3803 3807 proof_check_time "0.054"
0 0 VernacProof "tac:no using:no"
4160 4164 proof_build_time "0.002"
0 0 agree_update_dead "0.002"
4145 4159 context_used ""
4160 4164 proof_check_time "0.000"
0 0 VernacProof "tac:no using:no"
4920 4924 proof_build_time "0.004"
0 0 agree_update_live "0.004"
4914 4919 context_used ""
4920 4924 proof_check_time "0.001"
0 0 VernacProof "tac:no using:no"
6075 6079 proof_build_time "0.066"
0 0 agree_update_move "0.066"
6069 6074 context_used ""
6075 6079 proof_check_time "0.003"
0 0 VernacProof "tac:no using:no"
6710 6714 proof_build_time "0.002"
0 0 agree_update_coalesced_move "0.002"
6704 6709 context_used ""
6710 6714 proof_check_time "0.000"
0 0 VernacProof "tac:no using:no"
8339 8343 proof_build_time "0.007"
0 0 correct_allocation_assign_1 "0.007"
8305 8337 context_used ""
8339 8343 proof_check_time "0.001"
0 0 VernacProof "tac:no using:no"
8916 8920 proof_build_time "0.004"
0 0 correct_allocation_assign_2 "0.004"
8882 8914 context_used ""
8916 8920 proof_check_time "0.001"
0 0 VernacProof "tac:no using:no"
12465 12469 proof_build_time "0.305"
0 0 transf_correct_terminating "0.305"
12459 12464 context_used ""
12465 12469 proof_check_time "0.036"
0 0 VernacProof "tac:no using:no"
14301 14305 proof_build_time "0.161"
0 0 transf_correct_diverging "0.161"
14295 14300 context_used ""
14301 14305 proof_check_time "0.026"
0 0 vo_compile_time "1.406"