Ralf Jung
|
1d2877d773
|
Merge pull request #506 from solson/rustup
Rustup for retagging
|
2018-11-03 12:04:17 +01:00 |
|
Ralf Jung
|
cb691b7ed9
|
comment on mut-to-shr transmutes
|
2018-11-03 11:42:38 +01:00 |
|
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
|
8ac5d988e2
|
typo
Co-Authored-By: RalfJung <post@ralfj.de>
|
2018-11-03 11:39:50 +01:00 |
|
Ralf Jung
|
8da2c9e34e
|
fix adding default arguments
|
2018-11-03 11:03:53 +01:00 |
|
Ralf Jung
|
5f42aa61d5
|
illegal_write2 does not work with optimizations
|
2018-11-03 10:23:50 +01:00 |
|
Ralf Jung
|
e9f79f5f6f
|
bump Rust version
|
2018-11-03 09:11:37 +01:00 |
|
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 |
|