3da61fa427
Add comments explaining the declare_id macro.
2020-05-25 00:02:54 +02:00
0bbac12751
Change how the time is handled.
2020-05-25 00:02:54 +02:00
86eb262e8a
Cleanup Condvar tests.
2020-05-25 00:02:54 +02:00
4a303b1309
Add a timeout test for conditional variables.
2020-05-25 00:02:54 +02:00
6e774dec86
Move all run-pass synchronization primitive tests to sync.rs.
2020-05-25 00:02:54 +02:00
044a068c67
Improve code readability and comments.
2020-05-25 00:02:54 +02:00
d0de439ac8
Cleanup.
2020-05-25 00:02:54 +02:00
679245769b
Implement support for synchronization primitives.
2020-05-25 00:02:54 +02:00
726373fcaa
Auto merge of #1432 - RalfJung:int-size, r=RalfJung
...
use helper method to compute size of int type
2020-05-24 17:21:20 +00:00
2c94ad08d8
use helper method to compute size of int type
2020-05-24 19:20:44 +02:00
a6c28f0845
Auto merge of #1426 - RalfJung:no-wrapper, r=RalfJung
...
unset RUSTC_WRAPPER for xargo invocation
Fixes https://github.com/rust-lang/miri/issues/1421
@bjorn3 @oli-obk do you think that is a reasonable way to solve this issue?
2020-05-24 12:48:12 +00:00
cf7d88fd91
unset RUSTC_WRAPPER for xargo invocation
2020-05-24 14:46:38 +02:00
de9a0ad51f
Auto merge of #1431 - RalfJung:rustup, r=RalfJung
...
rustup
Just making sure it all still works.
2020-05-24 12:01:05 +00:00
7a3ccb1b57
rustup
2020-05-24 14:00:32 +02:00
2c0ab517bc
Auto merge of #1430 - RalfJung:unsize, r=RalfJung
...
add interesting unsizing test
@bors r+
2020-05-24 10:15:05 +00:00
e6ced2f9c4
add interesting unsizing test
2020-05-24 12:03:06 +02:00
70d5caf17e
Auto merge of #1429 - RalfJung:discriminant_value, r=RalfJung
...
test discriminant_value intrinsic
Make sure this works for all types, not just enums/generators.
2020-05-23 14:31:37 +00:00
404c37999b
test discriminant_value intrinsic
2020-05-23 16:30:50 +02:00
f7170a6529
Auto merge of #1374 - divergentdave:InvalidUndefBytes, r=RalfJung
...
InvalidUndefBytes: Update to match rustc changes
This is a companion PR for rust-lang/rust#71610 . This won't build yet, but we may need these changes in a future rustup.
2020-05-22 15:07:39 +00:00
58bc2185e1
rustup
2020-05-22 17:03:37 +02:00
87a846f2d6
Update to match rustc changes
2020-05-22 17:03:25 +02:00
2bb96ff561
Auto merge of #1428 - RalfJung:shim-arg-size-verify, r=RalfJung
...
verify the size of all shim arguments
2020-05-22 11:20:04 +00:00
fbb8c1526a
verify the size of all shim arguments
2020-05-22 11:56:18 +02:00
427c8a6bb8
Auto merge of #1427 - RalfJung:rustup, r=RalfJung
...
rustup, and now we also need to install llvm-tools
Fixes fallout from https://github.com/rust-lang/rust/pull/72000
2020-05-22 08:30:35 +00:00
42a3e87838
rustup, and now we also need to install llvm-tools
2020-05-22 10:29:47 +02:00
63ea143684
Auto merge of #1425 - RalfJung:rustup, r=RalfJung
...
rustup
Make sure that https://github.com/rust-lang/rust/pull/72425 helped
2020-05-22 07:01:21 +00:00
11d9409e82
rustup
2020-05-22 09:00:32 +02:00
101df34bd6
Auto merge of #1424 - RalfJung:dlsym, r=RalfJung
...
prepare Dlsym system for dynamic symbols on Windows
This makes progress towards https://github.com/rust-lang/miri/issues/1059 .
2020-05-21 21:25:46 +00:00
402535ef86
also pretend GetSystemTimePreciseAsFileTime does not exist
2020-05-21 23:24:37 +02:00
526fae7541
GetProcAddress: basic validation for hModule argument
2020-05-21 23:06:31 +02:00
f09decb398
disentangle macos and linux dlsyms
2020-05-21 23:01:27 +02:00
08ddbd6ce0
prepare Dlsym system for dynamic symbols on Windows
2020-05-21 22:38:06 +02:00
5d2423d320
Auto merge of #1423 - RalfJung:rustup, r=RalfJung
...
rustup
No changes needed -- but the next bump is blocked on https://github.com/rust-lang/rust/pull/72425 .
2020-05-21 14:34:05 +00:00
00a4421573
rustup
2020-05-21 15:53:26 +02:00
af044209b0
Auto merge of #1420 - RalfJung:rustup, r=RalfJung
...
rustup
adjust test for changed allocation strategy
2020-05-19 22:02:05 +00:00
cc1a2119f6
adjust for changed allocation strategy
2020-05-20 00:00:35 +02:00
ac09e2f5cd
Auto merge of #1417 - RalfJung:libstd-rebuilds, r=RalfJung
...
fix libstd rebuilds due to RUSTFLAGS changes
Until recently we were always overwriting `RUSTFLAGS`, but we stopped doing that when moving to `MIRI_BE_RUSTC`. That introduced the regression in https://github.com/rust-lang/miri/issues/1410 . This fixes it.
Fixes https://github.com/rust-lang/miri/issues/1410
2020-05-17 09:32:47 +00:00
d90a087df9
fix libstd rebuilds due to RUSTFLAGS changes
2020-05-17 11:20:05 +02:00
04eb4a92d0
Auto merge of #1415 - RalfJung:test-suite-filter, r=RalfJung
...
add test suite filter example to README and 'cargo miri --help'
Fixes https://github.com/rust-lang/miri/issues/1414
2020-05-17 08:13:13 +00:00
e22baedb1f
add test suite filter example to README and 'cargo miri --help'
2020-05-17 10:12:17 +02:00
70b66aa007
Auto merge of #1413 - RalfJung:catch_with_exit_code, r=RalfJung
...
use new rustc_driver::catch_with_exit_code
2020-05-16 09:30:49 +00:00
e0f9081c5c
use new rustc_driver::catch_with_exit_code
2020-05-16 11:30:11 +02:00
c54eab4a28
Auto merge of #1411 - RalfJung:ci, r=RalfJung
...
test Linux on macOS host
This accidentally got lost in https://github.com/rust-lang/miri/pull/1407
2020-05-14 17:22:04 +00:00
aaa3208432
test Linux on macOS host
2020-05-14 19:21:04 +02:00
10419b3f2f
Auto merge of #1407 - RalfJung:appveyor, r=RalfJung
...
Share CI code between Travis and AppVeyor
2020-05-11 10:10:29 +00:00
131bdf88a7
always lock on CI
2020-05-11 11:19:26 +02:00
dec0bf15f6
Windows CI: rely on stable cargo
2020-05-11 10:59:01 +02:00
fdebecbb08
fix python interpreter on Windows
2020-05-11 10:58:27 +02:00
4a2e08f9b8
fix warnings for non-Unix builds
2020-05-11 10:58:27 +02:00
880e6847cf
play with bash on AppVeyor
...
Also consistently order and format our two CI files
2020-05-11 10:58:27 +02:00
Vytautas Astrauskas