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

Remove rustdoc::par #2885

Closed
eholk opened this issue Jul 12, 2012 · 0 comments
Closed

Remove rustdoc::par #2885

eholk opened this issue Jul 12, 2012 · 0 comments

Comments

@eholk
Copy link
Contributor

eholk commented Jul 12, 2012

std::par should provide the same functionality, so we should use that instead now.
@eholk eholk closed this as completed in 85e79a3 Jul 17, 2012
RalfJung pushed a commit to RalfJung/rust that referenced this issue May 11, 2023
@bors
Auto merge of rust-lang#2885 - RalfJung:rustup, r=RalfJung
7a41eac 
Rustup
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@JustusAdam
Emit suggestions and an explanation when CBMC runs out of memory (rus…
b0301a3 
…t-lang#2885)

Improves the error reported to the user when the system kills CBMC to
reclaim memory.

Resolves rust-lang#2715
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@eholk