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

4283 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
David Cook
765050f302 Revise mutex/rwlock memory layout for macOS compat 2020-04-05 10:03:29 -05:00
David Cook
dd9896b0f8 Implement mutex and rwlock functions 2020-04-05 10:03:22 -05:00
David Cook
c2683dad34 Clean up test case 2020-04-05 09:25:21 -05:00
David Cook
88f319fb4c Add failing tests for mutex and rwlock 2020-04-05 09:25:21 -05:00
David Cook
46679bc9ef Add shims for RwLock::try_read/RwLock::try_write 2020-04-05 09:25:21 -05:00
Stein Somers
e7fafa1904 Replace last_entry with last_key_value 2020-04-05 15:21:15 +02:00
Ralf Jung
95ea03c124 add empty line before backtrace, to separate it from help text 2020-04-05 10:20:12 +02:00
Ralf Jung
0eccf1d9aa update Windows leak comment 2020-04-05 09:42:39 +02:00
bors
b1f053764f Auto merge of #1303 - RalfJung:readme, r=RalfJung 
tweak README

Cc @Firstyear

I realized the README has an example of unsupported code, so I changed the error to match that example.
 2020-04-05 06:35:55 +00:00
Ralf Jung
73210be73b tweak README 2020-04-04 19:35:46 +02:00
bors
5e7180bf46 Auto merge of #1293 - Firstyear:1289-miri-readme, r=RalfJung 
Update readme to make supported code clearer

Fixes https://github.com/rust-lang/miri/issues/1289

This makes it clearer in the readme how miri will warn of supported or unsupported code in a program under test/run.

Thanks!
 2020-04-04 16:27:16 +00:00
bors
26d7e9bd23 Auto merge of #1300 - RalfJung:rust-src, r=RalfJung 
Rust bootstrap sysroot now has src in the same place as rust-src

So we can remove a special hack. I checked this locally to confirm it works.

Cc https://github.com/rust-lang/rust/pull/70642 @eddyb
 2020-04-04 14:46:40 +00:00
Ralf Jung
bd9ec746a5 Rust bootstrap sysroot now has src in the same place as rust-src, so remove special hack 2020-04-04 12:07:22 +02:00
bors
0e8a1a40f2 Auto merge of #1294 - JOE1994:windows_instant, r=RalfJung 
Add support for 'std::time::Instant' in Windows

Add support for creating `std::time::Instant` in Windows

Includes shims for `QueryPerformanceCounter` & `QueryPerformanceFrequency` in Windows, which are both called in Windows when `std::time::Instant` is created.

Windows docs page ["Acquiring high-resolution time stamps"](https://docs.microsoft.com/en-us/windows/win32/sysinfo/acquiring-high-resolution-time-stamps) was helpful in learning how `QueryPerformanceCounter` & `QueryPerformanceFrequency` work.

closes #1291
 2020-04-03 06:36:15 +00:00
William Brown
ef89525249 Apply feedback 2020-04-03 09:07:57 +10:00
bors
147ea8f400 Auto merge of #1299 - RalfJung:rustup, r=RalfJung 
rustup for import changes
 2020-04-02 22:07:15 +00:00
Ralf Jung
9f3383d55d rustup for import changes 2020-04-03 00:05:35 +02:00
JOE1994
d5de67a5a0 change cfg gate to enable testing Instant subtraction in Windows 2020-04-02 16:15:23 -04:00
Youngsuk Kim
f762c70b51
Update comments in src/shims/time.rs 
Co-Authored-By: Ralf Jung <post@ralfj.de>
 2020-04-02 16:04:50 -04:00
Youngsuk Kim
5157b8769f
Update comments in src/shims/time.rs 
Co-Authored-By: Ralf Jung <post@ralfj.de>
 2020-04-02 16:04:10 -04:00
Youngsuk Kim
a494825d5a
Update comments in src/shims/time.rs 
Co-Authored-By: Ralf Jung <post@ralfj.de>
 2020-04-02 16:03:56 -04:00
bors
4955ce3e53 Auto merge of #1297 - RalfJung:win-ticks, r=RalfJung 
correct factual mistake in Windows message

Also use `+` instead of `checked_add().unwrap()` (which is equivalent).

Cc @JOE1994
 2020-04-02 14:13:08 +00:00
Ralf Jung
d5beecb79c correct factual mistake in Windows message, and use "+" sugar 2020-04-02 15:16:20 +02:00
bors
82d46b4f32 Auto merge of #1296 - RalfJung:rustup, r=RalfJung 
rustup for AllocRef changes

Cc https://github.com/rust-lang/rust/pull/70362
 2020-04-02 11:34:49 +00:00
Ralf Jung
cd132f563e port compile-fail allocator tests to stable API 2020-04-02 13:33:59 +02:00
Ralf Jung
033eae5ad7 rustup for AllocRef changes 2020-04-02 11:45:17 +02:00
bors
094fec3e47 Auto merge of #1295 - RalfJung:ci-no-incremental, r=RalfJung 
set CARGO_INCREMENTAL=0 on CI

it's just a waste of time there
 2020-04-02 07:54:50 +00:00
Ralf Jung
0b07f6f5d3 set CARGO_INCREMENTAL=0 on CI, it's just a waste of time there 2020-04-02 09:49:48 +02:00
bors
ed1432862a Auto merge of #1283 - RalfJung:backtrace, r=RalfJung 
Make backtrace function names and spans match up

This is the Miri side of https://github.com/rust-lang/rust/pull/70590.
Fixes https://github.com/rust-lang/miri/issues/521
 2020-04-02 07:32:44 +00:00
Ralf Jung
5ce2466892 fix for FieldPlacement rename 2020-04-02 09:19:56 +02:00
Ralf Jung
165dfd78a9 rustup 2020-04-02 09:14:23 +02:00
Ralf Jung
f599687f3f adjust for span not being passed around any more 2020-04-02 09:14:17 +02:00
Ralf Jung
5130aa55a2 adjust stacktrace printing to rustc changes 2020-04-02 09:14:17 +02:00
JOE1994
ff982b1821 fix incorrect error message in shim 'QueryPerformanceCounter' 2020-04-01 21:26:47 -04:00
JOE1994
957ec2be10 Add support for 'std::time::Instant' in Windows 2020-04-01 20:35:56 -04:00
William Brown
94d5eb0276 Update readme to make supported codo clearer 2020-04-02 09:50:21 +10:00
bors
77a307fe7d Auto merge of #1292 - RalfJung:time, r=RalfJung 
sanity check time values a bit more
 2020-04-01 18:34:59 +00:00
Ralf Jung
41d90709f2 sanity check time values a bit more 2020-04-01 20:34:12 +02:00
bors
6536f3165e Auto merge of #1290 - RalfJung:rustup, r=RalfJung 
Rustup

Also remove ICEing `breakpoint` intrinsic shim.
 2020-04-01 17:59:33 +00:00
Ralf Jung
1e3800ffb1 rustup 2020-04-01 19:40:10 +02:00
bors
ee967c1b2f Auto merge of #1286 - JOE1994:windows_time, r=RalfJung 
Implement 'GetSystemTimeAsFileTime' shim for Windows

Implement `GetSystemTimeAsFileTime` shim for Windows.

Closes #997
 2020-04-01 17:36:04 +00:00
Ralf Jung
3911388e06 remove ICEin intrinsic 2020-04-01 19:12:26 +02:00
JOE1994
b3f9e53049 Implement 'GetSystemTimeAsFileTime' shim for Windows 2020-04-01 10:55:26 -04:00
bors
552775b593 Auto merge of #1287 - RalfJung:time-sub, r=RalfJung 
test subtracting SystemTime and Instant
 2020-03-31 15:53:44 +00:00
Ralf Jung
26b5012368 add TODO 2020-03-31 17:53:27 +02:00
Ralf Jung
62eaecd2aa test subtracting SystemTime and Instant 2020-03-31 17:50:10 +02:00
bors
d1e06b4298 Auto merge of #1282 - RalfJung:rustup, r=RalfJung 
rustup; fix Windows env var memory type
 2020-03-30 20:14:50 +00:00
Ralf Jung
1cfd80ea2d rustup; fix Windows env var memory type 2020-03-30 22:13:53 +02:00
bors
45b6891bf9 Auto merge of #1270 - RalfJung:incremental, r=RalfJung 
miri build script: use incremental builds

I somehow thought that was already the default, but seems like it is not?
 2020-03-30 17:56:33 +00:00
bors
319f2dd9e1 Auto merge of #1279 - divergentdave:open_O_EXCL, r=RalfJung 
Add support for OpenOptions::create_new()/O_EXCL

This PR extends the POSIX shim for `open` to support the `O_EXCL` flag, when it is used alongside `O_CREAT`, and exercises it by testing `OpenOptions::create_new`.
 2020-03-30 15:49:45 +00:00