ia0 unsafe-mental-model issues - Githubissues

ia0 / unsafe-mental-model

Mental model for unsafe in Rust

https://ia0.github.io/unsafe-mental-model/

8 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Discussion about robust blocks

#19 ia0 opened 2 weeks ago
2
Add String::as_mut_vec() to the quick start

#18 ia0 closed 7 months ago
0
Add chapter about how update type would look like in Rust

#17 ia0 closed 7 months ago
0
Expand Box::into_raw() with its polymorphic version

#16 ia0 closed 7 months ago
0
Add Box::into_raw() to the quick start

#15 ia0 closed 7 months ago
0
Add example of unsafe block

#14 ia0 closed 7 months ago
0
Explain better how execution states are filtered

#13 ia0 closed 7 months ago
0
Add a quick start chapter

#12 ia0 closed 7 months ago
0
Add more chapters about examples

#11 ia0 opened 7 months ago
0
Explicit that Pin predicates are type specific

#10 ia0 closed 7 months ago
0
Add description of Pin

#9 ia0 closed 7 months ago
0
Name the 2 types of mutable references

#8 ia0 closed 7 months ago
0
Add more type theory comments

#7 ia0 closed 7 months ago
0
Add chapter for mutable references

#6 ia0 closed 7 months ago
0
Fix the reason why pinned values are unsafe

#5 ia0 closed 7 months ago
0
Clarify that validity invariant of NonNull is ignored

#4 ia0 closed 7 months ago
0
NonZeroI32 does not have unsafe values

#3 ia0 closed 7 months ago
0
Add a chapter about Pin with examples

#2 ia0 opened 7 months ago
0
The non-nullness of NonNull is actually a validity invariant

#1 ia0 closed 7 months ago
0