Skip to content

Commit e534848

Browse files
merendamattiamerendamattia
committed
Added cross-chain policy JSON files
1 parent ca6d7a5 commit e534848

File tree

14 files changed

+1292
-0
lines changed

14 files changed

+1292
-0
lines changed

‎scripts/python/benchmark-checkers/cross-chain/smartaxe/manually-labeled/EvoDeFi20220607/cross-chain-policy.json‎

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
{
2+
"policy": [
3+
{
4+
"sourceFunction": {
5+
"name": "deposit",
6+
"events": [
7+
"Deposit"
8+
]
9+
},
10+
"destinationFunction": {
11+
"name": "deposit"
12+
}
13+
},
14+
{
15+
"sourceFunction": {
16+
"name": "withdraw",
17+
"events": [
18+
"Withdraw"
19+
]
20+
},
21+
"destinationFunction": {
22+
"name": "withdraw"
23+
}
24+
},
25+
{
26+
"sourceFunction": {
27+
"name": "powerUpWithNFTs",
28+
"events": [
29+
"Deposit"
30+
]
31+
},
32+
"destinationFunction": {
33+
"name": "powerUpWithNFTs"
34+
}
35+
},
36+
{
37+
"sourceFunction": {
38+
"name": "emergencyWithdraw",
39+
"events": [
40+
"EmergencyWithdraw"
41+
]
42+
},
43+
"destinationFunction": {
44+
"name": "emergencyWithdraw"
45+
}
46+
}
47+
]
48+
}

‎scripts/python/benchmark-checkers/cross-chain/smartaxe/manually-labeled/LiFinance20220320/cross-chain-policy.json‎

Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
{
2+
"policy": [
3+
{
4+
"sourceFunction": {
5+
"name": "startBridgeTokensViaAmarok",
6+
"events": [
7+
"LiFiTransferStarted"
8+
]
9+
},
10+
"destinationFunction": {
11+
"name": "startBridgeTokensViaAmarok"
12+
}
13+
},
14+
{
15+
"sourceFunction": {
16+
"name": "swapAndStartBridgeTokensViaAmarok",
17+
"events": [
18+
"LiFiTransferStarted"
19+
]
20+
},
21+
"destinationFunction": {
22+
"name": "swapAndStartBridgeTokensViaAmarok"
23+
}
24+
}
25+
]
26+
}

‎scripts/python/benchmark-checkers/cross-chain/smartaxe/manually-labeled/MeterPassPort20220206/cross-chain-policy.json‎

Lines changed: 115 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,115 @@
1+
{
2+
"policy": [
3+
{
4+
"sourceFunction": {
5+
"name": "deposit",
6+
"events": [
7+
"Deposit"
8+
]
9+
},
10+
"destinationFunction": {
11+
"name": "deposit"
12+
}
13+
},
14+
{
15+
"sourceFunction": {
16+
"name": "depositETH",
17+
"events": [
18+
"Deposit"
19+
]
20+
},
21+
"destinationFunction": {
22+
"name": "depositETH"
23+
}
24+
},
25+
{
26+
"sourceFunction": {
27+
"name": "voteProposal",
28+
"events": [
29+
"ProposalEvent",
30+
"ProposalVote"
31+
]
32+
},
33+
"destinationFunction": {
34+
"name": "voteProposal"
35+
}
36+
},
37+
{
38+
"sourceFunction": {
39+
"name": "cancelProposal",
40+
"events": [
41+
"ProposalEvent"
42+
]
43+
},
44+
"destinationFunction": {
45+
"name": "cancelProposal"
46+
}
47+
},
48+
{
49+
"sourceFunction": {
50+
"name": "executeProposal",
51+
"events": [
52+
"ProposalEvent"
53+
]
54+
},
55+
"destinationFunction": {
56+
"name": "executeProposal"
57+
}
58+
},
59+
{
60+
"sourceFunction": {
61+
"name": "adminPauseTransfers",
62+
"events": [
63+
"Paused"
64+
]
65+
},
66+
"destinationFunction": {
67+
"name": "adminPauseTransfers"
68+
}
69+
},
70+
{
71+
"sourceFunction": {
72+
"name": "adminUnpauseTransfers",
73+
"events": [
74+
"Unpaused"
75+
]
76+
},
77+
"destinationFunction": {
78+
"name": "adminUnpauseTransfers"
79+
}
80+
},
81+
{
82+
"sourceFunction": {
83+
"name": "adminChangeRelayerThreshold",
84+
"events": [
85+
"RelayerThresholdChanged"
86+
]
87+
},
88+
"destinationFunction": {
89+
"name": "adminChangeRelayerThreshold"
90+
}
91+
},
92+
{
93+
"sourceFunction": {
94+
"name": "adminAddRelayer",
95+
"events": [
96+
"RelayerAdded"
97+
]
98+
},
99+
"destinationFunction": {
100+
"name": "adminAddRelayer"
101+
}
102+
},
103+
{
104+
"sourceFunction": {
105+
"name": "adminRemoveRelayer",
106+
"events": [
107+
"RelayerRemoved"
108+
]
109+
},
110+
"destinationFunction": {
111+
"name": "adminRemoveRelayer"
112+
}
113+
}
114+
]
115+
}

0 commit comments

Comments
 (0)