Skip to content

Extend enter_region method#5

Merged
0xddom merged 1 commit intomainfrom
dani/improve-synthesizer
Jan 20, 2026
Merged

Extend enter_region method#5
0xddom merged 1 commit intomainfrom
dani/improve-synthesizer

Conversation

@0xddom
Copy link
Copy Markdown
Collaborator

@0xddom 0xddom commented Jan 20, 2026

Extend the enter region method with information that is otherwise infered by the synthesizer. Allowing to give this information now avoids having to infer it later.

The fields are optional to avoid breaking compatibility with the Halo2 trait that this trait mimics.

@0xddom 0xddom requested a review from a team January 20, 2026 10:53
Copy link
Copy Markdown

@shankarapailoor shankarapailoor left a comment

Choose a reason for hiding this comment

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

LGTM

@0xddom 0xddom merged commit 6768372 into main Jan 20, 2026
5 checks passed
@0xddom 0xddom deleted the dani/improve-synthesizer branch January 20, 2026 14:28
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