Issues

• Possible utility of 'unsafe lifetime in memory model

  K-Model
  rust-lang/rust-memory-model#37 · Filter by author jpernst opened on Mar 15, 2017
  1

• Can we use some notion of safe reachability for legal unsafe code?

  K-Model
  rust-lang/rust-memory-model#34 · Filter by author asajeffrey opened on Oct 3, 2016
  6

• Unsafe Mutability Polymorphism

  K-Code-Example
  rust-lang/rust-memory-model#31 · Filter by author arielb1 opened on Sep 25, 2016
  1

• Capability-based Aliasing Model

  K-ModelT-lang
  rust-lang/rust-memory-model#28 · Filter by author arielb1 opened on Sep 15, 2016
  5

• using random pointers, but only guarded by an if comparison

  K-Code-Example
  rust-lang/rust-memory-model#27 · Filter by author nikomatsakis opened on Sep 12, 2016
  2

• Asserting-Conflicting-Access Model

  K-Model
  rust-lang/rust-memory-model#26 · Filter by author nikomatsakis opened on Sep 12, 2016
  11

• Basic &mut noalias optimization in unsafe code

  K-OptimizationT-lang
  rust-lang/rust-memory-model#24 · Filter by author arielb1 opened on Sep 10, 2016

• "Tootsie Pop" model

  K-ModelTootsie Pop
  rust-lang/rust-memory-model#21 · Filter by author nikomatsakis opened on Sep 3, 2016
  7

• optimizing around unchecked-get

  K-OptimizationTootsie Pop
  rust-lang/rust-memory-model#20 · Filter by author nikomatsakis opened on Sep 3, 2016
  2