Skip to content

Added const-folding for bounded_int_trim_* functions.#8747

Merged
orizi merged 1 commit intomainfrom
orizi/11-23-added_const-folding_for_bounded_int_trim__functions
Nov 24, 2025
Merged

Added const-folding for bounded_int_trim_* functions.#8747
orizi merged 1 commit intomainfrom
orizi/11-23-added_const-folding_for_bounded_int_trim__functions

Conversation

@orizi
Copy link
Collaborator

@orizi orizi commented Nov 23, 2025

No description provided.

@reviewable-StarkWare
Copy link

This change is Reviewable

Copy link
Collaborator Author

orizi commented Nov 23, 2025

@orizi orizi requested a review from TomerStarkware November 23, 2025 18:43
@orizi orizi marked this pull request as ready for review November 23, 2025 18:43
Copy link
Collaborator

@TomerStarkware TomerStarkware left a comment

Choose a reason for hiding this comment

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

:lgtm:

@TomerStarkware reviewed 3 of 3 files at r1, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @orizi)

@orizi orizi changed the base branch from orizi/11-23-made_neg_for_signed_ints_not_based_on_range_checks to graphite-base/8747 November 24, 2025 11:24
@orizi orizi force-pushed the graphite-base/8747 branch from 2045812 to cea729e Compare November 24, 2025 11:24
@orizi orizi force-pushed the orizi/11-23-added_const-folding_for_bounded_int_trim__functions branch from 6f4367a to f82e235 Compare November 24, 2025 11:24
@orizi orizi changed the base branch from graphite-base/8747 to main November 24, 2025 11:25
@orizi orizi enabled auto-merge November 24, 2025 11:25
@orizi orizi added this pull request to the merge queue Nov 24, 2025
Merged via the queue into main with commit a76f05b Nov 24, 2025
106 checks passed
@orizi orizi deleted the orizi/11-23-added_const-folding_for_bounded_int_trim__functions branch November 24, 2025 12:09
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