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
Contracts + Certora specs #1
Contracts + Certora specs #1
Changes from 9 commits
c504166
55a0975
cb062a2
9b90e8c
8bca5b1
ea4e9a2
9d45635
759cc03
f306c32
0319b46
d49f228
3ea392e
7ce0aa8
838c95d
d7dbf87
75df167
f36e5a0
792cb4d
f17a469
4e2175e
ea7b5c0
d635984
beca9b2
33fd1ea
9fb96a4
3ca31b7
731050a
24e5958
25af1de
d3f14d4
721f870
93abbc7
9a202fb
d4504e6
793cfac
6171fd8
77d5075
0424d6d
84f4262
388e00e
645449f
1264cf6
31a4159
45c9e12
b7a5dec
2672619
f7a7ba4
56e2dd6
1e91268
29d0a37
5dfba54
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing