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

feat: fuzzing campaign #227

Open
wants to merge 42 commits into
base: sc-feat/add-shared-lockbox
Choose a base branch
from
Open

feat: fuzzing campaign #227

wants to merge 42 commits into from

Conversation

0xDiscotech
Copy link

At this point, the SuperchainERC20 campaign can be considered done and the fuzzer can run over it while we test the lockbox properties.

@0xDiscotech 0xDiscotech self-assigned this Jan 28, 2025
0xDiscotech and others added 14 commits January 30, 2025 12:46
@0xDiscotech
fix: console sol typo
f66cec1
@simon-something
Merge pull request #235 from defi-wonderland/fix/typo
a10dd7b 
fix: console sol typo
@0xDiscotech
chore: remove todo and enhance amount clamping
8f77bcf
@0xDiscotech
feat: add portal deposit transactions properties test (#230)
aa0f204
@0xDiscotech
feat: fifteen property (#237)
ef499ed
@hexshire
feat: add portal finalized withdrawals properties test (#232)
b52e55e
@0xDiscotech
feat: add is l1 or l2 contract helper and add some requires to avoid …
aebc9cf 
…mixing chains states (#238)
@0xDiscotech
fix: handlers low level calls
283c376
@0xDiscotech
Merge branch 'sc-feat/add-shared-lockbox' into chore/sync-five
aab4e35
@0xDiscotech
Merge pull request #244 from defi-wonderland/chore/sync-five
4ed63c3
@0xDiscotech
refactor: adapt campaign based on new codebase changes (#245)
95320c0
@0xDiscotech
chore: remove previous optimism superchainerc20 outdated campaign (#247)
4e2612b
@0xDiscotech
chore: add balance assertions on migrate handler (#249)
b766102
@0xDiscotech
chore: update properties status (#246)
6fb7e9d
@0xDiscotech 0xDiscotech marked this pull request as ready for review February 5, 2025 21:23
@0xDiscotech 0xDiscotech changed the title chore: superc20 and lockbox setup review feat: fuzzing campaign Feb 7, 2025
@defi-wonderland defi-wonderland deleted a comment from coderabbitai bot Feb 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@simon-something simon-something Awaiting requested review from simon-something

At least 1 approving review is required to merge this pull request.

Assignees

@0xDiscotech 0xDiscotech

Labels
only for review
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@0xDiscotech @hexshire @simon-something