Ralf Jung
|
619f296463
|
explain why we always set a sysroot; make sure we error if both MIRI_SYSROOT and --sysroot are set
|
2019-06-09 14:31:05 +02:00 |
|
Ralf Jung
|
05b7e61977
|
remove outdated sysroot management
|
2019-06-09 14:10:42 +02:00 |
|
Ralf Jung
|
09f30cabf0
|
cargo miri: make sure we see the same sysroot for rustc and miri
|
2019-06-09 13:53:04 +02:00 |
|
Ralf Jung
|
2448e9d9db
|
Merge pull request #765 from RalfJung/rustup
rustup for EvalResult rename
|
2019-06-08 23:00:46 +02:00 |
|
Ralf Jung
|
d6bcfc58e3
|
rustup for EvalResult rename
|
2019-06-08 22:14:47 +02:00 |
|
Oliver Scherer
|
6ab014723a
|
Merge pull request #761 from ecstatic-morse/type-name
Add a test for the new `type_name` intrinsic.
|
2019-06-06 09:23:42 +02:00 |
|
Dylan MacKenzie
|
1ceb81b345
|
Use in-core implementation of type_name.
We bump `rust-version` to pick up the new impl from
https://github.com/rust-lang/rust/pull/61498 and add a test.
|
2019-06-05 22:36:53 -07:00 |
|
Ralf Jung
|
f1730d136a
|
Merge pull request #757 from RalfJung/test-ice
test for no-validation-only failure
|
2019-06-04 13:45:13 +02:00 |
|
Ralf Jung
|
c06134c4af
|
bump Rust
|
2019-06-04 13:22:27 +02:00 |
|
Ralf Jung
|
27a66a1e42
|
test for no-validation-only failure
|
2019-06-04 13:21:04 +02:00 |
|
Ralf Jung
|
09daf11349
|
remove too expensive debug assertion (#755)
remove too expensive debug assertion
|
2019-06-03 12:14:52 +02:00 |
|
Ralf Jung
|
03b74c12c8
|
Merge branch 'master' into debug
|
2019-06-03 11:02:17 +02:00 |
|
Ralf Jung
|
0c4d68835b
|
Merge pull request #760 from lzutao/bump-dep
Bump cargo_metadata and directories dependencies
|
2019-06-03 09:09:20 +02:00 |
|
Lzu Tao
|
724a9276b1
|
Bump directories to 2.0
|
2019-06-03 09:55:02 +07:00 |
|
Lzu Tao
|
e4317e9e08
|
Bump cargo_metadata to 0.8
|
2019-06-03 09:52:19 +07:00 |
|
Ralf Jung
|
e1a0f66373
|
Tag static/const allocations (#748)
Tag static/const allocations
|
2019-06-02 23:00:45 +02:00 |
|
Ralf Jung
|
b231a7ec9e
|
bump Rust version
|
2019-06-02 22:16:18 +02:00 |
|
Ralf Jung
|
9f48b3029c
|
test that we cannot access unescaped static memory with a raw ptr
|
2019-06-02 22:16:02 +02:00 |
|
Ralf Jung
|
e03255d625
|
fix existing tests
fix thread-local example to no longer write to pointers derived from a shared ref;
fix compile-fail test
|
2019-06-02 22:16:02 +02:00 |
|
Ralf Jung
|
0c704151f7
|
use new rustc infrastructure to tag the base pointer of static allocations
|
2019-06-02 22:16:02 +02:00 |
|
Ralf Jung
|
0acfd32045
|
Merge pull request #759 from RalfJung/rustup
rustup for ... deprecation
|
2019-06-01 10:25:37 +02:00 |
|
Ralf Jung
|
dafd2e7202
|
rustup for ... deprecation
|
2019-06-01 10:04:49 +02:00 |
|
Ralf Jung
|
96444c11ee
|
remove too expensive debug assertion
|
2019-05-31 16:34:22 +02:00 |
|
Ralf Jung
|
ec629cc0d5
|
Rustup (#752)
Rustup
|
2019-05-30 12:39:01 +02:00 |
|
Ralf Jung
|
c748323eb3
|
move fn_item/ptr tests to closures file
|
2019-05-30 11:01:22 +02:00 |
|
Ralf Jung
|
badbd57cee
|
update for rustc warning about missing dyn
|
2019-05-30 10:58:30 +02:00 |
|
Ralf Jung
|
9dfbebdd5e
|
Merge pull request #751 from RalfJung/rc
test weak_into_raw
|
2019-05-29 23:46:33 +02:00 |
|
Ralf Jung
|
0dfc1c97c5
|
test weak_into_raw
|
2019-05-29 19:36:16 +02:00 |
|
Ralf Jung
|
a5224b0dc1
|
try to make the Windows CI not rebuild Miri (#750)
try to make the Windows CI not rebuild Miri
|
2019-05-29 15:52:56 +02:00 |
|
Ralf Jung
|
65a93eb3ee
|
try to make the Windows CI not rebuild Miri
|
2019-05-29 12:58:44 +02:00 |
|
Ralf Jung
|
829969e8b1
|
miri build script: support building miri in debug mode; avoid rebuilding Miri on CI (#747)
miri build script: support building miri in debug mode; avoid rebuilding Miri on CI
|
2019-05-29 12:58:32 +02:00 |
|
Ralf Jung
|
2427fee7f0
|
Merge branch 'master' into miri-build
|
2019-05-29 10:56:55 +02:00 |
|
Ralf Jung
|
b4b71e30bd
|
fix for rustc changes (#749)
fix for rustc changes
|
2019-05-29 10:56:37 +02:00 |
|
Ralf Jung
|
16cc5ddacb
|
tweak logic for determining rustc default target
|
2019-05-29 09:39:49 +02:00 |
|
Ralf Jung
|
35b4d9fd8a
|
print usage information on invalid command
|
2019-05-29 09:36:59 +02:00 |
|
Ralf Jung
|
e4cee77121
|
fix for rustc changes
|
2019-05-29 09:30:36 +02:00 |
|
Ralf Jung
|
f1e7572cad
|
update for rustc Scalar changes, test for pointer wrapping ICE (#744)
update for rustc Scalar changes, test for pointer wrapping ICE
|
2019-05-29 00:02:33 +02:00 |
|
Ralf Jung
|
b62ddc2cff
|
bump Rust
|
2019-05-28 22:47:22 +02:00 |
|
Ralf Jung
|
381c2897b0
|
test for pointer wrapping ICE
|
2019-05-28 22:46:56 +02:00 |
|
Ralf Jung
|
7a7b853120
|
adjust for rustc changes
|
2019-05-28 22:46:56 +02:00 |
|
Ralf Jung
|
bf9f26401f
|
also pass flags to install
|
2019-05-28 19:20:01 +02:00 |
|
Ralf Jung
|
d55d04780c
|
reference cargo issue
|
2019-05-28 19:04:31 +02:00 |
|
Ralf Jung
|
328ecd1abf
|
avoid rebuilding Miri on CI
|
2019-05-28 19:02:54 +02:00 |
|
Ralf Jung
|
ed0c6e8336
|
miri build script: support building miri in debug mode
|
2019-05-28 19:01:43 +02:00 |
|
Ralf Jung
|
3c930e48e1
|
add Miri build script (#745)
add Miri build script
|
2019-05-28 08:38:08 +02:00 |
|
Ralf Jung
|
543e57990c
|
Merge branch 'master' into miri-build
|
2019-05-27 23:26:22 +02:00 |
|
Ralf Jung
|
4e329ebab7
|
fix for latest rustc (#746)
fix for latest rustc
|
2019-05-27 20:56:14 +02:00 |
|
Ralf Jung
|
f10ab1991c
|
fix error pattern
|
2019-05-27 19:37:31 +02:00 |
|
Ralf Jung
|
8b219a1329
|
fix for latest rustc
|
2019-05-27 18:50:32 +02:00 |
|
Ralf Jung
|
0b6b7dad8f
|
fix more indentation
|
2019-05-27 15:35:48 +02:00 |
|