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

Introducing mint summary from bind on dAIMock #55

Merged
merged 1 commit into from
Oct 4, 2024

Conversation

Robertorosmaninho
Copy link
Contributor

@Robertorosmaninho Robertorosmaninho commented Oct 4, 2024

This PR adds the summarized rules regarding the body of program execution. The rule presented in this PR summarizes the body of mint function starting on the bind function.

By summarizing the body of this function, we save 300 steps.
(Without it, the program took 20233 steps, and after implementing it, the program took 19933 steps)

Wall Time to execute 1000 testSwapSingleHopExactAmountIn summarized:

  • On main branch: 0.179s
  • On this branch: 0.176s

Wall Time to execute 1000 testSwapSingleHopExactAmountIn without any summarization: 0.262s

@Robertorosmaninho Robertorosmaninho self-assigned this Oct 4, 2024
@Robertorosmaninho Robertorosmaninho marked this pull request as ready for review October 4, 2024 18:17
@Robertorosmaninho Robertorosmaninho force-pushed the mint-sumary branch 2 times, most recently from 5f2ba62 to d674564 Compare October 4, 2024 18:20
@Robertorosmaninho Robertorosmaninho merged commit e8ade4c into main Oct 4, 2024
1 check passed
@Robertorosmaninho Robertorosmaninho deleted the mint-sumary branch October 4, 2024 20:26
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.

2 participants