-
Notifications
You must be signed in to change notification settings - Fork 13.2k
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
Teach rustc to do vec-append / growth #218
Labels
E-easy
Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Milestone
Comments
Working at or around f017a9e |
oli-obk
added a commit
to oli-obk/rust
that referenced
this issue
Jul 19, 2017
Initial work towards checking const eval rules in miri
keeperofdakeys
pushed a commit
to keeperofdakeys/rust
that referenced
this issue
Dec 12, 2017
Bump to 0.2.8
kazcw
pushed a commit
to kazcw/rust
that referenced
this issue
Oct 23, 2018
* [sse] add _mm_{min, max}_{pi16, pu8} * format docs
Aaron1011
pushed a commit
to Aaron1011/rust
that referenced
this issue
Oct 26, 2020
ZuseZ4
pushed a commit
to EnzymeAD/rust
that referenced
this issue
Mar 7, 2023
* implemented select inst for forward mode * fixed return activity check
matthiaskrgr
pushed a commit
to matthiaskrgr/rust
that referenced
this issue
Mar 7, 2023
…root Fix build of release sysroot in test.sh
carolynzech
pushed a commit
to celinval/rust-dev
that referenced
this issue
Dec 13, 2024
With model-checking/kani#3670 having been addressed we re-enabled harnesses in rust-lang#211. Yet the comment explaining previously-commented-out-harnesses stayed in place. Removing it for it no longer applies. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
E-easy
Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Rustc doesn't have any support for appending to vectors. Needs it.
The text was updated successfully, but these errors were encountered: