Skip to content

Added some constfolding for array-pops. #7690

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

Merged
merged 1 commit into from
Apr 29, 2025
Merged

Added some constfolding for array-pops. #7690

merged 1 commit into from
Apr 29, 2025

Conversation

orizi
Copy link
Collaborator

@orizi orizi commented Apr 21, 2025

@reviewable-StarkWare
Copy link

This change is Reviewable

@orizi orizi force-pushed the spr/main/792add5c branch from 8abbdf9 to bf66a0e Compare April 21, 2025 12:52
@orizi orizi force-pushed the spr/main/7f3fce8a branch from 052e932 to 1ac754b Compare April 21, 2025 12:52
@orizi orizi requested a review from gilbens-starkware April 21, 2025 12:54
@orizi orizi force-pushed the spr/main/7f3fce8a branch from 1ac754b to dcf99e5 Compare April 22, 2025 16:04
@orizi orizi force-pushed the spr/main/792add5c branch from bf66a0e to fade034 Compare April 22, 2025 16:04
@orizi orizi force-pushed the spr/main/7f3fce8a branch from dcf99e5 to 29bcce7 Compare April 22, 2025 16:24
@orizi orizi force-pushed the spr/main/792add5c branch from fade034 to ecfb59d Compare April 22, 2025 16:24
@orizi orizi force-pushed the spr/main/7f3fce8a branch from 29bcce7 to 85506de Compare April 22, 2025 16:53
@orizi orizi force-pushed the spr/main/792add5c branch from 2ea1832 to e1aeb27 Compare April 23, 2025 10:04
@orizi orizi force-pushed the spr/main/7f3fce8a branch 2 times, most recently from 0896c18 to d5d468d Compare April 23, 2025 12:43
@orizi orizi force-pushed the spr/main/792add5c branch from e1aeb27 to 71e985d Compare April 23, 2025 12:43
@orizi orizi force-pushed the spr/main/7f3fce8a branch from d5d468d to 6a4b21e Compare April 24, 2025 07:47
@orizi orizi force-pushed the spr/main/792add5c branch 2 times, most recently from 231bf40 to 880cdb3 Compare April 24, 2025 08:18
@orizi orizi force-pushed the spr/main/7f3fce8a branch 2 times, most recently from e3d67b3 to bc108b2 Compare April 24, 2025 08:38
@orizi orizi force-pushed the spr/main/792add5c branch from 880cdb3 to a5d2d6c Compare April 24, 2025 08:39
@orizi orizi changed the base branch from spr/main/792add5c to main April 24, 2025 09:05
@orizi orizi force-pushed the spr/main/7f3fce8a branch from bc108b2 to 95e0d77 Compare April 24, 2025 09:05
@orizi orizi enabled auto-merge April 24, 2025 09:14
@orizi orizi force-pushed the spr/main/7f3fce8a branch from 95e0d77 to a3a877c Compare April 24, 2025 09:14
Copy link
Contributor

@gilbens-starkware gilbens-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm:

Reviewed 1 of 3 files at r1, all commit messages.
Reviewable status: 1 of 3 files reviewed, all discussions resolved

Copy link
Contributor

@gilbens-starkware gilbens-starkware left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 1 of 3 files at r1, 1 of 1 files at r2.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @orizi)

@orizi orizi added this pull request to the merge queue Apr 29, 2025
Merged via the queue into main with commit 591bfae Apr 29, 2025
49 checks passed
@orizi orizi deleted the spr/main/7f3fce8a branch May 7, 2025 07:12
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