86ee705cd5
Rustup
2020-01-07 05:13:18 +09:00
3607dafd9b
More rustup
2020-01-05 21:24:28 -08:00
02bba3f531
Auto merge of #1124 - RalfJung:sysroot-check, r=oli-obk
...
disable sysroot checks for distributed binaries
This should help with https://github.com/mozilla/nixpkgs-mozilla/issues/198 .
2019-12-23 17:14:48 +00:00
7ead530841
Rustfmt all the things
2019-12-23 12:56:23 +01:00
bc715cb646
disable sysroot checks for distributed binaries
2019-12-22 18:13:13 +01:00
eab2538317
Rename track-id to track-pointer-tag
2019-12-08 12:20:51 +01:00
d363a47fcb
Add a scheme to find the place where an id was destroyed
2019-12-08 12:20:51 +01:00
0a63637e66
fix all-targets build
2019-12-07 19:04:05 +01:00
e92d16d9cd
add flag to ignore memory leaks
2019-12-07 13:44:48 +01:00
a971b8a2ae
fix for GlobalCtxt changes
2019-11-30 12:05:35 +01:00
5339d541ef
cargo-miri: also find Rust sources when being run in a locally built, linked toolchain
2019-11-23 10:33:49 +01:00
3102129316
Improve return code propagation.
...
Don't explicitly exit if we reported an evaluation error
2019-11-20 12:43:10 -05:00
f2c0c44a09
remove some leftovers from the miri-control-attribute days
2019-11-17 09:20:50 +01:00
9ca277f2e9
bump minimal xargo version so that it honors the lockfile
2019-11-08 16:36:57 +01:00
ebdb6d4df7
when xargo is manually specified, don't try to upgrade it
2019-10-21 10:25:47 +02:00
324fed316f
print sysroot without any escaping
2019-10-19 16:38:37 +02:00
2967d0d13a
better error when using cargo-miri in a workspace
2019-10-16 22:03:44 +02:00
4ba63fb0fc
explain our shell encoding
2019-10-15 11:03:32 +02:00
42c1e779cb
Auto merge of #980 - JOE1994:master, r=RalfJung
...
change cargo-miri.rs to fix issue #978
In Windows 10, there was an issue with building MIRI locally and getting it running,
due to unpredictable backslash escaping issues in paths.
I added a code snippet that would only be compiled in Windows OS, which replaces all backslashes in paths to slashes.
This fix should only affect Windows users.
Building and testing MIRI locally now works fine after the fix.
Fixes https://github.com/rust-lang/miri/issues/978
2019-10-15 08:22:26 +00:00
65fd00665e
remove unnecessary line break
2019-10-14 22:37:54 -04:00
e06ce728ca
Ralf Jung's great idea!
2019-10-14 20:57:57 -04:00
19fb53e8a3
better debugging for sysroot check
2019-10-12 18:11:44 +02:00
610dbdd562
fixed cargo-miri bug for windows users
2019-10-10 11:03:20 -04:00
2b3b865c28
change cargo-miri.rs to fix issue #978
2019-10-05 17:11:09 -04:00
63ea13ad0d
fix miri-rustc-tests
2019-09-28 11:00:05 -04:00
8cd215dc97
remove libstd backtrace work-around
2019-09-16 22:22:54 +02:00
9e2107cef5
install ICE hook
2019-09-16 09:31:56 +02:00
1ef1d581d3
update for rustc changes
2019-09-15 23:27:58 +02:00
9a146243d0
Auto merge of #949 - RalfJung:ask-to-run, r=RalfJung
...
factor ask-to-run-command into helper function
2019-09-14 11:44:01 +00:00
78cfdcead2
temporarily enable backtrace feature
2019-09-14 13:06:20 +02:00
b245cb616e
factor ask-to-run-command into helper function
2019-09-13 10:39:36 +02:00
abcda6dc94
Small corrections
...
Co-Authored-By: Ralf Jung <post@ralfj.de >
2019-08-29 03:08:58 -05:00
1ae1d71938
Add -Zmiri-env-exclude flag
2019-08-28 17:57:35 -05:00
2be0db4c0b
Auto merge of #917 - RalfJung:isolation, r=oli-obk
...
change flag name: enable-communication -> disable-isolation
r? @oli-obk -- I think this is a better name for the flag but it is still somewhat clumsy. Suggestions?
2019-08-27 10:02:07 +00:00
c6c9276d61
bump Rust and xargo
2019-08-26 19:44:27 +02:00
97f9fb1284
change flag name: enable-communication -> disable-isolation
2019-08-23 23:29:11 +02:00
1f504ea7be
Auto merge of #894 - christianpoveda:env-vars-communication, r=RalfJung
...
Enable env communication
related issue: https://github.com/rust-lang/miri/issues/800 . r? @RalfJung
2019-08-14 18:58:06 +00:00
67d13577aa
Move test env var to test_runner
2019-08-13 12:10:24 -05:00
7a9733929b
it's called RUSTC_CTFE_BACKTRACE now
2019-08-12 08:26:11 +02:00
19367fd8de
bump xargo version
2019-08-08 19:34:23 +02:00
068c448832
Add communicate field to evaluator and fix formatting
2019-08-06 15:44:44 -05:00
655f9af7fe
Add flag to enable communication
2019-08-06 15:18:22 -05:00
3fe4eec37a
mention that we get the toolchain right
2019-08-06 20:52:09 +02:00
cc8d995605
go back to released xargo (the experiment is done)
2019-08-06 08:05:32 +02:00
162c0ffb1f
use postfix negation instead of prefix
2019-08-04 10:14:51 +02:00
874437d717
install xargo from git temporarily
2019-08-04 10:11:45 +02:00
10f46336af
set RUSTC_DEBUG_ASSERTIONS for when we are in bootstrap
2019-08-03 17:21:30 +02:00
ab22da8ce8
annotate some unwraps with better messages
2019-08-03 16:59:30 +02:00
e71ca965b9
also let bootstrap tell us where to find xargo
2019-08-03 13:53:32 +02:00
0dab3d5ee1
honor CARGO env var (for rustc bootstrap)
2019-08-02 18:02:54 +02:00
Yuki Okushi
