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

Tutorial typos #2852

Closed
pcd1193182 opened this issue Jul 9, 2012 · 1 comment
Closed

Tutorial typos #2852

pcd1193182 opened this issue Jul 9, 2012 · 1 comment

Comments

@pcd1193182
Copy link

Section 10.1: "@ pointer type discussed in next section" is actually discussed in an earlier section, specifically section 8.
17.3 The example has variables "from_parent" and "to_parent", whereas the explanation refers to "from_par" and "to_par"
@brson brson closed this as completed in 6bdd498 Jul 9, 2012
@brson
Copy link
Contributor

brson commented Jul 9, 2012

Thanks! Fixed.

RalfJung pushed a commit to RalfJung/rust that referenced this issue Apr 28, 2023
@bors
Auto merge of rust-lang#2852 - loongarch-rs:master, r=RalfJung
fe0f490 
Add minimum alignment support for loongarch64

The [loongarch64-unknown-linux-gnu](rust-lang#96971) was added as a tier 3 target, add minimum alignment support for loongarch64 now.

Thanks
RalfJung pushed a commit to RalfJung/rust that referenced this issue Apr 30, 2023
@bors
Auto merge of rust-lang#2852 - loongarch-rs:master, r=RalfJung
197f3a0 
Add minimum alignment support for loongarch64

The [loongarch64-unknown-linux-gnu](rust-lang#96971) was added as a tier 3 target, add minimum alignment support for loongarch64 now.

Thanks
celinval added a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@celinval @adpaco-aws
Do not override std library during playback (rust-lang#2852)
0e4e241 
We override a few std functions to improve verification time or
verification results, however, those functions are quite helpful during
concrete execution. Thus, avoid overriding functions when executing
concrete playback.

Resolves rust-lang#2850

Co-authored-by: Adrian Palacios <73246657+adpaco-aws@users.noreply.github.com>
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
@pcd1193182 @brson