Skip to content

Conversation

whitequark
Copy link
Member

@whitequark whitequark commented Jan 31, 2024

@whitequark whitequark added meta:nominated Nominated for discussion on the next relevant meeting area:core RFC affecting APIs in amaranth-lang/amaranth labels Jan 31, 2024
@whitequark whitequark force-pushed the lib-memory branch 5 times, most recently from 467fc34 to d7f864b Compare February 1, 2024 00:39
@whitequark whitequark force-pushed the lib-memory branch 6 times, most recently from 7b6f93a to 705aa22 Compare February 5, 2024 02:58
@whitequark whitequark removed the meta:nominated Nominated for discussion on the next relevant meeting label Feb 5, 2024
@whitequark
Copy link
Member Author

We have discussed this RFC on the 2024-02-05 weekly meeting. The disposition was to merge, without changes (semantics for all unresolved questions is left as described in text already).

@whitequark whitequark merged commit 0ca51f2 into amaranth-lang:main Feb 5, 2024
@whitequark whitequark deleted the lib-memory branch February 5, 2024 18:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area:core RFC affecting APIs in amaranth-lang/amaranth
Development

Successfully merging this pull request may close these issues.

1 participant