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

See if we can unify existing storage annotation checks and effects inference in this CEI analysis #3394

Open
anton-trunov opened this issue Nov 21, 2022 · 0 comments
Open

See if we can unify existing storage annotation checks and effects inference in this CEI analysis #3394

anton-trunov opened this issue Nov 21, 2022 · 0 comments
Labels
code quality compiler: static-analysis storage Anything related to how we treat the storage in Sway

Comments

@anton-trunov
Copy link
Contributor

anton-trunov commented Nov 21, 2022 •
edited
Loading

Follow-up of #3168
@anton-trunov anton-trunov changed the title unification of the currently existing storage annotation checks and effects inference in this PR See if we can unify existing storage annotation checks and effects inference in this CEI analysis Nov 21, 2022
@anton-trunov anton-trunov self-assigned this Nov 28, 2022
@mohammadfawaz mohammadfawaz added P: critical Should be looked at before anything else and removed P: critical Should be looked at before anything else labels Dec 7, 2022
@anton-trunov anton-trunov added the storage Anything related to how we treat the storage in Sway label Jul 26, 2023
@anton-trunov anton-trunov removed their assignment Sep 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
code quality compiler: static-analysis storage Anything related to how we treat the storage in Sway
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@anton-trunov @mohammadfawaz