b120e8bb88
Only run test with default hasher
2019-04-08 21:42:12 -04:00
6b0440e26d
Cleanup argument parsing
2019-04-08 21:40:52 -04:00
5530d295ad
Simplify cast using as_mut_ptr()
2019-04-08 21:36:35 -04:00
808b149671
Use raw syscall numbers
2019-04-07 20:09:53 -04:00
dddeda7f7d
Use getrandom() syscall number from libc
2019-04-07 19:57:14 -04:00
312f938e79
Fix benchmark
2019-04-07 19:30:37 -04:00
73239573c9
Implement non-deterministc mode
...
Part of #653
This allows us to properly implement getrandom(),
which unlocks the default HashMap type (e.g. HashMap<K, V>)
with RandomState)
This commit adds a new '-Zmiri-seed=<seed>' option. When present,
this option takes a 64-bit hex value, which is used as the seed
to an internal PRNG. This PRNG is used to implement the 'getrandom()'
syscall.
When '-Zmiri-seed' is not passed, 'getrandom()' will be disabled.
2019-04-07 19:26:20 -04:00
68711458b6
Merge pull request #682 from Manishearth/compiletestup
...
Update compiletest
2019-04-08 00:58:14 +03:00
3002bbd4ac
Update compiletest
2019-04-07 14:33:28 -07:00
5c5cc2ad3f
Merge pull request #678 from RalfJung/test-env
...
compiletest env var cleanup
2019-04-07 11:19:54 +02:00
336a59d264
rename MIRI_TARGET -> MIRI_COMPILETEST_TARGET to clarify that this affects compiletest only
2019-04-07 10:58:10 +02:00
72cd133d1b
compiletest can just propagate MIRI_SYSROOT from the outside
2019-04-07 10:58:06 +02:00
0e4f9634a6
Merge pull request #677 from RalfJung/async
...
temporarily ignore async fn test
2019-04-06 21:43:06 +01:00
ddb0496642
temporarily ignore async fn test
2019-04-06 22:11:59 +02:00
b8b52b0734
Merge pull request #674 from matthewjasper/2phase-on-edition
...
Use edition flag for 2phase test
2019-04-06 17:54:02 +01:00
3298102a64
Remove unnecessary test directive
2019-04-06 16:17:33 +01:00
4b62bc8a2f
Merge branch 'master' into 2phase-on-edition
2019-04-06 15:45:38 +01:00
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
e714be92b1
Merge branch 'master' into patch-1
2019-04-06 11:38:09 +01:00
9a0db66380
Merge pull request #676 from RalfJung/appveyor
...
AppVeyor: ignore already existing rustup-toolchain-install-master
2019-04-06 11:37:52 +01:00
3d491884c5
AppVeyor: ignore already existing rustup-toolchain-install-master (WTF windows batch makes no sense)
2019-04-06 11:36:51 +02:00
916221b0a4
Merge branch 'master' into patch-1
2019-04-06 10:26:27 +01:00
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
2a03db9ce4
Merge pull request #673 from RalfJung/travis
...
use rustup-toolchain-install-master for CI
2019-04-04 21:34:46 +01:00
159cce1da2
fix AppVeyor
2019-04-04 18:56:52 +01:00
081837eff0
fix Travis and adjust AppVeyor
2019-04-04 14:15:02 +01:00
31bc4355aa
adjust README
2019-04-04 10:21:32 +01:00
bebb5bfa38
use rustup-toolchain-install-master for CI
2019-04-04 10:19:18 +01:00
82f9a01730
Merge pull request #672 from rust-lang/update
...
Update to rustc nightly
2019-04-03 14:50:03 +02:00
9a0eaf6ebd
Update to rustc nightly
2019-04-03 10:48:11 +02:00
7d6c8ad24b
README: Fix missing link
...
Thanks for your patience 🤦♂️
2019-03-31 14:52:57 -04:00
d54f9dc75c
README: Update to RalfJung's suggestion...
...
...verbatim. Thanks :)
2019-03-31 11:33:41 -04:00
67e123502c
README: Suggest using a previous nightly, revert other approach
2019-03-31 10:03:03 -04:00
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
ac61d29351
Merge pull request #668 from kenta7777/rename-evalcontext-to-interpretcx
...
Renames `EvalContext` to `InterpretCx`
2019-03-30 12:50:11 +01:00
adbda8ca24
adjust rust-version to the latest nightly
2019-03-30 11:01:44 +09:00
83b7f2edc9
fixed environment
2019-03-30 10:58:28 +09:00
d9178b9300
renames EvalContext to InterpretCx
2019-03-30 10:58:28 +09:00
11cbfd719a
Merge pull request #669 from 0xflotus/patch-1
...
fixed environment
2019-03-28 12:58:09 +01:00
1100b4819c
fixed environment
2019-03-28 11:47:51 +01:00
95a842ba40
Merge pull request #666 from RalfJung/readme
...
explain Miri limitations
2019-03-26 11:36:53 +01:00
63b4a7661d
explain Miri limitations
2019-03-26 10:08:22 +01:00
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
90dac3d4bd
update README to suggest installing Miri as a component
2019-03-25 22:50:22 +01:00
1d75825016
Merge pull request #664 from RalfJung/compiletest
...
Pin old compiletest
2019-03-21 13:07:51 +01:00
133f2ce4e5
pin old compiletest, for now
2019-03-21 10:24:22 +01:00
d0d7f22163
bump Rust
2019-03-20 10:20:29 +01:00
d96ece3806
move back to unstable compiletest; the stable one broke
2019-03-20 10:09:49 +01:00
4fe23fa38f
Merge pull request #663 from RalfJung/range-contains
...
remove stabilized feature
2019-03-18 18:05:04 +01:00
5d3825fc48
Update src/bin/miri-rustc-tests.rs
...
Co-Authored-By: RalfJung <post@ralfj.de >
2019-03-18 15:08:36 +01:00
Aaron Hill