File tree
28 files changed
+81
-1024
lines changed- smart-contract-verifier
- sig-provider-extension
- src
- smart-contract-verifier-server
- src
- services
- tests
- integration
- smart-contract-verifier
- src
- solidity
- sourcify
- vyper
- tests
28 files changed
+81
-1024
lines changedLines changed: 43 additions & 393 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
Lines changed: 0 additions & 3 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 | 3 |
| |
4 |
| - | |
5 | 4 |
| |
6 | 5 |
| |
7 | 6 |
| |
8 | 7 |
| |
9 | 8 |
| |
10 | 9 |
| |
11 | 10 |
| |
12 |
| - | |
13 | 11 |
| |
14 | 12 |
| |
15 | 13 |
| |
| |||
61 | 59 |
| |
62 | 60 |
| |
63 | 61 |
| |
64 |
| - | |
65 | 62 |
| |
66 | 63 |
| |
67 | 64 |
| |
|
Lines changed: 0 additions & 15 deletions
This file was deleted.
Lines changed: 0 additions & 96 deletions
This file was deleted.
Lines changed: 0 additions & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
10 | 9 |
| |
11 | 10 |
| |
12 | 11 |
| |
|
Lines changed: 3 additions & 13 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
84 | 84 |
| |
85 | 85 |
| |
86 | 86 |
| |
87 |
| - | |
88 |
| - | |
89 |
| - | |
90 |
| - | |
91 |
| - | |
92 |
| - | |
| 87 | + | |
93 | 88 |
| |
94 | 89 |
| |
95 | 90 |
| |
96 | 91 |
| |
97 | 92 |
| |
98 |
| - | |
99 |
| - | |
100 |
| - | |
101 |
| - | |
102 |
| - | |
103 |
| - | |
| 93 | + | |
104 | 94 |
| |
105 | 95 |
| |
106 | 96 |
| |
107 | 97 |
| |
108 | 98 |
| |
109 |
| - | |
| 99 | + | |
110 | 100 |
| |
111 | 101 |
| |
112 | 102 |
| |
|
Lines changed: 2 additions & 13 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
7 | 7 |
| |
8 | 8 |
| |
9 | 9 |
| |
10 |
| - | |
| 10 | + | |
11 | 11 |
| |
12 | 12 |
| |
13 | 13 |
| |
| |||
35 | 35 |
| |
36 | 36 |
| |
37 | 37 |
| |
38 |
| - | |
39 |
| - | |
40 | 38 |
| |
41 | 39 |
| |
42 | 40 |
| |
| |||
54 | 52 |
| |
55 | 53 |
| |
56 | 54 |
| |
57 |
| - | |
58 |
| - | |
59 |
| - | |
60 |
| - | |
61 |
| - | |
62 |
| - | |
63 |
| - | |
64 |
| - | |
65 |
| - | |
66 |
| - | |
| 55 | + | |
67 | 56 |
| |
68 | 57 |
| |
69 | 58 |
| |
|
Lines changed: 3 additions & 15 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
7 |
| - | |
| 7 | + | |
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
| |||
19 | 19 |
| |
20 | 20 |
| |
21 | 21 |
| |
22 |
| - | |
23 |
| - | |
24 |
| - | |
25 |
| - | |
26 |
| - | |
27 |
| - | |
28 |
| - | |
| 22 | + | |
| 23 | + | |
29 | 24 |
| |
30 | 25 |
| |
31 | 26 |
| |
| |||
34 | 29 |
| |
35 | 30 |
| |
36 | 31 |
| |
37 |
| - | |
38 |
| - | |
39 |
| - | |
40 |
| - | |
41 |
| - | |
42 |
| - | |
43 |
| - | |
44 | 32 |
| |
45 | 33 |
| |
46 | 34 |
| |
|
Lines changed: 2 additions & 13 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
6 | 6 |
| |
7 | 7 |
| |
8 | 8 |
| |
9 |
| - | |
| 9 | + | |
10 | 10 |
| |
11 | 11 |
| |
12 | 12 |
| |
| |||
26 | 26 |
| |
27 | 27 |
| |
28 | 28 |
| |
29 |
| - | |
30 |
| - | |
31 | 29 |
| |
32 | 30 |
| |
33 | 31 |
| |
| |||
40 | 38 |
| |
41 | 39 |
| |
42 | 40 |
| |
43 |
| - | |
44 |
| - | |
45 |
| - | |
46 |
| - | |
47 |
| - | |
48 |
| - | |
49 |
| - | |
50 |
| - | |
51 |
| - | |
52 |
| - | |
| 41 | + | |
53 | 42 |
| |
54 | 43 |
| |
55 | 44 |
| |
|
Lines changed: 0 additions & 16 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
29 | 29 |
| |
30 | 30 |
| |
31 | 31 |
| |
32 |
| - | |
33 | 32 |
| |
34 | 33 |
| |
35 | 34 |
| |
| |||
168 | 167 |
| |
169 | 168 |
| |
170 | 169 |
| |
171 |
| - | |
172 |
| - | |
173 |
| - | |
174 |
| - | |
175 |
| - | |
176 |
| - | |
177 |
| - | |
178 |
| - | |
179 |
| - | |
180 |
| - | |
181 |
| - | |
182 |
| - | |
183 |
| - | |
184 |
| - | |
185 |
| - | |
186 | 170 |
| |
187 | 171 |
| |
188 | 172 |
| |
|
0 commit comments