More work on typestate. Sketched out code for computing and checking pres #312
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…prestates and poststates. Still a long ways away.
|
Integrated. |
oli-obk
pushed a commit
to oli-obk/rust
that referenced
this pull request
Sep 19, 2017
update compiletest, use tempdir
keeperofdakeys
pushed a commit
to keeperofdakeys/rust
that referenced
this pull request
Dec 12, 2017
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
* 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
antoyo
added a commit
to antoyo/rust
that referenced
this pull request
Oct 9, 2023
Add support for `noalias` function parameters
carolynzech
pushed a commit
to carolynzech/rust
that referenced
this pull request
Apr 17, 2025
This is an automated PR to merge library subtree updates from 2025-03-18 (rust-lang/rust@43a2e9d) to 2025-04-01 (rust-lang/rust@0b45675) (inclusive) into main. `git merge` resulted in conflicts, which require manual resolution. Files were commited with merge conflict markers. **Do not remove or edit the following annotations:** git-subtree-dir: library git-subtree-split: c60865a --------- Signed-off-by: xizheyin <[email protected]> Signed-off-by: Sean Cross <[email protected]> Signed-off-by: Jiahao XU <[email protected]> Signed-off-by: Ayush Singh <[email protected]> Co-authored-by: Nicole LeGare <[email protected]> Co-authored-by: Nicole LeGare <[email protected]> Co-authored-by: Nicole L <[email protected]> Co-authored-by: Kevin Reid <[email protected]> Co-authored-by: Scott McMurray <[email protected]> Co-authored-by: Arjun Ramesh <[email protected]> Co-authored-by: bors <[email protected]> Co-authored-by: xizheyin <[email protected]> Co-authored-by: Pavel Grigorenko <[email protected]> Co-authored-by: Oli Scherer <[email protected]> Co-authored-by: Trevor Gross <[email protected]> Co-authored-by: Jakub Beránek <[email protected]> Co-authored-by: Ralf Jung <[email protected]> Co-authored-by: Sean Cross <[email protected]> Co-authored-by: Aurelia Molzer <[email protected]> Co-authored-by: Eric Huss <[email protected]> Co-authored-by: bjorn3 <[email protected]> Co-authored-by: Matthias Krüger <[email protected]> Co-authored-by: beetrees <[email protected]> Co-authored-by: Josh Stone <[email protected]> Co-authored-by: Thalia Archibald <[email protected]> Co-authored-by: Berrysoft <[email protected]> Co-authored-by: Mara Bos <[email protected]> Co-authored-by: Manish Goregaokar <[email protected]> Co-authored-by: ClearLove <[email protected]> Co-authored-by: Thom Chiovoloni <[email protected]> Co-authored-by: Jiahao XU <[email protected]> Co-authored-by: Michael Goulet <[email protected]> Co-authored-by: The Miri Cronjob Bot <[email protected]> Co-authored-by: Jacob Pratt <[email protected]> Co-authored-by: Tobias Bucher <[email protected]> Co-authored-by: León Orell Valerian Liehr <[email protected]> Co-authored-by: Yotam Ofek <[email protected]> Co-authored-by: okaneco <[email protected]> Co-authored-by: 许杰友 Jieyou Xu (Joe) <[email protected]> Co-authored-by: Guillaume Gomez <[email protected]> Co-authored-by: Ayush Singh <[email protected]> Co-authored-by: Noratrieb <[email protected]> Co-authored-by: Marijn Schouten <[email protected]> Co-authored-by: Ibraheem Ahmed <[email protected]> Co-authored-by: Chris Denton <[email protected]> Co-authored-by: Taiki Endo <[email protected]> Co-authored-by: bendn <[email protected]> Co-authored-by: Caleb Zulawski <[email protected]> Co-authored-by: Jana Dönszelmann <[email protected]> Co-authored-by: syvb <[email protected]> Co-authored-by: Sebastian Urban <[email protected]> Co-authored-by: Bardi Harborow <[email protected]> Co-authored-by: moxian <[email protected]> Co-authored-by: Frank King <[email protected]> Co-authored-by: joboet <[email protected]> Co-authored-by: Takayuki Maeda <[email protected]> Co-authored-by: DaniPopes <[email protected]> Co-authored-by: Mads Marquart <[email protected]> Co-authored-by: Christopher Durham <[email protected]> Co-authored-by: Rafael Bachmann <[email protected]> Co-authored-by: Benoît du Garreau <[email protected]> Co-authored-by: Daniel Henry-Mantilla <[email protected]> Co-authored-by: mejrs <[email protected]> Co-authored-by: gitbot <git@bot> Co-authored-by: Michael Tautschnig <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
More work on typestate. Sketched out code for computing and checking prestates and poststates. Still a long ways away.