2022-07-01 |
bors | Auto merge of #2298 - InfRandomness:shim-error, r=RalfJung |
tree | commitdiff |
2022-07-01 |
bors | Auto merge of #2297 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-07-01 |
Ralf Jung | make clippy happy |
tree | commitdiff |
2022-07-01 |
Ralf Jung | rustup |
tree | commitdiff |
2022-06-13 |
bors | Auto merge of #2179 - RalfJung:rustc, r=oli-obk |
tree | commitdiff |
2022-06-13 |
bors | Auto merge of #2203 - RalfJung:deprecate, r=oli-obk |
tree | commitdiff |
2022-06-11 |
bors | Auto merge of #2227 - RalfJung:doc, r=RalfJung |
tree | commitdiff |
2022-06-11 |
bors | Auto merge of #2215 - InfRandomness:getpid_shim, r... |
tree | commitdiff |
2022-06-11 |
Ralf Jung | make some rustdoc comments more readable |
tree | commitdiff |
2022-06-11 |
bors | Auto merge of #2222 - InfRandomness:cargo-docs, r=RalfJung |
tree | commitdiff |
2022-06-11 |
infrandomness | Add mandatory cargo_doc |
tree | commitdiff |
2022-06-08 |
bors | Auto merge of #2216 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-06-08 |
Ralf Jung | some clippy-induced cleanup |
tree | commitdiff |
2022-06-07 |
bors | Auto merge of #2208 - RalfJung:preempt, r=RalfJung |
tree | commitdiff |
2022-06-07 |
Ralf Jung | rename AllocationMap → RangeObjectMap |
tree | commitdiff |
2022-06-06 |
bors | Auto merge of #1963 - cbeuw:weak-memory, r=RalfJung |
tree | commitdiff |
2022-06-06 |
Andy Wang | Make racy imperfectly overlapping atomic access unsuppo... |
tree | commitdiff |
2022-06-06 |
Andy Wang | Add more backgrounds on lazy store buffers |
tree | commitdiff |
2022-06-06 |
Andy Wang | Remove unused lifetimes |
tree | commitdiff |
2022-06-06 |
Andy Wang | Give flag temp disabling race detector a better name |
tree | commitdiff |
2022-06-06 |
Andy Wang | Refer to GitHub issue on overwritten init value |
tree | commitdiff |
2022-06-06 |
Andy Wang | Forbade all racing mixed size atomic accesses |
tree | commitdiff |
2022-06-06 |
Andy Wang | Move logic out of machine.rs |
tree | commitdiff |
2022-06-06 |
Andy Wang | Wording improvements |
tree | commitdiff |
2022-06-06 |
Andy Wang | Split extra_cpp tests into sound and unsafe |
tree | commitdiff |
2022-06-06 |
Andy Wang | Allow non-racy mixed size accesses |
tree | commitdiff |
2022-06-06 |
Andy Wang | Destroy store buffers on non-racy non-atomic accesses |
tree | commitdiff |
2022-06-06 |
Andy Wang | Differentiate between not multithreading and temp disab... |
tree | commitdiff |
2022-06-06 |
Andy Wang | Update src/concurrency/weak_memory.rs |
tree | commitdiff |
2022-06-06 |
Andy Wang | Put the initialisation value into the store buffer |
tree | commitdiff |
2022-06-06 |
Andy Wang | Rename variables in AllocationMap |
tree | commitdiff |
2022-06-06 |
Andy Wang | Throw UB on imperfectly overlapping access |
tree | commitdiff |
2022-06-06 |
Andy Wang | Remove incorrect comment |
tree | commitdiff |
2022-06-06 |
Andy Wang | Move buffered functions into their own ext trait |
tree | commitdiff |
2022-06-06 |
Andy Wang | Move data_race and weak_memory into a submodule |
tree | commitdiff |
|