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 |
2022-06-05 |
Ralf Jung | add interesting data race test |
commit | commitdiff | tree | snapshot |
2022-06-05 |
bors | Auto merge of #2193 - RalfJung:strict, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-05 |
Ralf Jung | do not use int2ptr casts in strict provenance tests |
commit | commitdiff | tree | snapshot |
2022-06-05 |
bors | Auto merge of #2189 - RalfJung:clippy, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-04 |
bors | Auto merge of #2190 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-04 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-06-04 |
Ralf Jung | clippy: cargo-miri |
commit | commitdiff | tree | snapshot |
2022-06-04 |
Ralf Jung | clippy: main crate |
commit | commitdiff | tree | snapshot |
2022-06-04 |
Ralf Jung | run clippy on CI |
commit | commitdiff | tree | snapshot |
2022-06-04 |
bors | Auto merge of #2186 - matthiaskrgr:clippy, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-04 |
Matthias Krüger | clippy fixes |
commit | commitdiff | tree | snapshot |
2022-06-03 |
bors | Auto merge of #2184 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-03 |
Ralf Jung | fix dangling reference in the README |
commit | commitdiff | tree | snapshot |
2022-06-03 |
bors | Auto merge of #2180 - RalfJung:stale, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-03 |
Ralf Jung | delete stale stderr files |
commit | commitdiff | tree | snapshot |
2022-06-02 |
bors | Auto merge of #2178 - RalfJung:double-ref, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-02 |
Ralf Jung | do not pass TyCtxt by reference |
commit | commitdiff | tree | snapshot |
2022-06-02 |
bors | Auto merge of #2177 - DrMeepster:global_allocator_backt... |
commit | commitdiff | tree | snapshot |
2022-06-02 |
DrMeepster | add test for backtrace with global allocator |
commit | commitdiff | tree | snapshot |
2022-06-01 |
bors | Auto merge of #2176 - RalfJung:test-dirs, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-06-01 |
Ralf Jung | rename test suite directories |
commit | commitdiff | tree | snapshot |
2022-06-01 |
bors | Auto merge of #2174 - RalfJung:summary, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-06-01 |
Ralf Jung | print list of failed tests in summary |
commit | commitdiff | tree | snapshot |
2022-06-01 |
bors | Auto merge of #2175 - RalfJung:xargo, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-06-01 |
bors | Auto merge of #2167 - rust-lang:gesundheit, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-06-01 |
Oli Scherer | Check that diagnostics happen in the line that they... |
commit | commitdiff | tree | snapshot |
2022-06-01 |
Ralf Jung | advanced GHA |
commit | commitdiff | tree | snapshot |
2022-06-01 |
Ralf Jung | fmt |
commit | commitdiff | tree | snapshot |
2022-06-01 |
Ralf Jung | also avoid rebuilding cached RTIM |
commit | commitdiff | tree | snapshot |
2022-06-01 |
Ralf Jung | bump xargo version, and tweak xargo caching |
commit | commitdiff | tree | snapshot |
2022-06-01 |
bors | Auto merge of #2173 - RalfJung:rustlib, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-05-31 |
Ralf Jung | paper over platform differences |
commit | commitdiff | tree | snapshot |
2022-05-31 |
Ralf Jung | different strategy for normalizing Rust stdlib path |
commit | commitdiff | tree | snapshot |
2022-05-31 |
bors | Auto merge of #2171 - RalfJung:less-dup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-31 |
Ralf Jung | fix some lifetime names |
commit | commitdiff | tree | snapshot |
2022-05-31 |
Ralf Jung | reduce some code duplication |
commit | commitdiff | tree | snapshot |
2022-05-31 |
bors | Auto merge of #2166 - RalfJung:tests, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-05-30 |
bors | Auto merge of #2145 - saethlin:zero-size-creation,... |
commit | commitdiff | tree | snapshot |
2022-05-30 |
bors | Auto merge of #2169 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-30 |
Ralf Jung | normalize away some more line numbers |
commit | commitdiff | tree | snapshot |
2022-05-30 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-05-30 |
bors | Auto merge of #2168 - RalfJung:power, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-30 |
Ralf Jung | use is_power_of_two where appropriate |
commit | commitdiff | tree | snapshot |
2022-05-30 |
bors | Auto merge of #2165 - saethlin:more-clocks, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-30 |
Ben Kimock | Add support for _COARSE clocks, spruce up comments |
commit | commitdiff | tree | snapshot |
2022-05-30 |
Ralf Jung | make it possible to test more of ui_test |
commit | commitdiff | tree | snapshot |
2022-05-30 |
Ralf Jung | fmt |
commit | commitdiff | tree | snapshot |
2022-05-30 |
Ralf Jung | don't configure the same regex twice |
commit | commitdiff | tree | snapshot |
2022-05-30 |
Ralf Jung | also 'check' the test suite |
commit | commitdiff | tree | snapshot |
2022-05-30 |
Ralf Jung | print reason for ignoring |
commit | commitdiff | tree | snapshot |
2022-05-30 |
Ralf Jung | ui_test: printing more consistent with compiletest |
commit | commitdiff | tree | snapshot |
next |