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

Get generic tags working #212

Closed
graydon opened this issue Jan 27, 2011 · 1 comment
Closed

Get generic tags working #212

graydon opened this issue Jan 27, 2011 · 1 comment

Comments

@graydon
Copy link
Contributor

graydon commented Jan 27, 2011

Generics only work in rustc for types and functions. Get tags working.
@pcwalton
Copy link
Contributor

All of the generic tag testcases now pass!

arielb1 pushed a commit to arielb1/rust that referenced this issue Apr 10, 2015
@nrc
Merge pull request rust-lang#452 from tbu-/pr_inti32
da7d52e 
Change RFC rust-lang#212 (integer fallback) to use `i32` instead of `int` as the fallback
oli-obk added a commit to oli-obk/rust that referenced this issue Jul 19, 2017
@oli-obk
Merge pull request rust-lang#212 from oli-obk/zero_sense_types
8c6c6d7 
Remove the zst allocation
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
@alexcrichton
Merge pull request rust-lang#212 from alexcrichton/merge
e19309c 
Merge a few PRs together
dlrobertson pushed a commit to dlrobertson/rust that referenced this issue Nov 29, 2018
@QuietMisdreavus
Merge pull request rust-lang#212 from cody/glossary-typos
6c27ff3 
Fix typos in glossary.md
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this issue Mar 7, 2023
@tgymnich
Refactor top level (rust-lang#212)
6f78640 
replace topLevel with mode
carolynzech pushed a commit to celinval/rust-dev that referenced this issue Dec 13, 2024
@stogaru @xsxszab
@MayureshJoshi25 @tautschnig @szlee118 @feliperodri
Proofs for Vec::swap_remove, Option::as_slice, and `VecDeque::swa…
955577c 
…p` (rust-lang#212)

Resolves: rust-lang#76

### Changes
* Adds proofs for the following functions using raw pointer operations:
  * `Vec::swap_remove`
  * `Option::as_slice`
  * `VecDeque::swap`
* ideally the usages should have been verified by stubbing the contracts
for reaw pointer operations like `byte_add`, `add` and `offset`, but
stubbing cannot be done for these functions at this time due to
model-checking/kani#3732
* Marks Challenge 3 as Resolved and changes its end date.
* Adds contributors.

#### PoCs:
* `Vec::swap_remove`: @MayureshJoshi25
* `Option::as_slice`, `VecDeque::swap`: @stogaru 

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: Yifei Wang <1277495324@qq.com>
Co-authored-by: MayureshJoshi25 <jmayuresh25@gmail.com>
Co-authored-by: Yifei Wang <40480373+xsxszab@users.noreply.github.com>
Co-authored-by: Michael Tautschnig <tautschn@amazon.com>
Co-authored-by: szlee118 <szlee118@gmail.com>
Co-authored-by: szlee118 <33711285+szlee118@users.noreply.github.com>
Co-authored-by: Felipe R. Monteiro <rms.felipe@gmail.com>
This issue was closed.
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
@graydon @pcwalton