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

Use a native stack in os::global_env::get_global_env_chan #2621

Closed
catamorphism opened this issue Jun 15, 2012 · 1 comment
Closed

Use a native stack in os::global_env::get_global_env_chan #2621

catamorphism opened this issue Jun 15, 2012 · 1 comment

Comments

@catamorphism
Copy link
Contributor

as per a FIXME.
@msullivan
Copy link
Contributor

Ok, so, the strings "global_env" and "get_global_env_chan" don't appear in the source anymore, so I'm going to close this bug...

RalfJung pushed a commit to RalfJung/rust that referenced this issue Oct 29, 2022
@bors
Auto merge of rust-lang#2621 - RalfJung:windows-gnu, r=RalfJung
2b160e8 
test on windows-gnu target

The windows-gnu target for an open-source windows toolchain is slightly different in some low-level aspects of the standard library, such as TLS handling. So let's separately ensure that this works. (Also tests a 64bit windows target on a windows host, which we didn't have so far.)
Aaron1011 pushed a commit to Aaron1011/rust that referenced this issue Jan 6, 2023
@bors
Auto merge of rust-lang#2621 - RalfJung:windows-gnu, r=RalfJung
e747692 
test on windows-gnu target

The windows-gnu target for an open-source windows toolchain is slightly different in some low-level aspects of the standard library, such as TLS handling. So let's separately ensure that this works. (Also tests a 64bit windows target on a windows host, which we didn't have so far.)
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 <[email protected]>
Co-authored-by: Felipe R. Monteiro <[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
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@msullivan @catamorphism