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

std::net_tcp: transfer ownership of write buffer to i/o task. #2655

Closed
graydon opened this issue Jun 20, 2012 · 2 comments
Closed

std::net_tcp: transfer ownership of write buffer to i/o task. #2655

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.
@catamorphism
Copy link
Contributor

I'm not sure if this is really backwards-compatible. Re-nominating for production-ready (note that the FIXME comment says 2656).

@graydon
Copy link
Contributor Author

graydon commented Jun 13, 2013

made obsolete by work going on on #4248, closing

@graydon graydon closed this as completed Jun 13, 2013
RalfJung pushed a commit to RalfJung/rust that referenced this issue Nov 15, 2022
@bors
Auto merge of rust-lang#2655 - RalfJung:rustc-build-sysroot, r=RalfJung
9c574d8 
bump rustc-build-sysroot
Aaron1011 pushed a commit to Aaron1011/rust that referenced this issue Jan 6, 2023
@bors
Auto merge of rust-lang#2655 - RalfJung:rustc-build-sysroot, r=RalfJung
e31328b 
bump rustc-build-sysroot
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@JustusAdam @celinval @feliperodri
Function Contracts: Support for defining and checking requires and …
f834be7 
…`ensures` clauses (rust-lang#2655)

Co-authored-by: Celina G. Val <celinval@amazon.com>
Co-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@JustusAdam @celinval @feliperodri
Simple Stubbing with Contracts (rust-lang#2746)
dba1674 
### Description of changes: 

Expands the contract features introduced in rust-lang#2655 by completing the
checking with stubbing/replacement capabilities.

### Resolved issues:

Resolves rust-lang#2621 

### Related RFC: [0009 Function
Contracts](https://model-checking.github.io/kani/rfc/rfcs/0009-function-contracts.html)

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: Celina G. Val <celinval@amazon.com>
Co-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>
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
2 participants
@graydon @catamorphism