Skip to content

[Draft] Add stateful properties#821

Open
bsamuels453 wants to merge 13 commits intoUniswap:mainfrom
trailofbits:add-stateful-properties
Open

[Draft] Add stateful properties#821
bsamuels453 wants to merge 13 commits intoUniswap:mainfrom
trailofbits:add-stateful-properties

Conversation

@bsamuels453
Copy link

This PR adds the stateful properties from the engagement.

It looks like there's been some changes on main since the audit commit, so treat this as a draft until it can be cleaned up.
Until then, you can check the branch out and test things out - be sure to follow the instructions in the readme.

@bsamuels453 bsamuels453 changed the title Add stateful properties [Draft] Add stateful properties Aug 9, 2024
@bsamuels453
Copy link
Author

@snreynolds do you want me to get this PR mergable before your team review it?

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

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants