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

Avoid quadratic behavior when optimizing contracts #1673

Merged
merged 2 commits into from
Oct 11, 2023

Conversation

yannham
Copy link
Member

@yannham yannham commented Oct 10, 2023

Follow-up of #1671. See #1671 (comment). I started with Cow, but in fact we implement a data structure that exactly fits the use-case: the environment. So I used that instead.

@yannham yannham requested review from jneem, Radvendii and vkleen October 10, 2023 10:25
@github-actions github-actions bot temporarily deployed to pull request October 10, 2023 10:29 Inactive
@yannham yannham force-pushed the task/cow-for-contract-elision-env branch from 8f3a525 to c09e172 Compare October 10, 2023 12:15
@github-actions github-actions bot temporarily deployed to pull request October 10, 2023 12:19 Inactive
@yannham yannham force-pushed the task/cow-for-contract-elision-env branch from c09e172 to b89a9ab Compare October 11, 2023 08:57
@yannham yannham enabled auto-merge October 11, 2023 08:58
@github-actions github-actions bot temporarily deployed to pull request October 11, 2023 09:02 Inactive
@yannham yannham added this pull request to the merge queue Oct 11, 2023
Merged via the queue into master with commit f3ce8f3 Oct 11, 2023
4 checks passed
@yannham yannham deleted the task/cow-for-contract-elision-env branch October 11, 2023 09:10
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