Ralf Jung
|
0790f75ae4
|
make cargo-miri a separate crate in a workspace
|
2020-05-28 08:53:44 +02:00 |
|
Ralf Jung
|
a95f754a9c
|
better error when reading from stdin
|
2020-05-25 10:39:43 +02:00 |
|
Ralf Jung
|
9ff77f6cb3
|
add an assertion
|
2020-05-25 09:59:01 +02:00 |
|
Ralf Jung
|
1fecbd8a87
|
macos does not have pthread_condattr_setclock/getclock
|
2020-05-25 09:42:08 +02:00 |
|
Vytautas Astrauskas
|
dec205757a
|
Fix compilation errors after rebase.
|
2020-05-25 00:28:01 +02:00 |
|
Vytautas Astrauskas
|
90590a399d
|
Small fixes.
|
2020-05-25 00:02:54 +02:00 |
|
Vytautas Astrauskas
|
6ff0af3adf
|
Fix #1419.
|
2020-05-25 00:02:54 +02:00 |
|
Vytautas Astrauskas
|
bd97074517
|
Small changes.
|
2020-05-25 00:02:54 +02:00 |
|
Vytautas Astrauskas
|
8b5a9836be
|
Small changes.
|
2020-05-25 00:02:54 +02:00 |
|
Vytautas Astrauskas
|
0838347d8f
|
Change the scheduling to execute timeout callbacks first.
|
2020-05-25 00:02:54 +02:00 |
|
Vytautas Astrauskas
|
fdfd56b75b
|
Small changes.
|
2020-05-25 00:02:54 +02:00 |
|
Vytautas Astrauskas
|
3da61fa427
|
Add comments explaining the declare_id macro.
|
2020-05-25 00:02:54 +02:00 |
|
Vytautas Astrauskas
|
0bbac12751
|
Change how the time is handled.
|
2020-05-25 00:02:54 +02:00 |
|
Vytautas Astrauskas
|
86eb262e8a
|
Cleanup Condvar tests.
|
2020-05-25 00:02:54 +02:00 |
|
Vytautas Astrauskas
|
044a068c67
|
Improve code readability and comments.
|
2020-05-25 00:02:54 +02:00 |
|
Vytautas Astrauskas
|
d0de439ac8
|
Cleanup.
|
2020-05-25 00:02:54 +02:00 |
|
Vytautas Astrauskas
|
679245769b
|
Implement support for synchronization primitives.
|
2020-05-25 00:02:54 +02:00 |
|
Ralf Jung
|
2c94ad08d8
|
use helper method to compute size of int type
|
2020-05-24 19:20:44 +02:00 |
|
Ralf Jung
|
cf7d88fd91
|
unset RUSTC_WRAPPER for xargo invocation
|
2020-05-24 14:46:38 +02:00 |
|
David Cook
|
87a846f2d6
|
Update to match rustc changes
|
2020-05-22 17:03:25 +02:00 |
|
Ralf Jung
|
fbb8c1526a
|
verify the size of all shim arguments
|
2020-05-22 11:56:18 +02:00 |
|
Ralf Jung
|
402535ef86
|
also pretend GetSystemTimePreciseAsFileTime does not exist
|
2020-05-21 23:24:37 +02:00 |
|
Ralf Jung
|
526fae7541
|
GetProcAddress: basic validation for hModule argument
|
2020-05-21 23:06:31 +02:00 |
|
Ralf Jung
|
f09decb398
|
disentangle macos and linux dlsyms
|
2020-05-21 23:01:27 +02:00 |
|
Ralf Jung
|
08ddbd6ce0
|
prepare Dlsym system for dynamic symbols on Windows
|
2020-05-21 22:38:06 +02:00 |
|
Ralf Jung
|
d90a087df9
|
fix libstd rebuilds due to RUSTFLAGS changes
|
2020-05-17 11:20:05 +02:00 |
|
Ralf Jung
|
e22baedb1f
|
add test suite filter example to README and 'cargo miri --help'
|
2020-05-17 10:12:17 +02:00 |
|
Ralf Jung
|
e0f9081c5c
|
use new rustc_driver::catch_with_exit_code
|
2020-05-16 11:30:11 +02:00 |
|
Ralf Jung
|
4a2e08f9b8
|
fix warnings for non-Unix builds
|
2020-05-11 10:58:27 +02:00 |
|
Ralf Jung
|
938fe00f02
|
fix some comments, and run_compiler return type
|
2020-05-11 00:09:46 +02:00 |
|
Ralf Jung
|
845b89c236
|
we do not need to set RUSTFLAGS for xargo any more as miri-as-rustc already uses these flags
|
2020-05-10 18:56:38 +02:00 |
|
Ralf Jung
|
81046fa5e5
|
cargo-miri: never invoke rustc, always go through 'MIRI_BE_RUSTC=1 miri' instead
|
2020-05-10 18:41:03 +02:00 |
|
Oliver Scherer
|
3fdab9c446
|
Update to rustc changes
|
2020-05-10 10:14:03 +02:00 |
|
Ralf Jung
|
ac65350789
|
adjust default sysroot when being rustc
Also while at it, refactor how we pass the default Miri flags
|
2020-05-09 13:42:07 +02:00 |
|
Ralf Jung
|
ba801a45db
|
make Miri work in rustc bootstrap stage 0
|
2020-05-09 13:19:23 +02:00 |
|
Ralf Jung
|
024cc435f4
|
avoid env::var which requires valid UTF-8
|
2020-05-09 12:04:21 +02:00 |
|
Ralf Jung
|
20097be2fe
|
more comment
|
2020-05-09 11:54:45 +02:00 |
|
Ralf Jung
|
1ba42b9f55
|
Wording
Co-authored-by: Oliver Scherer <github35764891676564198441@oli-obk.de>
|
2020-05-09 11:53:24 +02:00 |
|
Ralf Jung
|
e73fc97f0b
|
cargo-miri: honor RUSTC env var
|
2020-05-09 11:52:26 +02:00 |
|
Ralf Jung
|
70f83a342c
|
re-do cargo-miri host/target detection logic to match rustbuild
|
2020-05-09 11:45:43 +02:00 |
|
Ralf Jung
|
379ac82a1c
|
bump Rust, fix for renames
|
2020-05-09 10:15:09 +02:00 |
|
Ralf Jung
|
914e483c89
|
fix cargo-miri intercepting --help/--version arguments
|
2020-05-08 09:55:28 +02:00 |
|
Ralf Jung
|
45ef97535f
|
fs shim: check that mode is default
|
2020-05-05 16:49:01 +02:00 |
|
Ralf Jung
|
40800cfa19
|
make sure we check the size of all arguments
|
2020-05-05 12:19:54 +02:00 |
|
Ralf Jung
|
5656cb73d4
|
fix a comment now that we have concurrency
|
2020-05-05 11:59:22 +02:00 |
|
Ralf Jung
|
cd6be98852
|
make sure we check argument count everywhere
|
2020-05-05 11:59:22 +02:00 |
|
Ralf Jung
|
5566e3901c
|
deduplicate FD extraction
|
2020-05-05 11:44:33 +02:00 |
|
Chase Albert
|
4e3d1fee51
|
Address comments.
|
2020-05-04 14:24:22 -04:00 |
|
Chase Albert
|
4d3dff2add
|
Address consistency of naming for unused/merely validated arguments.
|
2020-05-04 13:51:23 -04:00 |
|
Chase Albert
|
78f329513a
|
Check that shims are called with the correct number of arguments
|
2020-05-04 13:51:21 -04:00 |
|