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.
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.