2020-04-27 |
Vytautas Astrauskas | Rename MacOS set global dtor function. |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Add concurrency tests. |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Implement thread::yield_now. |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Add a comment explaining global destructors on MacOS. |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Fix support for MacOS. |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Rename threads to thread to match the Rust standard... |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Fix typo in a comment. |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Fix imports. |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Address some of the reviewers comments. |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Generate fresh allocation ids for thread locals in... |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Small refactoring in pthread sync: extract common funct... |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Rebase on PR 1157. |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Fix pthread_self. |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Store the thread name. |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Fix comments in TLS. |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Move pthread_create and related shims to a separate... |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Add a warning that Miri does not check for data-races. |
tree | commitdiff |
2020-04-27 |
Vytautas Astrauskas | Implement basic support for concurrency (Linux only). |
tree | commitdiff |
2020-04-27 |
bors | Auto merge of #1354 - divergentdave:dump-alloc-on-undef... |
tree | commitdiff |
2020-04-22 |
bors | Auto merge of #1348 - RalfJung:raw-addr-of-align, r... |
tree | commitdiff |
2020-04-22 |
bors | Auto merge of #1353 - divergentdave:file-set-len, r... |
tree | commitdiff |
2020-04-22 |
David Cook | Add comment |
tree | commitdiff |
2020-04-22 |
David Cook | Implement ftruncate64/ftruncate for File::set_len |
tree | commitdiff |
2020-04-20 |
bors | Auto merge of #1335 - vakaras:add-threads-noop, r=RalfJung |
tree | commitdiff |
2020-04-20 |
Vytautas Astrauskas | Move the stack to the evaluator to make Miri compile... |
tree | commitdiff |
2020-04-19 |
bors | Auto merge of #1342 - divergentdave:pause-instruction... |
tree | commitdiff |
2020-04-19 |
David Cook | Review comments |
tree | commitdiff |
2020-04-19 |
David Cook | Add support for std::thread::yield_now |
tree | commitdiff |
2020-04-19 |
David Cook | Flip matching |
tree | commitdiff |
2020-04-18 |
bors | Auto merge of #1349 - RalfJung:machine-layouts, r=RalfJung |
tree | commitdiff |
2020-04-18 |
Ralf Jung | use pre-computed layouts some more |
tree | commitdiff |
2020-04-18 |
bors | Auto merge of #1325 - RalfJung:float_to_int_unchecked... |
tree | commitdiff |
2020-04-17 |
David Cook | Handle std::sync::atomic::spin_loop_hint() |
tree | commitdiff |
2020-04-15 |
bors | Auto merge of #1337 - RalfJung:intrinsic-tests, r=RalfJung |
tree | commitdiff |
2020-04-15 |
Ralf Jung | test some so-far untested intrinsics |
tree | commitdiff |
2020-04-14 |
bors | Auto merge of #1331 - samrat:macos-mach-timebase-info... |
tree | commitdiff |
2020-04-14 |
Samrat Man Singh | Reword comment in mach_timebase_info |
tree | commitdiff |
2020-04-14 |
Samrat Man Singh | Use precomputed TyLayout from `machine.layouts` |
tree | commitdiff |
2020-04-14 |
Samrat Man Singh | Use pre-defined u32 layout |
tree | commitdiff |
2020-04-13 |
Samrat Man Singh | [macOS] Implement `mach_timebase_info` |
tree | commitdiff |
2020-04-12 |
Ralf Jung | remove some unnecessary trait bounds |
tree | commitdiff |
2020-04-12 |
Ralf Jung | implement float_to_int_unchecked |
tree | commitdiff |
2020-04-12 |
bors | Auto merge of #1324 - RalfJung:intrinsic-orga, r=RalfJung |
tree | commitdiff |
2020-04-12 |
Ralf Jung | there is no 'align_of_val' intrinsic |
tree | commitdiff |
2020-04-12 |
Ralf Jung | remove an intrinsic that was moved to rustc |
tree | commitdiff |
2020-04-12 |
Ralf Jung | organize intrinsics into groups |
tree | commitdiff |
2020-04-12 |
bors | Auto merge of #1323 - RalfJung:noref, r=RalfJung |
tree | commitdiff |
2020-04-12 |
Ralf Jung | avoid a bunch of as_ref/as_mut |
tree | commitdiff |
2020-04-12 |
bors | Auto merge of #1322 - RalfJung:noref, r=RalfJung |
tree | commitdiff |
2020-04-12 |
Ralf Jung | avoid ref in matches |
tree | commitdiff |
2020-04-10 |
bors | Auto merge of #1308 - RalfJung:miri, r=RalfJung |
tree | commitdiff |
2020-04-10 |
bors | Auto merge of #1304 - RalfJung:backtrace-sep, r=RalfJung |
tree | commitdiff |
2020-04-07 |
bors | Auto merge of #1301 - RalfJung:global-leaks, r=RalfJung |
tree | commitdiff |
2020-04-07 |
bors | Auto merge of #1310 - RalfJung:float-assoc, r=RalfJung |
tree | commitdiff |
2020-04-06 |
bors | Auto merge of #1157 - divergentdave:shim-pthread-try... |
tree | commitdiff |
2020-04-06 |
David Cook | Fix spelling typo |
tree | commitdiff |
2020-04-05 |
David Cook | Eagerly compute i32 and u32 layouts |
tree | commitdiff |
2020-04-05 |
David Cook | Changes to error handling |
tree | commitdiff |
2020-04-05 |
David Cook | Use Deadlock machine stop uniformly |
tree | commitdiff |
2020-04-05 |
David Cook | Remove null checks, fall through to UB upon deref |
tree | commitdiff |
2020-04-05 |
David Cook | Update comments, rearrange code |
tree | commitdiff |
2020-04-05 |
bors | Auto merge of #1305 - ssomers:map_first_last_vs_miri... |
tree | commitdiff |
2020-04-05 |
David Cook | Store layouts of i32 and u32 inside Evaluator |
tree | commitdiff |
2020-04-05 |
David Cook | Set explicit return value size for windows shim |
tree | commitdiff |
2020-04-05 |
David Cook | Set some explicit return value sizes |
tree | commitdiff |
2020-04-05 |
David Cook | Implement TryEnterCriticalSection |
tree | commitdiff |
2020-04-05 |
David Cook | Rearrange functions |
tree | commitdiff |
2020-04-05 |
David Cook | Add TerminationInfo::Deadlock, use in mutex shim |
tree | commitdiff |
2020-04-05 |
David Cook | Handle variation in layout of pthread_mutex_t |
tree | commitdiff |
2020-04-05 |
David Cook | Address review comments |
tree | commitdiff |
2020-04-05 |
David Cook | Use checked addition/subtraction on lock counts |
tree | commitdiff |
2020-04-05 |
David Cook | Refactor sync shims with setters and getters |
tree | commitdiff |
2020-04-05 |
David Cook | Add comments explaining asserts |
tree | commitdiff |
2020-04-05 |
David Cook | Fix misleading function names |
tree | commitdiff |
2020-04-05 |
David Cook | Revise mutex/rwlock memory layout for macOS compat |
tree | commitdiff |
2020-04-05 |
David Cook | Implement mutex and rwlock functions |
tree | commitdiff |
2020-04-05 |
David Cook | Add failing tests for mutex and rwlock |
tree | commitdiff |
2020-04-05 |
David Cook | Add shims for RwLock::try_read/RwLock::try_write |
tree | commitdiff |
2020-04-05 |
Stein Somers | Replace last_entry with last_key_value |
tree | commitdiff |
2020-04-04 |
bors | Auto merge of #1293 - Firstyear:1289-miri-readme, r... |
tree | commitdiff |
2020-04-04 |
bors | Auto merge of #1300 - RalfJung:rust-src, r=RalfJung |
tree | commitdiff |
2020-04-03 |
bors | Auto merge of #1294 - JOE1994:windows_instant, r=RalfJung |
tree | commitdiff |
2020-04-02 |
bors | Auto merge of #1299 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-04-02 |
Ralf Jung | rustup for import changes |
tree | commitdiff |
2020-04-02 |
Youngsuk Kim | Update comments in src/shims/time.rs |
tree | commitdiff |
2020-04-02 |
Youngsuk Kim | Update comments in src/shims/time.rs |
tree | commitdiff |
2020-04-02 |
Youngsuk Kim | Update comments in src/shims/time.rs |
tree | commitdiff |
2020-04-02 |
bors | Auto merge of #1297 - RalfJung:win-ticks, r=RalfJung |
tree | commitdiff |
2020-04-02 |
Ralf Jung | correct factual mistake in Windows message, and use... |
tree | commitdiff |
2020-04-02 |
bors | Auto merge of #1295 - RalfJung:ci-no-incremental, r... |
tree | commitdiff |
2020-04-02 |
bors | Auto merge of #1283 - RalfJung:backtrace, r=RalfJung |
tree | commitdiff |
2020-04-02 |
Ralf Jung | adjust for span not being passed around any more |
tree | commitdiff |
2020-04-02 |
JOE1994 | fix incorrect error message in shim 'QueryPerformanceCo... |
tree | commitdiff |
2020-04-02 |
JOE1994 | Add support for 'std::time::Instant' in Windows |
tree | commitdiff |
2020-04-01 |
bors | Auto merge of #1290 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-04-01 |
bors | Auto merge of #1286 - JOE1994:windows_time, r=RalfJung |
tree | commitdiff |
2020-04-01 |
Ralf Jung | remove ICEin intrinsic |
tree | commitdiff |
2020-04-01 |
JOE1994 | Implement 'GetSystemTimeAsFileTime' shim for Windows |
tree | commitdiff |
2020-03-30 |
bors | Auto merge of #1282 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-03-30 |
Ralf Jung | rustup; fix Windows env var memory type |
tree | commitdiff |
next |