Code

Stacked Borrow: Barriers#553

Code

Merged

RalfJung merged 14 commits intomasterrust-lang/miri:masterfrom rustuprust-lang/miri:rustupCopy head branch name to clipboardNov 30, 2018

+368-237

Commits

Commits on Nov 27, 2018

• std::ptr no longer needs whitelisting

  RalfJung

  committed
  464dee8

  Copy full SHA for 464dee8

• adjust for memory_allocated hook, make RangeMap preallocated with a fixed size

  RalfJung

  committed
  e9370d2

  Copy full SHA for e9370d2

• track call IDs

  RalfJung

  committed
  215ec38

  Copy full SHA for 215ec38

• implement function barriers

  RalfJung

  committed
  dd94930

  Copy full SHA for dd94930

• for now, we allow Undef in raw pointers as we do in integers

  RalfJung

  committed
  5830995

  Copy full SHA for 5830995

• no barriers for boxes

  RalfJung

  committed
  194710e

  Copy full SHA for 194710e

• barriers prevent deallocation

  RalfJung

  committed
  97e010f

  Copy full SHA for 97e010f

Commits on Nov 28, 2018

• Merge remote-tracking branches 'origin/master' and 'ralf/shrink-whitelist' into memory-data-revived

  RalfJung

  committed
  6ca4fc7

  Copy full SHA for 6ca4fc7

• Typo

  Show description for 26fe778
  

  oli-obk

  and

  RalfJung

  authored
  26fe778

  Copy full SHA for 26fe778

• bump Rust version

  RalfJung

  committed
  3481e09

  Copy full SHA for 3481e09

• Merge remote-tracking branch 'origin/master' into rustup

  RalfJung

  committed
  c10811a

  Copy full SHA for c10811a

• disable async-fn, for now

  RalfJung

  committed
  fb72348

  Copy full SHA for fb72348

Commits on Nov 29, 2018

• async fn got fixed

  RalfJung

  committed
  42e73b5

  Copy full SHA for 42e73b5

Commits on Nov 30, 2018

• new nightly, new luck

  RalfJung

  committed
  3999db1

  Copy full SHA for 3999db1