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.

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

More work on typestate. Sketched out code for computing and checking pres #312

Closed
wants to merge 1 commit into from

Conversation

@catamorphism
Copy link
Contributor

commented Apr 5, 2011

More work on typestate. Sketched out code for computing and checking prestates and poststates. Still a long ways away.

More work on typestate. Sketched out code for computing and checking …
…prestates and poststates. Still a long ways away.
@graydon

This comment has been minimized.

Copy link
Contributor

commented Apr 6, 2011

Integrated.

@graydon graydon closed this Apr 6, 2011

oli-obk pushed a commit to oli-obk/rust that referenced this pull request Sep 19, 2017
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this pull request Dec 12, 2017
Auto merge of rust-lang#312 - nbaksalyar:master, r=alexcrichton
Fix semaphores on Solaris/Illumos

This adds `sem_t` structure introduced in rust-lang/libc#309 and fixes compilation on Solaris.
kazcw pushed a commit to kazcw/rust that referenced this pull request Oct 23, 2018
Run-time feature detection for AES-NI and TSC (rust-lang#312)
* add runtime detection for aes-ni

* fmtting and fixing some clippy issues

* add runtime-feature detection for tsc

* fix remaining clippy issues

* manually fix some formatting issues

* increase feature cache size

* use 2x AtomicU32 on 32-bit targets as the feature cache

* use the new cache in stdsimd
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.