chore: refresh #167 (rayon-wasm32) + #170 (rocq-gating doc) onto current main#200
Merged
Conversation
…+ rocq-gating doc) #167 and #170 were based on a pre-v1.1.13 main and conflicted after the #196/#198 changes. Re-applying their (still-needed) content fresh: - #167 (#142): exclude rayon on wasm32 (`[target.'cfg(not(target_arch = "wasm32"))'.dependencies]`) + islands.rs sequential fallback, so the release wasm32-wasip2 build links (rayon's thread pool needs pthread). The island tie-break is deterministic → wasm result bit-identical. - #170 (#169): document why rocq-proofs is continue-on-error (upstream rules_rocq_rust breakage; fix in flight #141) + the ordered plan to make it gating once green. Verified: loom-core compiles for wasm32-wasip2 (rayon excluded, islands sequential path); ci.yml is valid YAML; native clippy clean. Closes #167. Closes #170.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Re-applies the still-needed content of stale PRs #167 and #170, which conflicted after the #196/#198 changes.
wasm32-wasip2build links (deterministic tie-break → bit-identical).continue-on-errorrationale + the plan to make it gating once chore(deps): bump rules_rocq_rust to e4660cc (rules_rust migration; fixes Rocq Formal Proofs CI) #141 lands.Verified: loom-core compiles for wasm32-wasip2 (rayon excluded); ci.yml valid YAML; native clippy clean. Supersedes #167 and #170.
🤖 Generated with Claude Code