forked from Certora/Secureum_Staking_Rewards
-
Notifications
You must be signed in to change notification settings - Fork 0
/
.certora_recent_jobs.json
94 lines (94 loc) · 4.87 KB
/
.certora_recent_jobs.json
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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
{
"/home/shame/secureum-workshops/Secureum_Staking_Rewards": [
{
"anonymous_key": "112d3738326cdeb30f43e32327bbf2316d0cb76f",
"domain": "https://prover.certora.com",
"job_id": "0ba8852673cb48039d5d9ca52d6c212c",
"notify_msg": "StakingRewards -- run all",
"output_url": "https://prover.certora.com/output/11166/0ba8852673cb48039d5d9ca52d6c212c?anonymousKey=112d3738326cdeb30f43e32327bbf2316d0cb76f",
"time": 1678893781,
"user_id": "11166"
},
{
"anonymous_key": "56ea2ecdbf1d13439aaf036882297ec9b344d9c7",
"domain": "https://prover.certora.com",
"job_id": "29b4de2d20bb4474b87981febf3a9d1d",
"notify_msg": "StakingRewards -- run all",
"output_url": "https://prover.certora.com/output/11166/29b4de2d20bb4474b87981febf3a9d1d?anonymousKey=56ea2ecdbf1d13439aaf036882297ec9b344d9c7",
"time": 1678892805,
"user_id": "11166"
},
{
"anonymous_key": "12d2fcbedb7b0a91bf73df3ad50ccd49ffd2d3ea",
"domain": "https://prover.certora.com",
"job_id": "eb499aa5db884210b9db69e356cf01ad",
"notify_msg": "StakingRewards updatedAtInThePastInvariant -- ",
"output_url": "https://prover.certora.com/output/11166/eb499aa5db884210b9db69e356cf01ad?anonymousKey=12d2fcbedb7b0a91bf73df3ad50ccd49ffd2d3ea",
"time": 1678892395,
"user_id": "11166"
},
{
"anonymous_key": "6c011a12d3e9b3c19628d0c570594827a0b0bc6e",
"domain": "https://prover.certora.com",
"job_id": "a2a60d8e9e004bb3b2d06c761cd13735",
"notify_msg": "StakingRewards -- run all",
"output_url": "https://prover.certora.com/output/11166/a2a60d8e9e004bb3b2d06c761cd13735?anonymousKey=6c011a12d3e9b3c19628d0c570594827a0b0bc6e",
"time": 1678891323,
"user_id": "11166"
},
{
"anonymous_key": "d97dfd299f50b9e9c6d92ed64383fd538e4fbe23",
"domain": "https://prover.certora.com",
"job_id": "8c24aba8e61e4c82bc51f163b4c46cea",
"notify_msg": "StakingRewards integrityOfNotifyRewardAmount -- ",
"output_url": "https://prover.certora.com/output/11166/8c24aba8e61e4c82bc51f163b4c46cea?anonymousKey=d97dfd299f50b9e9c6d92ed64383fd538e4fbe23",
"time": 1678888921,
"user_id": "11166"
},
{
"anonymous_key": "e7f9be5904b3be0c685407cb7f5c4b199f8c2c39",
"domain": "https://prover.certora.com",
"job_id": "119d968fc654495088c36e83ab4c020d",
"notify_msg": "StakingRewards updatedAtInThePast -- ",
"output_url": "https://prover.certora.com/output/11166/119d968fc654495088c36e83ab4c020d?anonymousKey=e7f9be5904b3be0c685407cb7f5c4b199f8c2c39",
"time": 1678887288,
"user_id": "11166"
},
{
"anonymous_key": "0dd866bc7c7536e8066cbdae0eaf1426ed6a7938",
"domain": "https://prover.certora.com",
"job_id": "145ea7faf4b94382901c764393b9389c",
"notify_msg": "StakingRewards -- run all",
"output_url": "https://prover.certora.com/output/11166/145ea7faf4b94382901c764393b9389c?anonymousKey=0dd866bc7c7536e8066cbdae0eaf1426ed6a7938",
"time": 1678886247,
"user_id": "11166"
},
{
"anonymous_key": "05b8f828dac71b307819f0627b6a6d8887402655",
"domain": "https://prover.certora.com",
"job_id": "9bfad4363e17491197e5b599f6f6ad15",
"notify_msg": "StakingRewards integrityOfUpdateReward -- iff",
"output_url": "https://prover.certora.com/output/11166/9bfad4363e17491197e5b599f6f6ad15?anonymousKey=05b8f828dac71b307819f0627b6a6d8887402655",
"time": 1678885647,
"user_id": "11166"
},
{
"anonymous_key": "aa0663fde06a6da6883faed0b8f0ea8195205258",
"domain": "https://prover.certora.com",
"job_id": "bb958d90d6c04291bc4b82275beb89eb",
"notify_msg": "StakingRewards integrityOfUpdateReward -- switch order",
"output_url": "https://prover.certora.com/output/11166/bb958d90d6c04291bc4b82275beb89eb?anonymousKey=aa0663fde06a6da6883faed0b8f0ea8195205258",
"time": 1678885263,
"user_id": "11166"
},
{
"anonymous_key": "d7d456d3f0f7504d24d2118965297569d834be2f",
"domain": "https://prover.certora.com",
"job_id": "c07df15953cb4ed0a1d3519f87d05444",
"notify_msg": "StakingRewards integrityOfUpdateReward -- switch order",
"output_url": "https://prover.certora.com/output/11166/c07df15953cb4ed0a1d3519f87d05444?anonymousKey=d7d456d3f0f7504d24d2118965297569d834be2f",
"time": 1678884946,
"user_id": "11166"
}
]
}