Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Formal verification of protocol #95

Open
akshay-ap opened this issue Sep 1, 2023 · 1 comment · May be fixed by #96
Open

Formal verification of protocol #95

akshay-ap opened this issue Sep 1, 2023 · 1 comment · May be fixed by #96
Assignees
@akshay-ap
Labels
enhancement New feature or request

Comments

@akshay-ap
Copy link
Contributor

  • Setup workflow
  • Add rules
  • Documentation
@akshay-ap akshay-ap self-assigned this Sep 1, 2023
akshay-ap added a commit that referenced this issue Sep 1, 2023
@akshay-ap
[#95] Setup certora workflow
7fc684f
@akshay-ap akshay-ap linked a pull request Sep 1, 2023 that will close this issue
Draft
11 tasks
@akshay-ap akshay-ap added the enhancement New feature or request label Sep 4, 2023
@rmeissner
Copy link
Member

rmeissner commented Sep 4, 2023 •
edited
Loading

  • CI key can be requested from Certora

akshay-ap added a commit that referenced this issue Sep 18, 2023
@akshay-ap
[#95] Add execute permission to script
dddcbf5
akshay-ap added a commit that referenced this issue Sep 18, 2023
@akshay-ap
[#95] Add param --solc in verifyManager.sh
40f1b8c
akshay-ap added a commit that referenced this issue Sep 18, 2023
@akshay-ap
[#95] Install dependencies by running yarn --frozen-lockfile
14ae100
akshay-ap added a commit that referenced this issue Sep 18, 2023
@akshay-ap
[#95] Fix README, add newline at end of file
3b8b335
akshay-ap added a commit that referenced this issue Sep 18, 2023
@akshay-ap
[#95] Add formal verification rules
f919192
akshay-ap added a commit that referenced this issue Sep 19, 2023
@akshay-ap
[#95] Update rule for hooks
e3644ca
akshay-ap added a commit that referenced this issue Sep 19, 2023
@akshay-ap
[#95] Check if function handler is listed and not flagged
8ef23d0
akshay-ap added a commit that referenced this issue Sep 19, 2023
@akshay-ap
[#95] Add rules for formal verification
7c9f352
akshay-ap added a commit that referenced this issue Sep 19, 2023
@akshay-ap
[#95] Update hashing_length_bound to 320
19cba7a
akshay-ap added a commit that referenced this issue Sep 22, 2023
@akshay-ap
[#95] Append solc param in verifyManager.sh
1b64211
akshay-ap added a commit that referenced this issue Sep 22, 2023
@akshay-ap
[#95] Fix failing build
6ef3c49
akshay-ap added a commit that referenced this issue Sep 22, 2023
@akshay-ap
[#95] Fix solc param in verifyManager.sh
ef786a7
akshay-ap added a commit that referenced this issue Sep 25, 2023
@akshay-ap
[#95] Add rules
4b3db3c
@rmeissner rmeissner changed the title Formal verification of contracts Formal verification of protocol Oct 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@akshay-ap akshay-ap

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Setup certora workflow 5afe/safe-core-protocol
2 participants
@rmeissner @akshay-ap