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

Repo Cleanup #10

Merged

yi-sun merged 2 commits into main from chore/cleanup

Oct 31, 2024

Collaborator

HrikB commented Oct 31, 2024 •

edited

Loading

This PR cleans up the repo for an audit. It consists of:

A final review of documentation to make sure it's all lined up with the most recent contract updates.
Thorough testing of the contract's edge cases

Closes INT-2159

HrikB added 2 commits

October 31, 2024 17:45


          docs: Update README, add missing docs, and cleanup stale docs

f390c3b


          test: test edge cases

fa058dc

HrikB requested a review from yi-sun

October 31, 2024 21:48

linear bot commented Oct 31, 2024

INT-2159 Prepare contracts for audit

Manually generate proofs that hit all the edge cases
~~Fuzzing (if the lighthouse node can handle it)~~
Final pass over the docs
README update

yi-sun approved these changes

View reviewed changes

yi-sun merged commit 9f46845 into main

4 checks passed

yi-sun deleted the chore/cleanup branch

October 31, 2024 22:02

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet