Ralf Jung
|
336a59d264
|
rename MIRI_TARGET -> MIRI_COMPILETEST_TARGET to clarify that this affects compiletest only
|
2019-04-07 10:58:10 +02:00 |
|
Ralf Jung
|
72cd133d1b
|
compiletest can just propagate MIRI_SYSROOT from the outside
|
2019-04-07 10:58:06 +02:00 |
|
Ralf Jung
|
0e4f9634a6
|
Merge pull request #677 from RalfJung/async
temporarily ignore async fn test
|
2019-04-06 21:43:06 +01:00 |
|
Ralf Jung
|
ddb0496642
|
temporarily ignore async fn test
|
2019-04-06 22:11:59 +02:00 |
|
Ralf Jung
|
b8b52b0734
|
Merge pull request #674 from matthewjasper/2phase-on-edition
Use edition flag for 2phase test
|
2019-04-06 17:54:02 +01:00 |
|
Matthew Jasper
|
3298102a64
|
Remove unnecessary test directive
|
2019-04-06 16:17:33 +01:00 |
|
Ralf Jung
|
4b62bc8a2f
|
Merge branch 'master' into 2phase-on-edition
|
2019-04-06 15:45:38 +01:00 |
|
Ralf Jung
|
54940f6ae3
|
Merge pull request #671 from timotree3/patch-1
Add alternative for how to install if a change in nightly broke the rustup component
|
2019-04-06 14:00:14 +01:00 |
|
Ralf Jung
|
e714be92b1
|
Merge branch 'master' into patch-1
|
2019-04-06 11:38:09 +01:00 |
|
Ralf Jung
|
9a0db66380
|
Merge pull request #676 from RalfJung/appveyor
AppVeyor: ignore already existing rustup-toolchain-install-master
|
2019-04-06 11:37:52 +01:00 |
|
Ralf Jung
|
3d491884c5
|
AppVeyor: ignore already existing rustup-toolchain-install-master (WTF windows batch makes no sense)
|
2019-04-06 11:36:51 +02:00 |
|
Ralf Jung
|
916221b0a4
|
Merge branch 'master' into patch-1
|
2019-04-06 10:26:27 +01:00 |
|
Matthew Jasper
|
7213b91cd4
|
Use edition flag for 2phase test
The compiler now rejects one of the examples with #![feature(nll)]
|
2019-04-05 14:35:31 +01:00 |
|
Ralf Jung
|
2a03db9ce4
|
Merge pull request #673 from RalfJung/travis
use rustup-toolchain-install-master for CI
|
2019-04-04 21:34:46 +01:00 |
|
Ralf Jung
|
159cce1da2
|
fix AppVeyor
|
2019-04-04 18:56:52 +01:00 |
|
Ralf Jung
|
081837eff0
|
fix Travis and adjust AppVeyor
|
2019-04-04 14:15:02 +01:00 |
|
Ralf Jung
|
31bc4355aa
|
adjust README
|
2019-04-04 10:21:32 +01:00 |
|
Ralf Jung
|
bebb5bfa38
|
use rustup-toolchain-install-master for CI
|
2019-04-04 10:19:18 +01:00 |
|
Oliver Scherer
|
82f9a01730
|
Merge pull request #672 from rust-lang/update
Update to rustc nightly
|
2019-04-03 14:50:03 +02:00 |
|
Oliver Scherer
|
9a0eaf6ebd
|
Update to rustc nightly
|
2019-04-03 10:48:11 +02:00 |
|
Timo
|
7d6c8ad24b
|
README: Fix missing link
Thanks for your patience 🤦♂️
|
2019-03-31 14:52:57 -04:00 |
|
Timo
|
d54f9dc75c
|
README: Update to RalfJung's suggestion...
...verbatim. Thanks :)
|
2019-03-31 11:33:41 -04:00 |
|
Timo
|
67e123502c
|
README: Suggest using a previous nightly, revert other approach
|
2019-03-31 10:03:03 -04:00 |
|
Timo
|
d5cdba5ee6
|
Add alternative for how to install if rustup fails
As is the case now: https://rust-lang-nursery.github.io/rust-toolstate/
|
2019-03-30 17:53:15 -04:00 |
|
Ralf Jung
|
ac61d29351
|
Merge pull request #668 from kenta7777/rename-evalcontext-to-interpretcx
Renames `EvalContext` to `InterpretCx`
|
2019-03-30 12:50:11 +01:00 |
|
kenta7777
|
adbda8ca24
|
adjust rust-version to the latest nightly
|
2019-03-30 11:01:44 +09:00 |
|
0xflotus
|
83b7f2edc9
|
fixed environment
|
2019-03-30 10:58:28 +09:00 |
|
kenta7777
|
d9178b9300
|
renames EvalContext to InterpretCx
|
2019-03-30 10:58:28 +09:00 |
|
Ralf Jung
|
11cbfd719a
|
Merge pull request #669 from 0xflotus/patch-1
fixed environment
|
2019-03-28 12:58:09 +01:00 |
|
0xflotus
|
1100b4819c
|
fixed environment
|
2019-03-28 11:47:51 +01:00 |
|
Oliver Scherer
|
95a842ba40
|
Merge pull request #666 from RalfJung/readme
explain Miri limitations
|
2019-03-26 11:36:53 +01:00 |
|
Ralf Jung
|
63b4a7661d
|
explain Miri limitations
|
2019-03-26 10:08:22 +01:00 |
|
Oliver Scherer
|
b06879c1bd
|
Merge pull request #665 from RalfJung/readme
update README to suggest installing Miri as a component
|
2019-03-26 00:20:22 +01:00 |
|
Ralf Jung
|
90dac3d4bd
|
update README to suggest installing Miri as a component
|
2019-03-25 22:50:22 +01:00 |
|
Ralf Jung
|
1d75825016
|
Merge pull request #664 from RalfJung/compiletest
Pin old compiletest
|
2019-03-21 13:07:51 +01:00 |
|
Ralf Jung
|
133f2ce4e5
|
pin old compiletest, for now
|
2019-03-21 10:24:22 +01:00 |
|
Ralf Jung
|
d0d7f22163
|
bump Rust
|
2019-03-20 10:20:29 +01:00 |
|
Ralf Jung
|
d96ece3806
|
move back to unstable compiletest; the stable one broke
|
2019-03-20 10:09:49 +01:00 |
|
Ralf Jung
|
4fe23fa38f
|
Merge pull request #663 from RalfJung/range-contains
remove stabilized feature
|
2019-03-18 18:05:04 +01:00 |
|
Oliver Scherer
|
5d3825fc48
|
Update src/bin/miri-rustc-tests.rs
Co-Authored-By: RalfJung <post@ralfj.de>
|
2019-03-18 15:08:36 +01:00 |
|
Ralf Jung
|
8ee67994cc
|
fix for rustc change
|
2019-03-18 13:48:37 +01:00 |
|
Ralf Jung
|
687c5d13ea
|
bump Rust; remove stabilized feature
|
2019-03-18 13:31:29 +01:00 |
|
Ralf Jung
|
72b4ee0381
|
Merge pull request #659 from rust-lang/update
Use the new rustc interface
|
2019-03-11 13:20:18 +01:00 |
|
Oliver Scherer
|
8568c20f4d
|
Silence some warnings
|
2019-03-11 12:41:11 +01:00 |
|
Oliver Scherer
|
40ce1fcf26
|
Update bencher API
|
2019-03-11 11:28:56 +01:00 |
|
Oliver Scherer
|
56c7656568
|
Remove dead code and docs
|
2019-03-11 10:28:03 +01:00 |
|
Oliver Scherer
|
a672abddfa
|
Make the rustc test runner build again
|
2019-03-11 10:25:21 +01:00 |
|
Ralf Jung
|
2c7357dc54
|
bump Rust
|
2019-03-11 10:16:20 +01:00 |
|
Oliver Scherer
|
ecae3751b4
|
Reintroduce prepending the input file name to the miri arguments
|
2019-03-11 09:43:52 +01:00 |
|
John Kåre Alsaker
|
7d142ecf75
|
Use the new rustc interface
|
2019-03-11 09:43:52 +01:00 |
|