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.

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

Testbench functions for the simulator #27

Merged
merged 2 commits into from Feb 5, 2024

Conversation

whitequark
Copy link
Member

@whitequark whitequark commented Oct 2, 2023

@whitequark whitequark added the meta:nominated Nominated for discussion on the next relevant meeting label Oct 2, 2023
@whitequark whitequark force-pushed the simulator-testbenches branch 5 times, most recently from 7bf90b6 to 7b11913 Compare October 2, 2023 15:55
@whitequark
Copy link
Member Author

whitequark commented Oct 2, 2023

We have discussed this RFC on the 2023-10-02 weekly meeting but did not reach a strong consensus. It remains nominated.

@whitequark
Copy link
Member Author

whitequark commented Oct 23, 2023

We have discusssed this RFC on the 2023-10-09 weekly meeting but did not reach a strong consensus. It remains nominated.

@whitequark
Copy link
Member Author

We have discussed this RFC on the 2023-10-23 weekly meeting. We have reached a consensus on the general approach in this RFC but it will need to be rewritten to address the feedback.

@whitequark whitequark removed the meta:nominated Nominated for discussion on the next relevant meeting label Oct 23, 2023
@whitequark whitequark added the area:core RFC affecting APIs in amaranth-lang/amaranth label Dec 11, 2023
whitequark added a commit to whitequark/amaranth-rfcs that referenced this pull request Feb 2, 2024
@whitequark
Copy link
Member Author

The RFC has been updated to address feedback.

@whitequark whitequark added the meta:nominated Nominated for discussion on the next relevant meeting label Feb 2, 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.

@whitequark whitequark removed the meta:nominated Nominated for discussion on the next relevant meeting label Feb 5, 2024
whitequark added a commit that referenced this pull request Feb 5, 2024
@whitequark whitequark merged commit 0ab1c2e into amaranth-lang:main Feb 5, 2024
@whitequark whitequark deleted the simulator-testbenches branch February 5, 2024 18:42
whitequark added a commit to whitequark/amaranth-rfcs that referenced this pull request Feb 8, 2024
whitequark added a commit to whitequark/amaranth-rfcs that referenced this pull request Feb 8, 2024
whitequark added a commit to whitequark/amaranth-rfcs that referenced this pull request Feb 8, 2024
whitequark added a commit to whitequark/amaranth-rfcs that referenced this pull request Feb 8, 2024
whitequark added a commit that referenced this pull request Feb 12, 2024
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
1 participant