Commit Graph

2224 Commits

Author SHA1 Message Date
Ralf Jung
dc859f345d Merge remote-tracking branch 'origin/master' into rustup 2018-11-02 14:32:56 +01:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
b1be4ee564
Merge pull request #504 from RalfJung/crate
use crate:: imports where appropriate
2018-11-01 12:16:14 +01:00
Ralf Jung
a68779fd16 use crate:: import to make edition port easier later 2018-11-01 09:00:09 +01:00
Ralf Jung
81534496dc rename RefKind to UsageKind, because it not only used for references now 2018-11-01 08:58:03 +01:00
Ralf Jung
478f137c39 put all the logic into reactivatable() 2018-11-01 08:58:03 +01:00
Ralf Jung
3302656247 More extensive slice and vec tests
Not all of them pass validation...
2018-11-01 08:58:03 +01:00
Ralf Jung
430e047a6f start collecting some things ALLOWED by stacked borrows in a run-pass test 2018-11-01 08:58:03 +01:00
Ralf Jung
85f821d7e9 unify checks on memory access and reborrowing, and update for Machine trait change 2018-11-01 08:58:03 +01:00
Ralf Jung
bba3c49e84 basic retagging (no fn_entry); this also makes us catch more bugs even with optimizations and we can finally stop mutating the state on deref 2018-11-01 08:58:03 +01:00
Ralf Jung
7ac0e79ad5 stub Retag hook; fix tests for removal of -Zmir-emit-validate 2018-11-01 08:58:03 +01:00
Ralf Jung
fba55ba2a9 make the -Z flags we use more consistent 2018-11-01 08:58:03 +01:00
Ralf Jung
27b1f47b0a use crate:: where appropriate 2018-11-01 08:57:22 +01:00
Ralf Jung
2833b54100
Merge pull request #503 from RalfJung/atomic-arith
Reject atomic arithmetic on non-integer types
2018-10-31 13:02:37 +01:00
Ralf Jung
1fe925e758
Merge branch 'master' into atomic-arith 2018-10-31 11:19:26 +01:00
Ralf Jung
75f667e000
Merge pull request #502 from RalfJung/debug
Improve debug env var handling
2018-10-31 11:19:12 +01:00
Ralf Jung
40b7502613 Reject atomic arithmetic on non-integer types
Fixes #181
2018-10-31 11:04:35 +01:00
Ralf Jung
016009a301 properly recognize log levels 2018-10-31 10:58:19 +01:00
Ralf Jung
5397f2e436 when using MIRI_LOG, avoid logging for what rustc does before miri gets started 2018-10-31 10:53:37 +01:00
Ralf Jung
7a6a68731e remove unused extern crate 2018-10-31 10:19:20 +01:00
Ralf Jung
8f811fe12f update README 2018-10-31 10:16:50 +01:00
Ralf Jung
cd256448d5 dumping locals with MIRI_BACKTRACE=1 is feasible now 2018-10-31 10:16:42 +01:00
Ralf Jung
eb153810e3 Use MIRI_ env vars to set RUST_ ones
This means we can do `MIRI_LOG=debug cargo run` and get something reasonable,
even if cargo has to build some dependencies first.
2018-10-31 10:09:55 +01:00
Ralf Jung
f0c1f18314
Merge pull request #501 from RalfJung/travis
rewrite cargo-miri test in Python
2018-10-30 15:29:45 +01:00
Ralf Jung
8fe51ca669 try to find python3 on macOS 2018-10-30 15:07:40 +01:00
Ralf Jung
f6b1f9e487 rewrite cargo-miri test in Python 2018-10-30 11:26:53 +01:00
Ralf Jung
9c57f2ba35
Merge pull request #492 from solson/rustup
Stacked Borrows NG
2018-10-30 11:05:56 +01:00
Ralf Jung
1fa0ff88c0 fix nits 2018-10-30 10:41:01 +01:00
Ralf Jung
9c9552260c test cargo-miri without validation, and fix how we invoke it so we see output in case of failure 2018-10-30 10:40:28 +01:00
Ralf Jung
6cbe280094 Merge remote-tracking branch 'origin/master' into rustup 2018-10-30 09:40:18 +01:00
Ralf Jung
a48b2cc4e9 disable validation for some tests that need further investigation 2018-10-30 09:40:01 +01:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
af05d1d397
Merge pull request #499 from RalfJung/test-opt
MIR optimization level 3 works again :)
2018-10-30 09:22:59 +01:00
Ralf Jung
942204ee32 bump Rust version 2018-10-30 08:40:50 +01:00
Ralf Jung
559f63a2b6 Merge remote-tracking branch 'origin/master' into rustup 2018-10-30 08:40:30 +01:00
Ralf Jung
cba30e8e8b opt level 3 works again :) 2018-10-29 11:51:22 +01:00
Ralf Jung
f86c706df2
Merge pull request #498 from RalfJung/rustup
Update for generate_stacktrace return type change
2018-10-29 10:04:41 +01:00
Ralf Jung
f7741bcfe0 bump compiletest 2018-10-29 09:15:58 +01:00
Ralf Jung
4ccdcdcace rustup 2018-10-29 09:15:15 +01:00
Ralf Jung
4a98f64142 Merge remote-tracking branch 'origin/master' into rustup 2018-10-26 15:06:21 +02:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
09a3f7265e
Merge pull request #495 from RalfJung/no-null
Avoid using is_null
2018-10-25 12:31:17 +01:00
Ralf Jung
d890a70c39 update for is_null removal 2018-10-25 11:37:42 +02:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
c02988b1c3
Merge pull request #494 from RalfJung/readme
update README
2018-10-24 17:01:38 +01:00
Ralf Jung
8f9ca242fa expand -Z flag docs 2018-10-24 15:32:51 +02:00
Ralf Jung
86aa8352c6 Work on miri installation and usage instructions 2018-10-24 15:29:48 +02:00
Ralf Jung
1cbed5ca35
Merge pull request #483 from apoelstra/2018-10-readme
improve README instructions for using `rustup` and for compiling separate crates
2018-10-24 15:07:22 +02:00
Ralf Jung
a34b9c7b70 make some things public for the benefit of priroda 2018-10-24 11:39:31 +02:00
Andrew Poelstra
5347411a2d README: remove "specific nightly" instructions and use +nightly throughout
Also replace `cargo miri test` with `cargo miri` in general examples.
2018-10-23 15:22:14 +00:00
Andrew Poelstra
abda1a8ebb rename rust-toolchain to rust-version; add note to README about usage 2018-10-23 15:22:14 +00:00
Andrew Poelstra
3dcf655eea readme: pull "common problems" into their own section 2018-10-23 15:22:14 +00:00
Andrew Poelstra
f77b292948 added line indicating that build.sh and cargo miri need the same toolchain 2018-10-23 15:22:14 +00:00
Andrew Poelstra
95f740600c improve README instructions for using rustup and for compiling separate Cargo projects 2018-10-23 15:22:14 +00:00