Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Dec 2, 2015

• Corrected "updated" date in Lifetimes

  hsutter

  committed
  a8b6bf4

  Copy full SHA for a8b6bf4

• Updated Lifetimes to address issue #307, and rename array_view to span

  hsutter

  committed
  314300f

  Copy full SHA for 314300f

Commits on Oct 12, 2015

• Fixed a typo

  hsutter

  committed
  f91fdc4

  Copy full SHA for f91fdc4

Commits on Oct 7, 2015

• Added Intro to type/resource safety paper

  hsutter

  committed
  9aa9f29

  Copy full SHA for 9aa9f29

Commits on Oct 2, 2015

• Formal account of the soundness of RAII for local objects

  gdr-at-ms

  committed
  f3780fa

  Copy full SHA for f3780fa

Commits on Sep 29, 2015

• Added more explanation to Example 5.2 and fixed a typo

  hsutter

  committed
  cda8d7a

  Copy full SHA for cda8d7a

Commits on Sep 22, 2015

• Added current draft of Lifetimes I and II paper

  hsutter

  committed
  09aef9b

  Copy full SHA for 09aef9b

Loading