Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 15, 2017

• Merge pull request rust-lang#355 from solson/upstreamed

  Show description for 4654d6d
  oli-obk

  authored
  4654d6d

• Also update rustc_tests to unrelated rustc changes

  oli-obk

  committed
  aa9177f

• Without a Cargo.lock it makes no sense to use --locked

  oli-obk

  committed
  fc587ac

Commits on Dec 14, 2017

• Move validation from rustc to miri

  oli-obk

  committed
  bde093f

Commits on Dec 6, 2017

• Remove type_size and type_align calls

  oli-obk

  committed
  eccf680

• Rename lvalue to place

  oli-obk

  committed
  dd630a2

Commits on Dec 5, 2017

• Update to latest rustc changes

  oli-obk

  committed
  bf26b96

Commits on Nov 30, 2017

• Compiler bug

  oli-obk

  committed
  fd77411

Commits on Nov 27, 2017

• Use correct alignment

  oli-obk

  committed
  ab0a805

• Update error messages

  oli-obk

  committed
  4e8b945

Commits on Nov 21, 2017

• Rustup after layout optimizations

  oli-obk

  committed
  a107f14

Commits on Nov 2, 2017

• Rustup

  oli-obk

  committed
  6dbfe23

Commits on Oct 16, 2017

• Rustup

  oli-obk

  committed
  25e0f5b

Commits on Oct 12, 2017

• repeat expressions abort due to OOM instead of execution time exhaustion

  oli-obk

  committed
  0424302

• Use host floats for the intrinsics that we don't have soft float impls for

  oli-obk

  committed
  f7f789a

Commits on Oct 6, 2017

• Use numbers instead of indentations

  Show description for 072c02f
  oli-obk

  committed
  072c02f

• Use rustc's logging libraries in order to be able to log rustc::mir::interpret

  oli-obk

  committed
  8d546e8

• Miri core has moved to rustc::mir::interpret

  oli-obk

  committed
  52599ad

Commits on Sep 30, 2017

• Merge pull request rust-lang#354 from king6cong/readme

  Show description for cf0f6da
  oli-obk

  authored
  cf0f6da

• Merge branch 'master' into readme

  oli-obk

  authored
  fd5eded

• Merge pull request rust-lang#353 from king6cong/master

  Show description for cf4b28a
  oli-obk

  authored
  cf4b28a

• update README.md

  king6cong

  committed
  3d1332d

• update trans_fulfill_obligation call signature

  king6cong

  committed
  6221bbc

Commits on Sep 27, 2017

• Merge pull request rust-lang#351 from RalfJung/exchange_malloc

  Show description for ed674f7
  oli-obk

  authored
  ed674f7

Commits on Sep 25, 2017

• fix oom2 test

  RalfJung

  committed
  6e86503

• use exchange_malloc lang item for Box statements

  RalfJung

  committed
  a8980fd

Commits on Sep 22, 2017

• Merge pull request rust-lang#350 from RalfJung/inhabited

  Show description for a5503a3
  eddyb

  authored
  a5503a3

• get rid of ad-hoc inhabitedness test

  RalfJung

  committed
  1ad9709

Commits on Sep 19, 2017

• Merge pull request rust-lang#348 from RalfJung/tests

  Show description for 728e664
  oli-obk

  authored
  728e664

• update compiletest

  RalfJung

  committed
  383153f

Commits on Sep 18, 2017

• Merge pull request rust-lang#347 from RalfJung/readme

  Show description for 11e4859
  oli-obk

  authored
  11e4859

• fix AppVeyor URL

  RalfJung

  committed
  44fac71

• README: show AppVeyor status

  RalfJung

  committed
  bf890b9

• Merge pull request rust-lang#346 from solson/oli-obk-patch-3

  Show description for b20c038
  RalfJung

  authored
  b20c038

Commits on Sep 17, 2017

• Only run appveyor on the master branch and on PRs

  oli-obk

  authored
  8419abe

Pagination

PreviousNext