Search results

Possible utility of 'unsafe lifetime in memory model

K-Model

Status: Open.

#37 In rust-lang/rust-memory-model;

· jpernst opened on Mar 15, 2017

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

K-Model

Status: Open.

#34 In rust-lang/rust-memory-model;

· asajeffrey opened on Oct 3, 2016

Unsafe Mutability Polymorphism

K-Code-Example

Status: Open.

#31 In rust-lang/rust-memory-model;

· arielb1 opened on Sep 25, 2016

Capability-based Aliasing Model

K-Model

T-lang

Status: Open.

#28 In rust-lang/rust-memory-model;

· arielb1 opened on Sep 15, 2016

using random pointers, but only guarded by an <code>if</code> comparison

K-Code-Example

Status: Open.

#27 In rust-lang/rust-memory-model;

· nikomatsakis opened on Sep 12, 2016

Asserting-Conflicting-Access Model

K-Model

Status: Open.

#26 In rust-lang/rust-memory-model;

· nikomatsakis opened on Sep 12, 2016

Basic <code>&amp;mut</code> noalias optimization in unsafe code

K-Optimization

T-lang

Status: Open.

#24 In rust-lang/rust-memory-model;

· arielb1 opened on Sep 10, 2016

"Tootsie Pop" model

K-Model

Tootsie Pop

Status: Open.

#21 In rust-lang/rust-memory-model;

· nikomatsakis opened on Sep 3, 2016

optimizing around unchecked-get

K-Optimization

Tootsie Pop

Status: Open.

#20 In rust-lang/rust-memory-model;

· nikomatsakis opened on Sep 3, 2016