Code

define (un)sound and UB#190

Code

Merged

gnzlbg merged 6 commits intorust-lang:masterrust-lang/unsafe-code-guidelines:masterfrom

RalfJung:soundnessRalfJung/unsafe-code-guidelines:soundnessCopy head branch name to clipboard

Aug 27, 2019

Commits

Commits on Aug 5, 2019

• define (un)sound

  RalfJung

  committed
  160e361

  Copy full SHA for 160e361

• less awkward

  RalfJung

  committed
  e8860ce

  Copy full SHA for e8860ce

Commits on Aug 6, 2019

• use soundness in explaining the safety invariant

  RalfJung

  committed
  f7a0a3a

  Copy full SHA for f7a0a3a

• define UB and give some context to soundness

  RalfJung

  committed
  849d3bf

  Copy full SHA for 849d3bf

Commits on Aug 7, 2019

• Full stop

  Show description for 7c04179
  

  RalfJung

  and

  Centril

  authored
  7c04179

  Copy full SHA for 7c04179

Commits on Aug 15, 2019

• compiler and unsafe code authors share this burden

  RalfJung

  committed
  53aec0b

  Copy full SHA for 53aec0b