mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
4,548 Commits 2 Branches 0 Tags 1.4 GiB
35964b10b0
Commit Graph

4548 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ralf Jung
35964b10b0 no workspace as that is incompatible with the rustc submodule 2020-05-28 08:53:44 +02:00
Ralf Jung
7fcf92dfea re-add some fake dependencies to avoid rebuilds 2020-05-28 08:53:44 +02:00
Ralf Jung
254fc50bc1 fmt 2020-05-28 08:53:44 +02:00
Ralf Jung
c4c7463aa5 make sure CI fails when we do not recognize the platform 2020-05-28 08:53:44 +02:00
Ralf Jung
b71fea710c just respect existing RUSTFLAGS instead of providing another override 2020-05-28 08:53:44 +02:00
Ralf Jung
0790f75ae4 make cargo-miri a separate crate in a workspace 2020-05-28 08:53:44 +02:00
bors
b334004607 Auto merge of #1435 - RalfJung:stdin-read-error, r=RalfJung 
better error when using FDs 0-2 the wrong way
 2020-05-25 08:47:28 +00:00
Ralf Jung
a95f754a9c better error when reading from stdin 2020-05-25 10:39:43 +02:00
bors
f280e7e2d7 Auto merge of #1433 - RalfJung:condattr-setclock, r=RalfJung 
macOS does not have pthread_condattr_setclock/getclock
 2020-05-25 07:59:21 +00: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
bors
bfe030dea4 Auto merge of #1362 - vakaras:add-sync-primitives-cr1, r=RalfJung 
Add sync primitives

This is a follow up PR for https://github.com/rust-lang/miri/pull/1284 that adds support for the missing synchronization primitives.

Sorry for flooding with PRs, but my internship is coming to an end and I need to get things out.

Fixes https://github.com/rust-lang/miri/issues/1419
 2020-05-25 07:02:53 +00:00
Vytautas Astrauskas
34ddd775e8 Increase the elapsed time window. 2020-05-25 08:07:07 +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
babedc938e Rewrite notify all test. 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
4a303b1309 Add a timeout test for conditional variables. 2020-05-25 00:02:54 +02:00
Vytautas Astrauskas
6e774dec86 Move all run-pass synchronization primitive tests to sync.rs. 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
bors
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
Ralf Jung
2c94ad08d8 use helper method to compute size of int type 2020-05-24 19:20:44 +02:00
bors
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
Ralf Jung
cf7d88fd91 unset RUSTC_WRAPPER for xargo invocation 2020-05-24 14:46:38 +02:00
bors
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
Ralf Jung
7a3ccb1b57 rustup 2020-05-24 14:00:32 +02:00
bors
2c0ab517bc Auto merge of #1430 - RalfJung:unsize, r=RalfJung 
add interesting unsizing test

@bors r+
 2020-05-24 10:15:05 +00:00
Ralf Jung
e6ced2f9c4 add interesting unsizing test 2020-05-24 12:03:06 +02:00
bors
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
Ralf Jung
404c37999b test discriminant_value intrinsic 2020-05-23 16:30:50 +02:00
bors
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
Ralf Jung
58bc2185e1 rustup 2020-05-22 17:03:37 +02:00
David Cook
87a846f2d6 Update to match rustc changes 2020-05-22 17:03:25 +02:00
bors
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
Ralf Jung
fbb8c1526a verify the size of all shim arguments 2020-05-22 11:56:18 +02:00
bors
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
Ralf Jung
42a3e87838 rustup, and now we also need to install llvm-tools 2020-05-22 10:29:47 +02:00
bors
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
Ralf Jung
11d9409e82 rustup 2020-05-22 09:00:32 +02:00
bors
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
Ralf Jung
402535ef86 also pretend GetSystemTimePreciseAsFileTime does not exist 2020-05-21 23:24:37 +02:00