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.

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

Summary fidUpdate function with 3 parameters #41

Merged
merged 5 commits into from
Sep 25, 2024

Conversation

Robertorosmaninho
Copy link
Contributor

@Robertorosmaninho Robertorosmaninho commented Sep 24, 2024

This PR adds two new summarized rules regarding program execution. The rule presented in this PR summarizes the function fidUpdate(address from, address to, uint256 value) private {...}.

By summarizing this function, we save 893 steps.
(Without it, the program took 28765 steps, and after implementing it, the program took 27872 steps)

Attention: It's probably best to review this commit by commit, as one commit renames another function, and the other just format the file, deleting trailing whitespaces.

@Robertorosmaninho Robertorosmaninho enabled auto-merge (squash) September 25, 2024 17:34
@Robertorosmaninho Robertorosmaninho merged commit 57ce82c into main Sep 25, 2024
1 check passed
@Robertorosmaninho Robertorosmaninho deleted the fidUpdate-3-summary branch September 25, 2024 17:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants