2022-07-20 |
bors | Auto merge of #2403 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw |
2022-07-20 |
Ralf Jung | rustup |
blob | commitdiff | raw |
2022-05-14 |
bors | Auto merge of #2030 - saethlin:track-alloc-history... |
blob | commitdiff | raw | diff to current |
2022-05-13 |
bors | Auto merge of #2114 - cbeuw:shim-rmw, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-12 |
Andy Wang | Inline _create() calls and add assertions |
blob | commitdiff | raw | diff to current |
2022-05-12 |
Andy Wang | Refactor to hide *_next_id functions |
blob | commitdiff | raw | diff to current |
2022-05-11 |
Andy Wang | Use proper atomic rmw for {mutex, rwlock, cond, srwlock... |
blob | commitdiff | raw | diff to current |
2022-05-10 |
bors | Auto merge of #2084 - rust-lang:silence, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-30 |
bors | Auto merge of #2090 - dtolnay-contrib:addcarry, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-04-30 |
bors | Auto merge of #2091 - dtolnay-contrib:clippy, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-04-29 |
David Tolnay | Resolve clippy::unnecessary_mut_passed |
blob | commitdiff | raw | diff to current |
2022-04-10 |
bors | Auto merge of #2062 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-09 |
bors | Auto merge of #2061 - RalfJung:edition, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-09 |
Ralf Jung | remove no longer needed imports |
blob | commitdiff | raw | diff to current |
2022-04-06 |
bors | Auto merge of #2054 - m-ou-se:futex-wait-bitset, r... |
blob | commitdiff | raw | diff to current |
2022-04-06 |
Mara Bos | Fully support FUTEX_*_BITSET. |
blob | commitdiff | raw | diff to current |
2022-04-05 |
bors | Auto merge of #2047 - RalfJung:no-extras, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-05 |
Ralf Jung | adjust for MemoryExtra being merged into Machine |
blob | commitdiff | raw | diff to current |
2021-07-17 |
bors | Auto merge of #1851 - RalfJung:provenance-overhaul... |
blob | commitdiff | raw | diff to current |
2021-07-16 |
Ralf Jung | adjust Miri to Pointer type overhaul |
blob | commitdiff | raw | diff to current |
2021-05-16 |
bors | Auto merge of #1801 - RalfJung:rustfmt, r=oli-obk |
blob | commitdiff | raw | diff to current |
2021-05-16 |
Ralf Jung | format much of Miri |
blob | commitdiff | raw | diff to current |
2020-11-29 |
bors | Auto merge of #1617 - JCTyblaidd:data_race_detector... |
blob | commitdiff | raw | diff to current |
2020-11-22 |
JCTyBlaidd | Fix review changes |
blob | commitdiff | raw | diff to current |
2020-11-15 |
JCTyBlaidd | Tidy up comments and function layout, should fix most... |
blob | commitdiff | raw | diff to current |
2020-11-02 |
JCTyBlaidd | Initial data-race detector, |
blob | commitdiff | raw | diff to current |
2020-10-04 |
bors | Auto merge of #1563 - lzutao:dummy-actions, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-03 |
bors | Auto merge of #1568 - fusion-engineering-forks:futex... |
blob | commitdiff | raw | diff to current |
2020-10-02 |
Mara Bos | Implement timeouts for FUTEX_WAIT. |
blob | commitdiff | raw | diff to current |
2020-10-02 |
Mara Bos | Improve handling of the `addr` argument in SYS_futex. |
blob | commitdiff | raw | diff to current |
2020-10-01 |
Mara Bos | Erase tag from futex pointers. |
blob | commitdiff | raw | diff to current |
2020-10-01 |
Mara Bos | Implement futex_wait and futex_wake. |
blob | commitdiff | raw | diff to current |
2020-06-28 |
bors | Auto merge of #1461 - RalfJung:rwlock-win, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-06-28 |
Ralf Jung | move rwlock dequeuing to shared code, and use that... |
blob | commitdiff | raw | diff to current |
2020-06-09 |
bors | Auto merge of #1418 - divergentdave:file-sync, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-31 |
bors | Auto merge of #1441 - RalfJung:sync-cleanup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-05-30 |
Ralf Jung | make mutex_unlock infallible |
blob | commitdiff | raw | diff to current |
2020-05-30 |
Ralf Jung | test and fix for rwlock unlock bug |
blob | commitdiff | raw | diff to current |
2020-05-30 |
Ralf Jung | also combine re-locking into the dequeue-and-unblock... |
blob | commitdiff | raw | diff to current |
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 #1433 - RalfJung:condattr-setclock, r... |
blob | commitdiff | raw | diff to current |
2020-05-25 |
Ralf Jung | add an assertion |
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 | 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 | Add comments explaining the declare_id macro. |
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 | 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 |
|