2020-05-30 |
Ralf Jung | also combine re-locking into the dequeue-and-unblock... |
blob | commitdiff | raw |
2020-05-30 |
Ralf Jung | sync cleanup: mark infallible ops as such; consistent... |
blob | commitdiff | raw | diff to current |
2020-05-25 |
bors | Auto merge of #1362 - vakaras:add-sync-primitives-cr1... |
blob | commitdiff | raw | diff to current |
2020-05-24 |
Vytautas Astrauskas | Fix compilation errors after rebase. |
blob | commitdiff | raw | diff to current |
2020-05-24 |
Vytautas Astrauskas | Small fixes. |
blob | commitdiff | raw | diff to current |
2020-05-24 |
Vytautas Astrauskas | Fix #1419. |
blob | commitdiff | raw | diff to current |
2020-05-24 |
Vytautas Astrauskas | Small changes. |
blob | commitdiff | raw | diff to current |
2020-05-24 |
Vytautas Astrauskas | Small changes. |
blob | commitdiff | raw | diff to current |
2020-05-24 |
Vytautas Astrauskas | Small changes. |
blob | commitdiff | raw | diff to current |
2020-05-24 |
Vytautas Astrauskas | Change how the time is handled. |
blob | commitdiff | raw | diff to current |
2020-05-24 |
Vytautas Astrauskas | Cleanup Condvar tests. |
blob | commitdiff | raw | diff to current |
2020-05-24 |
Vytautas Astrauskas | Improve code readability and comments. |
blob | commitdiff | raw | diff to current |
2020-05-24 |
Vytautas Astrauskas | Implement support for synchronization primitives. |
blob | commitdiff | raw | diff to current |
2020-05-09 |
bors | Auto merge of #1403 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-09 |
Ralf Jung | bump Rust, fix for renames |
blob | commitdiff | raw | diff to current |
2020-04-30 |
bors | Auto merge of #1284 - vakaras:add-threads-cr2, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-29 |
Vytautas Astrauskas | Improve code readability and comments. |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Improve comments and code clarity. |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Change representation and conversion of ThreadId and... |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Many small changes to thread management. |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Add concurrency tests. |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Rename threads to thread to match the Rust standard... |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Small refactoring in pthread sync: extract common funct... |
blob | commitdiff | raw | diff to current |
2020-04-27 |
Vytautas Astrauskas | Rebase on PR 1157. |
blob | commitdiff | raw | diff to current |
2020-04-10 |
bors | Auto merge of #1308 - RalfJung:miri, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-10 |
bors | Auto merge of #1304 - RalfJung:backtrace-sep, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-07 |
bors | Auto merge of #1301 - RalfJung:global-leaks, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-07 |
bors | Auto merge of #1310 - RalfJung:float-assoc, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-06 |
bors | Auto merge of #1157 - divergentdave:shim-pthread-try... |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Eagerly compute i32 and u32 layouts |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Changes to error handling |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Use Deadlock machine stop uniformly |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Remove null checks, fall through to UB upon deref |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Update comments, rearrange code |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Store layouts of i32 and u32 inside Evaluator |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Rearrange functions |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Add TerminationInfo::Deadlock, use in mutex shim |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Handle variation in layout of pthread_mutex_t |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Address review comments |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Use checked addition/subtraction on lock counts |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Refactor sync shims with setters and getters |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Add comments explaining asserts |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Fix misleading function names |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Revise mutex/rwlock memory layout for macOS compat |
blob | commitdiff | raw | diff to current |
2020-04-05 |
David Cook | Implement mutex and rwlock functions |
blob | commitdiff | raw | diff to current |
|