Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Contract verification plugin #5221
Contract verification plugin #5221
Changes from all commits
9989c6b
e15427b
f9e90e7
10770e8
97ac7f5
c769c8b
89d0656
7505c40
f8b3b02
baa5c01
a148432
9da31b7
12702c5
f4a3fa5
93d4af3
0299f53
9363f74
f5de0e5
5bd1628
c11023e
b32e44a
0dcf7f7
37502d1
4dbe763
5f014e6
a870235
c992394
f5848c9
8325675
216e272
6de47ef
f19e582
b1ce849
1678fd3
549eaf1
b7e24f2
869c868
758097a
13ab2ba
58ed05e
bc33630
3d75021
a457b76
c1f28f1
caf1e58
1a10b7b
99dbe93
b365060
37a48d0
2a6d6a1
ba2a3f5
58a799c
d3aca88
92af87d
2701720
ec6fb71
c0873b4
48dd94e
a063188
033737e
d075b8e
a0db3ef
2f85c32
c5ebdd9
150d775
c25bb0e
d831933
24f5f45
afdde56
ce64b7e
a99808f
355b56c
edef5f1
7a28b1d
ecf8300
4c9db60
6abf31e
7694141
df0e341
2e939a9
9205bf7
21c9037
cf4a8ec
d6ab227
c14616d
1e72561
c748609
813bbac
a057147
96facf3
803f445
21ba015
e02c5bc
1c0ef62
a50ed79
1d76fe5
d318e47
6303c7e
e79d089
dacce46
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing