Code

Define sound and unsound#647

Code

Merged

Centril merged 4 commits intorust-lang:masterrust-lang/reference:masterfrom

RalfJung:soundRalfJung/reference:soundCopy head branch name to clipboard

Aug 6, 2019

Commits

Commits on Aug 5, 2019

• sound and unsound

  RalfJung

  committed
  3724dab

  Copy full SHA for 3724dab

Commits on Aug 6, 2019

• Apply suggestions from code review

  Show description for 1ef61c3
  

  RalfJung

  and

  Centril

  authored
  1ef61c3

  Copy full SHA for 1ef61c3

• no excuse

  RalfJung

  committed
  95995e5

  Copy full SHA for 95995e5

• quantifying more explicitly over all clients

  RalfJung

  committed
  3597e8f

  Copy full SHA for 3597e8f