Skip to content

std::net_tcp: don't capture unique box in i/o task #2654

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
Closed
graydon opened this issue Jun 20, 2012 · 2 comments
Closed

std::net_tcp: don't capture unique box in i/o task #2654

graydon opened this issue Jun 20, 2012 · 2 comments
Labels
E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

Comments

@graydon
Copy link
Contributor

graydon commented Jun 20, 2012

As per fixme. Not sure exactly why this is the way it is.
@bblum
Copy link
Contributor

bblum commented Jun 10, 2013

libextra::timer and libextra::net_tcp are deprecated pending #6435.

@msullivan
Copy link
Contributor

That code seems to be gone. Closing.

RalfJung pushed a commit to RalfJung/rust that referenced this issue Nov 15, 2022
@bors
Auto merge of rust-lang#2654 - mkroening:macos-cache, r=RalfJung
57d06f7 
README: Add macos cache deletion command
Aaron1011 pushed a commit to Aaron1011/rust that referenced this issue Jan 6, 2023
@bors
Auto merge of rust-lang#2654 - mkroening:macos-cache, r=RalfJung
3cb23bc 
README: Add macos cache deletion command
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@celinval @zhassan-aws
Change default solver to CaDiCal (rust-lang#2654)
952d324 
By default, Kani will now run CBMC with CaDiCaL, since this solver has outperformed Minisat in most of our benchmarks. User's should still be able to select Minisat (or a different solver) either by using `#[solver]` harness attribute or by passing `--solver=<SOLVER>` command line option.

Co-authored-by: Zyad Hassan <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@graydon @msullivan @bblum