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

Implement buffer-growing send #46

Closed
graydon opened this issue Jun 22, 2010 · 2 comments
Closed

Implement buffer-growing send #46

graydon opened this issue Jun 22, 2010 · 2 comments

Comments

@graydon
Copy link
Contributor

graydon commented Jun 22, 2010

The <+ operator doesn't even parse yet, much less function.

@graydon
Copy link
Contributor Author

graydon commented Jan 27, 2011

Shifted to rustc. Don't care about the rustboot one; not required for bootstrapping.

@graydon
Copy link
Contributor Author

graydon commented Aug 25, 2011

Obsolete operator, will be done in a library now if ever.

@graydon graydon closed this as completed Aug 25, 2011
oli-obk pushed a commit to oli-obk/rust that referenced this issue Jul 19, 2017
rustup to rustc 1.13.0-nightly (91f057d 2016-09-04)
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
kazcw pushed a commit to kazcw/rust that referenced this issue Oct 23, 2018
Always test intrinsics unconditionally
rchaser53 pushed a commit to rchaser53/rust that referenced this issue Jan 19, 2019
RalfJung pushed a commit to RalfJung/rust that referenced this issue Dec 5, 2019
eddyb pushed a commit to eddyb/rust that referenced this issue Jun 30, 2020
bors bot referenced this issue in softdevteam/alloy Apr 29, 2021
46: Bump timeout limit for bors r=ltratt a=jacob-hughes



Co-authored-by: Jake Hughes <jh@jakehughes.uk>
jaisnan added a commit to jaisnan/rust-dev that referenced this issue Aug 16, 2024
The CI job for subtree update timesout because it takes more than 6hrs.
While we figure out how to solve that problem, this process makes sure
there's an automated way for anyone to update the repo's subtree hosted
library, with a one click script/command.

The structure of this process follows the (would-be) CI workflow closely
i.e

1. Call `scripts/run_update_with_checks.sh` 
2. This script in turn calls the other scripts in order
3. Pull and update local `subtree/library` with updates from
[rust-lang](https://github.com/rust-lang/rust)
4. Merge `subtree/library` onto local `SYNC-{DATE}` where {DATE} is the
date tracked by Kani's `features/verify-rust-std` branch.
5. Update toolchain to the date tracked by kani's
`features/verify-rust-std` branch and commit.
6. Test this branch with `check_rustc` which checks for compilation
compatibility of the updated library and `check_kani` which checks that
Kani's injected harnesses verify as expected.

## Call-out

This currently only automates the process of updating the subtree and
running all checks on it. After that, the process of issuing a PR from
the SYNC-DATE branch of the local repo is still in the responsibility of
the dev running the script.

There is ongoing work to automate the process of writing/pushing
branches as well.

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
None yet
Projects
None yet
Development

No branches or pull requests

1 participant