Skip to content

Move the implementation of vec_append from llvm assembly to a regular upcall#471

Closed
msullivan wants to merge 4 commits intorust-lang:masterfrom
msullivan:fix_vec_append2
Closed

Move the implementation of vec_append from llvm assembly to a regular upcall#471
msullivan wants to merge 4 commits intorust-lang:masterfrom
msullivan:fix_vec_append2

Conversation

@msullivan
Copy link
Contributor

No description provided.

@msullivan msullivan closed this Jun 10, 2011
Aaron1011 pushed a commit to Aaron1011/rust that referenced this pull request Oct 26, 2020
ZuseZ4 pushed a commit to EnzymeAD/rust that referenced this pull request Mar 7, 2023
celinval pushed a commit to celinval/rust-dev that referenced this pull request Jun 4, 2024
* Draft of initial RMC documentation

* revisions in response to feedback
GuillaumeGomez pushed a commit to GuillaumeGomez/rust that referenced this pull request Jul 10, 2024
tautschnig referenced this pull request in model-checking/verify-rust-std Jun 17, 2025
calebzulawski added a commit to calebzulawski/rust that referenced this pull request Jan 28, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant