2020-04-27 |
Vytautas Astrauskas | Improve Debug formatting of the thread name. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Move copying of the thread name to the client side. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Unify TLS dtors; move stepping outside. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Change the test not to rely on internals. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Add an explanatory comment to the test. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Ignore prctl test on MacOS because it does not support it. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Make multiple threads to try to join a thread while... |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Clarify FIXME. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Check prctl argument types and fix the test. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Clarify test comments. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Fix the test annotation. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Make the main thread detached. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Fix merge error. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Print the thread name in Debug. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Small style fix. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Clarify comments about TLS destructor handling in Windo... |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Track if a thread was already joined. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Add more concurrency tests. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Fix how a pthread_create function argument is constructed. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Improve concurrency tests. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Many small changes to thread management. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Improve prctl, add a test. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Change the warning message. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Move prctl to Linux specific shims. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Rename MacOS set global dtor function. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Update a comment in README about what concurrency check... |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Add concurrency tests. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Implement thread::yield_now. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Add a comment explaining global destructors on MacOS. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Fix support for MacOS. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Rename threads to thread to match the Rust standard... |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Add a missing newline. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Cleanup the implementation of adjust_global_const. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Fix typo in a comment. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Make an assert message consistent with other asserts. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Fix imports. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Add a missing newline in the test. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Rename eval_maybe_thread_local_static_const to adjust_g... |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Address some of the reviewers comments. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Generate thread local allocations in eval_maybe_thread_... |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Generate fresh allocation ids for thread locals in... |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Small refactoring in pthread sync: extract common funct... |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Rename ThreadSet to ThreadManager. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Rebase on PR 1157. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Fix pthread_self. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Rustfmt the test. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Store the thread name. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Fix comments in TLS. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Report that we do not support foreign thread local... |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Move pthread_create and related shims to a separate... |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Fix the problem of sending pointed to thread local... |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Add a test for thread locals. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Update to support the updated API. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Add a warning that Miri does not check for data-races. |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Vytautas Astrauskas | Implement basic support for concurrency (Linux only). |
commit | commitdiff | tree | snapshot |
2020-04-27 |
bors | Auto merge of #1373 - RalfJung:test-rename, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-27 |
bors | Auto merge of #1370 - samrat:add-scalar-size-test,... |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Ralf Jung | rename tests: undefined -> uninit |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Samrat Man... | Replace error-pattern with annotation; remove unreachab... |
commit | commitdiff | tree | snapshot |
2020-04-27 |
bors | Auto merge of #1354 - divergentdave:dump-alloc-on-undef... |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Samrat Man... | Fix shim_arg_size test for 32-bit machines |
commit | commitdiff | tree | snapshot |
2020-04-27 |
Samrat Man... | Add test to verify arg size mismatch throws UB |
commit | commitdiff | tree | snapshot |
2020-04-27 |
David Cook | Review comments |
commit | commitdiff | tree | snapshot |
2020-04-25 |
bors | Auto merge of #1368 - Robbepop:add-new-trophy-for-inks... |
commit | commitdiff | tree | snapshot |
2020-04-25 |
Hero Bird | Update README.md |
commit | commitdiff | tree | snapshot |
2020-04-25 |
Hero Bird | Add miri trophy for LazyArray::swap (ink! PR) |
commit | commitdiff | tree | snapshot |
2020-04-25 |
bors | Auto merge of #1366 - RalfJung:rustc-exit, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-25 |
Ralf Jung | make sure we do not discard information on the Ok exit... |
commit | commitdiff | tree | snapshot |
2020-04-25 |
Ralf Jung | fix exit code on rustc errors |
commit | commitdiff | tree | snapshot |
2020-04-24 |
David Cook | Add test to exercise InvalidUndefBytes |
commit | commitdiff | tree | snapshot |
2020-04-24 |
David Cook | Add message before dumping alloc |
commit | commitdiff | tree | snapshot |
2020-04-23 |
bors | Auto merge of #1361 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-23 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-04-23 |
bors | Auto merge of #1358 - dtolnay:ci, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-23 |
David Tolnay | Keep MiriCommand out of ask_to_run function |
commit | commitdiff | tree | snapshot |
2020-04-23 |
bors | Auto merge of #1359 - RalfJung:cargo-bin-exe, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-23 |
Ralf Jung | test suite: rely on CARGO_BIN_EXE_ env vars to find... |
commit | commitdiff | tree | snapshot |
2020-04-23 |
David Tolnay | Preserve consistent output whether or not CI is set |
commit | commitdiff | tree | snapshot |
2020-04-23 |
David Tolnay | Remove unneeded setup step from CI instructions in... |
commit | commitdiff | tree | snapshot |
2020-04-23 |
David Tolnay | Disable interactive prompts in CI |
commit | commitdiff | tree | snapshot |
2020-04-23 |
bors | Auto merge of #1356 - brson:trophy, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-23 |
Brian Anderson | Update README.md |
commit | commitdiff | tree | snapshot |
2020-04-23 |
Brian Anderson | Add ryu and tikv to trophy case |
commit | commitdiff | tree | snapshot |
2020-04-22 |
David Cook | Reorder output |
commit | commitdiff | tree | snapshot |
2020-04-22 |
bors | Auto merge of #1348 - RalfJung:raw-addr-of-align, r... |
commit | commitdiff | tree | snapshot |
2020-04-22 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-04-22 |
Ralf Jung | Stacked Borrows: alignment does not matter |
commit | commitdiff | tree | snapshot |
2020-04-22 |
bors | Auto merge of #1353 - divergentdave:file-set-len, r... |
commit | commitdiff | tree | snapshot |
2020-04-22 |
David Cook | Add comment |
commit | commitdiff | tree | snapshot |
2020-04-22 |
David Cook | Print hex dump of alloc on reading undef bytes |
commit | commitdiff | tree | snapshot |
2020-04-22 |
David Cook | Implement ftruncate64/ftruncate for File::set_len |
commit | commitdiff | tree | snapshot |
2020-04-20 |
bors | Auto merge of #1335 - vakaras:add-threads-noop, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-04-20 |
Ralf Jung | adjust for asm -> llvm_asm rename |
commit | commitdiff | tree | snapshot |
2020-04-20 |
Ralf Jung | adjust for Weak::as_raw -> as_ptr rename |
commit | commitdiff | tree | snapshot |
2020-04-20 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-04-20 |
Vytautas Astrauskas | Move stack and stack_mut implementation in Machine... |
commit | commitdiff | tree | snapshot |
2020-04-20 |
Vytautas Astrauskas | Move the stack to the evaluator to make Miri compile... |
commit | commitdiff | tree | snapshot |
2020-04-19 |
bors | Auto merge of #1342 - divergentdave:pause-instruction... |
commit | commitdiff | tree | snapshot |
2020-04-19 |
David Cook | Review comments |
commit | commitdiff | tree | snapshot |
2020-04-19 |
bors | Auto merge of #1351 - RalfJung:float-test-source, r... |
commit | commitdiff | tree | snapshot |
next |