2022-06-11 |
bors | Auto merge of #2215 - InfRandomness:getpid_shim, r... |
commit | commitdiff | tree | snapshot |
2022-06-11 |
bors | Auto merge of #2222 - InfRandomness:cargo-docs, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-11 |
InfRandomness | Add getpid shim |
commit | commitdiff | tree | snapshot |
2022-06-11 |
infrandomness | Add mandatory cargo_doc |
commit | commitdiff | tree | snapshot |
2022-06-11 |
bors | Auto merge of #2225 - RalfJung:frame-in-std-inlined... |
commit | commitdiff | tree | snapshot |
2022-06-11 |
Ralf Jung | make frame_in_std check work with inlining |
commit | commitdiff | tree | snapshot |
2022-06-09 |
bors | Auto merge of #2219 - saethlin:more-benchmarks, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-09 |
Ben Kimock | Add more bench-cargo-miri programs |
commit | commitdiff | tree | snapshot |
2022-06-08 |
bors | Auto merge of #2218 - Nilstrieb:faster-tag-partial... |
commit | commitdiff | tree | snapshot |
2022-06-08 |
Nilstrieb | Add comment to explain manual optimization |
commit | commitdiff | tree | snapshot |
2022-06-08 |
Nilstrieb | Allow `clippy::derive_hash_xor_eq` |
commit | commitdiff | tree | snapshot |
2022-06-08 |
Nilstrieb | Optimize `SbTag::eq` |
commit | commitdiff | tree | snapshot |
2022-06-08 |
bors | Auto merge of #2217 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-08 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-06-08 |
bors | Auto merge of #2216 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-08 |
Ralf Jung | document how to get a toolchain with clippy |
commit | commitdiff | tree | snapshot |
2022-06-08 |
Ralf Jung | some clippy-induced cleanup |
commit | commitdiff | tree | snapshot |
2022-06-08 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-06-07 |
bors | Auto merge of #2213 - RalfJung:clippy, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-07 |
Ralf Jung | linux-futex test: ensure we join all threads |
commit | commitdiff | tree | snapshot |
2022-06-07 |
Ralf Jung | gate bors on clippy |
commit | commitdiff | tree | snapshot |
2022-06-07 |
Ralf Jung | silence another clippy lint |
commit | commitdiff | tree | snapshot |
2022-06-07 |
bors | Auto merge of #2212 - RalfJung:cargo-miri, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-07 |
Ralf Jung | update and move cargo-miri operational description |
commit | commitdiff | tree | snapshot |
2022-06-07 |
bors | Auto merge of #2211 - InfRandomness:typo, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-07 |
InfRandomness | Fix typo |
commit | commitdiff | tree | snapshot |
2022-06-07 |
bors | Auto merge of #2210 - RalfJung:tls-drop-test, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-07 |
Ralf Jung | add stdlib test for TLS dtor order |
commit | commitdiff | tree | snapshot |
2022-06-07 |
bors | Auto merge of #2208 - RalfJung:preempt, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-07 |
Ralf Jung | bless tests |
commit | commitdiff | tree | snapshot |
2022-06-07 |
Ralf Jung | remove warning about thread support being experimental |
commit | commitdiff | tree | snapshot |
2022-06-07 |
Ralf Jung | make scheduler preemptive, with configurable preemption... |
commit | commitdiff | tree | snapshot |
2022-06-07 |
Ralf Jung | rename AllocationMap → RangeObjectMap |
commit | commitdiff | tree | snapshot |
2022-06-06 |
bors | Auto merge of #2209 - RalfJung:if-only, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Ralf Jung | bless Windows |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Ralf Jung | hotfix for incorrect only- logic |
commit | commitdiff | tree | snapshot |
2022-06-06 |
bors | Auto merge of #1963 - cbeuw:weak-memory, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Make racy imperfectly overlapping atomic access unsuppo... |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Add more backgrounds on lazy store buffers |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Remove unused lifetimes |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Simplify known C++20 inconsistency test |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Move tests to new directories |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Specify only perfectly overlapping accesses can race |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Give flag temp disabling race detector a better name |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Refer to GitHub issue on overwritten init value |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Forbade all racing mixed size atomic accesses |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Move logic out of machine.rs |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Wording improvements |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Update experimental threading warning |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Split extra_cpp tests into sound and unsafe |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Allow non-racy mixed size accesses |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Destroy store buffers on non-racy non-atomic accesses |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Differentiate between not multithreading and temp disab... |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Add rust-only operation tests |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Move transmute into a separate function |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Update src/concurrency/weak_memory.rs |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Spelling, punctuation and grammar |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Replace yield_now() with spin loop hint |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Amend experimental thread support warnings |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Put the initialisation value into the store buffer |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Rename variables in AllocationMap |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Throw UB on imperfectly overlapping access |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Remove incorrect comment |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Move buffered functions into their own ext trait |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Move data_race and weak_memory into a submodule |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Reduce the number of runs in consistency tests |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Refactor store buffer search conditions |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Add tests showing weak memory behaviours |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Improve privacy and comments |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Update README |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Add more top-level comments |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Move cpp20_rwc_syncs into compile-fail |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Disable weak memory emulation on scheduler-dependent... |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Move type definitions together and clarify fetch_store... |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Add -Zmiri-disable-weak-memory-emulation to README |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Add imperfectly overlapping test |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Use a new AllocationMap to store store buffers in the... |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Clearer boundries between alloc metadata with multiple... |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Comment out and provide context to C++20 test |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | set_at_index sets the default value (0) if index doesn... |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Implement weak memory emulation |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Add test cases |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Andy Wang | Add weak memory config option |
commit | commitdiff | tree | snapshot |
2022-06-06 |
bors | Auto merge of #2183 - RalfJung:better-provenance-contro... |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Ralf Jung | make output bitwidth-independent |
commit | commitdiff | tree | snapshot |
2022-06-06 |
bors | Auto merge of #2202 - InfRandomness:infrandomness/rustd... |
commit | commitdiff | tree | snapshot |
2022-06-06 |
infrandomness | Fix rustdoc warnings |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Ralf Jung | port some tests away from flags we want to remove |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Ralf Jung | fix rustup-toolchain without arguments |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Ralf Jung | addr no longer exposes :) |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Ralf Jung | adjust for better provenance control |
commit | commitdiff | tree | snapshot |
2022-06-06 |
bors | Auto merge of #2201 - RalfJung:arg-parsing, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-06 |
Ralf Jung | argument parsing: make better use of strip_prefix |
commit | commitdiff | tree | snapshot |
2022-06-06 |
bors | Auto merge of #2198 - InfRandomness:UNIX-refactor,... |
commit | commitdiff | tree | snapshot |
2022-06-05 |
infrandomness | Refactor POSIX to UNIX |
commit | commitdiff | tree | snapshot |
2022-06-05 |
bors | Auto merge of #2197 - RalfJung:round-robin, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-05 |
Ralf Jung | more spin-loop-tests |
commit | commitdiff | tree | snapshot |
2022-06-05 |
Ralf Jung | make Miri's scheduler proper round-robin |
commit | commitdiff | tree | snapshot |
2022-06-05 |
bors | Auto merge of #2194 - RalfJung:race, r=RalfJung |
commit | commitdiff | tree | snapshot |
next |