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.

Sign up for GitHub

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

Jump to bottom

Signature immutability RFC #37

Merged
merged 1 commit into from Dec 11, 2023
Merged

Signature immutability RFC #37

merged 1 commit into from Dec 11, 2023

Conversation

whitequark
Copy link
Member

@whitequark whitequark commented Dec 11, 2023 •
edited

@whitequark whitequark added meta:nominated Nominated for discussion on the next relevant meeting area:core RFC affecting APIs in amaranth-lang/amaranth labels Dec 11, 2023
@whitequark whitequark changed the title Add signature immutability RFC Signature immutability RFC Dec 11, 2023
@whitequark
Copy link
Member Author

We have discussed this RFC on the 2023-12-11 weekly meeting. The disposition was to merge, without changes.

@whitequark whitequark removed the meta:nominated Nominated for discussion on the next relevant meeting label Dec 11, 2023
@whitequark whitequark mentioned this pull request Dec 11, 2023
Closed
@whitequark whitequark merged commit 7cf237d into amaranth-lang:main Dec 11, 2023
@whitequark whitequark deleted the make-signature-immutable branch December 11, 2023 17:45
This was referenced Dec 12, 2023
Closed
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
area:core RFC affecting APIs in amaranth-lang/amaranth
Milestone
No milestone
1 participant
@whitequark