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
aa868a8a21
dependency management
2019-05-27 09:47:41 +02:00
Bastien Orivel
69a252c1b3
Update cargo_metadata to 0.7
2019-04-27 23:31:48 +02:00
Ralf Jung
e4cecb10db
bump compiletest
2019-04-19 18:30:53 +02:00
Ralf Jung
98296d60e7
lower rand version requirement
2019-04-12 23:17:58 +02:00
Aaron Hill
808b149671
Use raw syscall numbers
2019-04-07 20:09:53 -04:00
Aaron Hill
dddeda7f7d
Use getrandom() syscall number from libc
2019-04-07 19:57:14 -04:00
Aaron Hill
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
Manish Goregaokar
3002bbd4ac
Update compiletest
2019-04-07 14:33:28 -07:00
Ralf Jung
133f2ce4e5
pin old compiletest, for now
2019-03-21 10:24:22 +01:00
Ralf Jung
d96ece3806
move back to unstable compiletest; the stable one broke
2019-03-20 10:09:49 +01:00
Ralf Jung
6265f6658e
the stable part of compiletest_rs is enough
2019-03-01 09:16:14 +01:00
Taiki Endo
441442e071
Update some links
2019-02-23 19:56:29 +09:00
Ralf Jung
17e05540ad
we can't have profiles because we are also in the rustc worksapce
2019-02-17 12:09:38 +01:00
Ralf Jung
5e468766b7
also pass actual arguments to Windows
2019-02-09 20:00:40 +01:00
Ralf Jung
e36a90de98
make release builds have debug info
2019-02-07 12:59:35 +01:00
Ralf Jung
e759da6b4b
bump env_logger
2018-12-26 11:25:20 +01:00
Eric Huss
d801daf3e5
Add rustc-workspace-hack.
2018-12-16 19:34:00 -08:00
Ralf Jung
b6eb2cd08e
cargo miri: support foreign targets
2018-12-10 09:53:14 +01:00
Ralf Jung
07f78a37d4
tweaks
2018-11-27 08:16:58 +01:00
Ralf Jung
738133b379
complete setup routine: instal rust-src, build libstd, use it
2018-11-27 08:16:58 +01:00
Ralf Jung
6bd76c7ee1
cargo miri: factor package manifest logic into separate function
2018-11-27 08:16:58 +01:00
Ralf Jung
54307cd888
bump compiletest so that we can share the tempdir() call
2018-11-09 14:04:22 +01:00
Ralf Jung
f6d6470bc4
move to 2018 edition
...
I want NLL :D
2018-11-05 15:45:27 +01:00
Ralf Jung
f7741bcfe0
bump compiletest
2018-10-29 09:15:58 +01:00
Ralf Jung
88ec62640e
make rustc-tests a binary in the main project
2018-10-14 11:48:15 +02:00
Ralf Jung
5f2c74e022
update to vergen 3
2018-10-09 20:17:54 +02:00
Ralf Jung
f925e5dafd
cargo miri: show version number
2018-09-16 15:18:18 +02:00
Ralf Jung
51dbb5aa29
tweak test config in Cargo.toml
2018-08-14 20:57:58 +02:00
Ralf Jung
d3821888c7
Merge branch 'master' into default-run
2018-08-02 19:44:13 +02:00
Ralf Jung
3783cebe80
remove dependency on lazy_static and regex by getting rid of some dead validation hack
2018-08-02 12:16:09 +02:00
Ralf Jung
b45885d31f
Revert "Disable blood letting edge features"
...
This reverts commit 305d8aeafe
2018-08-01 16:34:39 +02:00
Oliver Schneider
e6f1e15676
Bump min dependency version
2018-07-26 14:37:43 +02:00
Oliver Schneider
305d8aeafe
Disable blood letting edge features
2018-07-26 11:21:49 +02:00
Ralf Jung
2a29ed0142
use default-run
2018-07-22 09:48:49 +02:00
Ralf Jung
4fdcccdc70
Merge branch 'master' into tests
2018-07-12 11:34:26 +02:00
Ralf Jung
9718d73ac8
colored test output!
2018-07-12 11:26:09 +02:00
Ralf Jung
8ce16a7c30
remove xargo logic; instead rely on MIRI_SYSROOT being set to run full MIR tests
2018-07-12 11:02:48 +02:00
Ralf Jung
5fc990cebd
bump dependencies
2018-07-12 10:19:14 +02:00
Ralf Jung
d4e8d0b935
fix deprecation warning: use dirs crate for home_dir
2018-07-11 17:42:35 +02:00
Oliver Schneider
27fe263669
Move back to a normal folder structure
2018-05-09 14:37:00 +02:00
bjorn3
9d186d914e
Update Cargo.lock and some improvements
2018-04-13 16:04:57 +02:00
David Renshaw
cabdc5597c
update log deps
2018-01-06 10:21:24 -05:00
David Renshaw
30496f5dd2
update compiletest dependency
2017-12-31 08:35:02 -05:00
kennytm
b7d382a956
Remove the [workspace] section.
...
Miri does not need to maintain a workspace anymore. Also, keeping miri a
workspace conflicts with rustc's own workspace.
2017-12-16 03:58:17 +08:00
Oliver Schneider
bde093fa14
Move validation from rustc to miri
2017-12-14 11:35:33 +01:00
Oliver Schneider
bf26b96dc7
Update to latest rustc changes
2017-12-05 17:06:03 +01:00
Oliver Schneider
8d546e8b9a
Use rustc's logging libraries in order to be able to log rustc::mir::interpret
2017-10-06 17:14:12 +02:00
Oliver Schneider
52599adf27
Miri core has moved to rustc::mir::interpret
2017-10-06 17:13:59 +02:00
