Two Kinds of Invariants: Safety and Validity
|
|
27
|
5719
|
March 25, 2019
|
Reordering of writes via differently-typed pointers
|
|
14
|
2024
|
March 25, 2019
|
Proposal for Unsafe Code Guidelines process
|
|
9
|
1213
|
March 25, 2019
|
`DerefMove` vs `&move`
|
|
5
|
2783
|
March 25, 2019
|
Proposal: reboot the Unsafe Code Guidelines team as a Working Group
|
|
23
|
3082
|
March 25, 2019
|
Types as Contracts
|
|
118
|
11678
|
March 25, 2019
|
Don't warn about nested unsafe blocks by default?
|
|
20
|
2669
|
March 25, 2019
|
What does `unsafe` mean?
|
|
66
|
10839
|
March 25, 2019
|
Idea to disallow multiple imports of a `-sys` crate
|
|
18
|
1269
|
March 25, 2019
|
Disabling 'unsafe' by default
|
|
19
|
9829
|
March 25, 2019
|
Support C APIs designed for safe unwinding
|
|
12
|
2540
|
March 25, 2019
|
Rust 1.20 caused pinning to become incorrect
|
|
35
|
5259
|
March 25, 2019
|
Role of UB / uninitialized memory
|
|
78
|
9530
|
March 25, 2019
|
Taming Undefined Behavior in LLVM
|
|
6
|
2259
|
March 25, 2019
|
Types as Contracts: Implementation and Evaluation
|
|
20
|
3199
|
March 25, 2019
|
Rules for alignment and non-NULLness of references
|
|
21
|
3041
|
March 25, 2019
|
Overflow checks and unsafe code
|
|
10
|
1831
|
March 25, 2019
|
Next steps for the unsafe code guidelines
|
|
29
|
6160
|
March 25, 2019
|
Canvas unsafe code in the wild
|
|
25
|
8046
|
March 25, 2019
|
Blog post: Thoughts on trusting types and unsafe code
|
|
47
|
5920
|
March 25, 2019
|
Unaligned SIMD (SSE2 in particular) loads/stores
|
|
4
|
2645
|
March 25, 2019
|
Replace_with RFC
|
|
4
|
1512
|
March 25, 2019
|
Pre-RFC: #[single_repr] attribute for ADTs
|
|
5
|
1249
|
March 25, 2019
|
Notes on safe reachability for Rust
|
|
2
|
1145
|
March 25, 2019
|
Blog post: observatonal equivalence and unsafe code
|
|
27
|
4959
|
March 25, 2019
|
Unsafe code meetings?
|
|
2
|
1073
|
March 25, 2019
|
Related Work Summaries
|
|
1
|
878
|
March 25, 2019
|
Organizing the rust-memory-model repo
|
|
3
|
1183
|
March 25, 2019
|
Discussing high-level direction
|
|
6
|
1740
|
March 25, 2019
|
Next steps for unsafe code guidelines
|
|
13
|
5137
|
March 25, 2019
|