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

Remove broken features non_pow2_rayon_thread and riv64 #723

Merged
merged 6 commits into from
Dec 12, 2024

Conversation

matthiasgoergens
Copy link
Collaborator

@matthiasgoergens matthiasgoergens commented Dec 10, 2024

Features non_pow2_rayon_thread and riv64 are not tested: we can't even compile with them.

Because riv64 is gone, we can make riv32 invisible: it's effects are now just the default.

Feature `non_pow2_rayon_thread` was not tested: even just turning it on
caused compiler errors.
@matthiasgoergens matthiasgoergens requested review from hero78119, kunxian-xia and naure and removed request for hero78119 December 10, 2024 04:15
Copy link
Collaborator

@roylou roylou left a comment

Choose a reason for hiding this comment

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

approve assuming the 2 features are not used currently.

@matthiasgoergens
Copy link
Collaborator Author

approve assuming the 2 features are not used currently.

Well, they can’t have been used, because if you enable any of them, you get compiler errors. :)

@matthiasgoergens matthiasgoergens enabled auto-merge (squash) December 12, 2024 04:33
@matthiasgoergens matthiasgoergens merged commit 3bb18fe into master Dec 12, 2024
6 checks passed
@matthiasgoergens matthiasgoergens deleted the matthias/remove-broken-non_pow2_rayon_thread branch December 12, 2024 04:34
10to4 pushed a commit to 10to4/ceno that referenced this pull request Dec 12, 2024
…ch#723)

Features `non_pow2_rayon_thread` and `riv64` are not tested: we can't
even compile with them.

Because `riv64` is gone, we can make `riv32` invisible: it's effects are
now just the default.
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