Fixed nits raised in review.

Various cosmetic improvements.

Removed copyright notices.

Merge pull request #646 from rchaser53/issue-58645

use copy_op directly insteadof write_scalar

use copy_op directly insteadof write_scalar

- fix volatile_store logic
- rename test to be able to read back from later
- expand test to use assert_eq! and confirm to fix volatile_store
- expand test to use assert_eq! and confirm normal load

Merge pull request #645 from RalfJung/box-alloc

test using the Global allocator trait to alloc/free a Box

test using the Global allocator trait to alloc/free a Box

Merge pull request #644 from matthewjasper/no-two-phase-matches

Remove test of two-phase borrows in match

Merge branch 'master' into no-two-phase-matches

Merge pull request #631 from RalfJung/btree

test BTree a bit more

bump Rust

Merge remote-tracking branch 'origin/master' into btree

Remove test of two-phase borrows in match

Merge pull request #642 from taiki-e/update-links

Update some links

Update some links

test BTree a bit more

Merge pull request #637 from RalfJung/profile

we can't have profiles because we are also in the rustc worksapce

we can't have profiles because we are also in the rustc worksapce

Merge pull request #634 from RalfJung/trophy-case

List some bugs that we found

link to bug list from intro

collect some bugs that we found

test VecDeque debug printing

Merge pull request #623 from RalfJung/fat-ptr-eq

Fix comparing fat pointers

fix async-fn test

update Rust

typo and comments

actually they should be equal

Fix comparing fat pointers

update for new bin_op APIs

Merge pull request #611 from RalfJung/str-index-mut

test mutable string slice indexing

bump Rust

Merge remote-tracking branch 'origin/master' into str-index-mut

Merge pull request #632 from RalfJung/memalign

implement and test posix_memalign

ignore overaligned tests on Windows (because, of course, Windows' API is broken here)

implement and test posix_memalign

Merge pull request #630 from RalfJung/rust-src

skip installing rust-src if XARGO_RUST_SRC is set

skip installing rust-src if XARGO_RUST_SRC is set

Merge pull request #626 from RalfJung/format-padding

test padding in format strings

fix ptr comparison test

update Rust

Merge branch 'master' into format-padding

Merge pull request #629 from RalfJung/rename

Rename things away from 'Shr'

rename things away from 'Shr' that are used for much more than just shared references

be more clear which stack we are talking about

Merge pull request #627 from RalfJung/appveyor

TIL that you can also use .appveyor.yml

Merge branch 'master' into appveyor

TIL that you can also use .appveyor.yml

Merge pull request #624 from RalfJung/args

implement passing arguments to the interpreted program

explain arument passing in the docs

also enable passing arguments through from cargo-miri

also pass actual arguments to Windows

fix build

implement passing arguments to the interpreted program

test padding in format strings

Merge pull request #625 from RalfJung/likely

fix (un)likely intrinsics

fix (un)likely intrinsics

Merge pull request #621 from RalfJung/bash

make bash more strict

Merge branch 'master' into bash

Merge pull request #620 from RalfJung/stderr-flush

we don't need to flush stderr

make bash more strict

we don't need to flush stderr

Merge pull request #619 from RalfJung/stderr-flush

flush stdout/stderr to make sure it appears on the screen

flush stdout/stderr to make sure it appears on the screen

Merge pull request #618 from RalfJung/cargo-miri

Fix cargo miri test on lib crates

Fix cargo miri test on lib crates

Merge pull request #617 from RalfJung/cargo-miri

update docs

update docs

Merge pull request #616 from RalfJung/cargo-miri

Fix cargo miri on unit tests, refactor it a bit, set rust flag instead of feature flag

update test for cargo-miri

cargo miri: refactor how we detect what to interpret and how we run cargo rustc, fix running unit tests

make release builds have debug info

Merge pull request #610 from RalfJung/panic

Support panic_impl and atomic_nand

test mutable string slice indexing

panic_impl is another way to panic

implement atomic_nand

Merge pull request #609 from RalfJung/readme

update development instructions in README

explain how to run cargo miri with a locally compiled rustc

update development instructions in README

Merge pull request #607 from solson/travis

Try out more email notifications

Try out more email notifications

Merge pull request #606 from solson/rustup

Rustup

bump Rust

fix generator test case

Merge pull request #604 from solson/rustup

Rustup

bump Rust

fix tests to avoid deprecated constants

Merge pull request #601 from RalfJung/comment

remove outdated comment

remove outdated comment

Merge pull request #600 from solson/rustup

Expose `AllocId`s for priroda

Explain Ref problems

Expose `AllocId`s for priroda

Merge pull request #599 from solson/rustup

Update to latest rustc master

Bump version file

Update to latest rustc master

Merge pull request #597 from RalfJung/range-map

rewrite range map

make MSE bench run a bit longer (less noise)

expand docs

add the benchmarks I used

tweak merging to give up if we don't make any progress

be explicit about doing a binary search; fix out-of-bounds check