2022-07-23 |
bors | Auto merge of #2424 - RalfJung:weak-memory-debug, r... |
blob | commitdiff | raw |
2022-07-23 |
Ralf Jung | add a flag to print a diagnostic when an outdated value... |
blob | commitdiff | raw |
2022-07-20 |
bors | Auto merge of #2404 - RalfJung:mix, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-20 |
Ralf Jung | some stray tag → prov renames |
blob | commitdiff | raw | diff to current |
2022-07-20 |
bors | Auto merge of #2403 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-20 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2022-07-20 |
bors | Auto merge of #2402 - RalfJung:cargo-target, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-20 |
bors | Auto merge of #2391 - RalfJung:stderr, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-07-20 |
bors | Auto merge of #2397 - RalfJung:cleanup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-20 |
Ralf Jung | only do env var cleanup if all threads have stopped |
blob | commitdiff | raw | diff to current |
2022-07-03 |
bors | Auto merge of #1935 - saethlin:optimize-sb, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-02 |
bors | Auto merge of #2311 - RalfJung:many-seeds, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-02 |
bors | Auto merge of #2305 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-02 |
bors | Auto merge of #2304 - LegNeato:shim-fstat64-mac, r... |
blob | commitdiff | raw | diff to current |
2022-07-02 |
bors | Auto merge of #2302 - RalfJung:datarace, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-02 |
Ralf Jung | fix and slightly improve data race reports |
blob | commitdiff | raw | diff to current |
2022-07-01 |
Ralf Jung | avoid copying thread manager state in data race detector |
blob | commitdiff | raw | diff to current |
2022-07-01 |
Ralf Jung | rename some data_race types for more clarity |
blob | commitdiff | raw | diff to current |
2022-07-01 |
bors | Auto merge of #2298 - InfRandomness:shim-error, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-01 |
bors | Auto merge of #2297 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-07-01 |
Ralf Jung | make clippy happy |
blob | commitdiff | raw | diff to current |
2022-07-01 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2022-06-13 |
bors | Auto merge of #2179 - RalfJung:rustc, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-06-13 |
bors | Auto merge of #2203 - RalfJung:deprecate, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-06-11 |
bors | Auto merge of #2227 - RalfJung:doc, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-11 |
bors | Auto merge of #2215 - InfRandomness:getpid_shim, r... |
blob | commitdiff | raw | diff to current |
2022-06-11 |
Ralf Jung | make some rustdoc comments more readable |
blob | commitdiff | raw | diff to current |
2022-06-08 |
bors | Auto merge of #2216 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-08 |
Ralf Jung | some clippy-induced cleanup |
blob | commitdiff | raw | diff to current |
2022-06-06 |
bors | Auto merge of #1963 - cbeuw:weak-memory, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-06-06 |
Andy Wang | Remove unused lifetimes |
blob | commitdiff | raw | diff to current |
2022-06-06 |
Andy Wang | Give flag temp disabling race detector a better name |
blob | commitdiff | raw | diff to current |
2022-06-06 |
Andy Wang | Refer to GitHub issue on overwritten init value |
blob | commitdiff | raw | diff to current |
2022-06-06 |
Andy Wang | Forbade all racing mixed size atomic accesses |
blob | commitdiff | raw | diff to current |
2022-06-06 |
Andy Wang | Allow non-racy mixed size accesses |
blob | commitdiff | raw | diff to current |
2022-06-06 |
Andy Wang | Destroy store buffers on non-racy non-atomic accesses |
blob | commitdiff | raw | diff to current |
2022-06-06 |
Andy Wang | Differentiate between not multithreading and temp disab... |
blob | commitdiff | raw | diff to current |
2022-06-06 |
Andy Wang | Put the initialisation value into the store buffer |
blob | commitdiff | raw | diff to current |
2022-06-06 |
Andy Wang | Move buffered functions into their own ext trait |
blob | commitdiff | raw | diff to current |
2022-06-06 |
Andy Wang | Move data_race and weak_memory into a submodule |
blob | commitdiff | raw | diff to current |
|