2022-06-06 |
Andy Wang | Amend experimental thread support warnings |
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 |
2022-06-06 |
Andy Wang | Refactor store buffer search conditions |
tree | commitdiff |
2022-06-06 |
Andy Wang | Improve privacy and comments |
tree | commitdiff |
2022-06-06 |
Andy Wang | Update README |
tree | commitdiff |
2022-06-06 |
Andy Wang | Add more top-level comments |
tree | commitdiff |
2022-06-06 |
Andy Wang | Move type definitions together and clarify fetch_store... |
tree | commitdiff |
2022-06-06 |
Andy Wang | Use a new AllocationMap to store store buffers in the... |
tree | commitdiff |
2022-06-06 |
Andy Wang | Clearer boundries between alloc metadata with multiple... |
tree | commitdiff |
2022-06-06 |
Andy Wang | set_at_index sets the default value (0) if index doesn... |
tree | commitdiff |
2022-06-06 |
Andy Wang | Implement weak memory emulation |
tree | commitdiff |
2022-06-06 |
Andy Wang | Add weak memory config option |
tree | commitdiff |
2022-06-06 |
bors | Auto merge of #2183 - RalfJung:better-provenance-contro... |
tree | commitdiff |
2022-06-06 |
bors | Auto merge of #2202 - InfRandomness:infrandomness/rustd... |
tree | commitdiff |
2022-06-06 |
infrandomness | Fix rustdoc warnings |
tree | commitdiff |
2022-06-06 |
Ralf Jung | adjust for better provenance control |
tree | commitdiff |
2022-06-06 |
bors | Auto merge of #2201 - RalfJung:arg-parsing, r=RalfJung |
tree | commitdiff |
2022-06-06 |
Ralf Jung | argument parsing: make better use of strip_prefix |
tree | commitdiff |
2022-06-06 |
bors | Auto merge of #2198 - InfRandomness:UNIX-refactor,... |
tree | commitdiff |
2022-06-05 |
infrandomness | Refactor POSIX to UNIX |
tree | commitdiff |
2022-06-05 |
bors | Auto merge of #2197 - RalfJung:round-robin, r=RalfJung |
tree | commitdiff |
2022-06-05 |
Ralf Jung | make Miri's scheduler proper round-robin |
tree | commitdiff |
2022-06-05 |
bors | Auto merge of #2194 - RalfJung:race, r=RalfJung |
tree | commitdiff |
2022-06-05 |
bors | Auto merge of #2193 - RalfJung:strict, r=RalfJung |
tree | commitdiff |
2022-06-05 |
bors | Auto merge of #2189 - RalfJung:clippy, r=RalfJung |
tree | commitdiff |
2022-06-04 |
bors | Auto merge of #2190 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-06-04 |
Ralf Jung | rustup |
tree | commitdiff |
2022-06-04 |
Ralf Jung | clippy: main crate |
tree | commitdiff |
2022-06-04 |
bors | Auto merge of #2186 - matthiaskrgr:clippy, r=RalfJung |
tree | commitdiff |
2022-06-04 |
Matthias Krüger | clippy fixes |
tree | commitdiff |
2022-06-02 |
bors | Auto merge of #2178 - RalfJung:double-ref, r=RalfJung |
tree | commitdiff |
2022-06-02 |
Ralf Jung | do not pass TyCtxt by reference |
tree | commitdiff |
2022-06-01 |
bors | Auto merge of #2175 - RalfJung:xargo, r=oli-obk |
tree | commitdiff |
2022-06-01 |
bors | Auto merge of #2167 - rust-lang:gesundheit, r=RalfJung |
tree | commitdiff |
2022-06-01 |
Oli Scherer | Check that diagnostics happen in the line that they... |
tree | commitdiff |
2022-05-31 |
bors | Auto merge of #2171 - RalfJung:less-dup, r=RalfJung |
tree | commitdiff |
2022-05-31 |
Ralf Jung | fix some lifetime names |
tree | commitdiff |
2022-05-31 |
Ralf Jung | reduce some code duplication |
tree | commitdiff |
2022-05-31 |
bors | Auto merge of #2166 - RalfJung:tests, r=oli-obk |
tree | commitdiff |
2022-05-30 |
bors | Auto merge of #2145 - saethlin:zero-size-creation,... |
tree | commitdiff |
2022-05-30 |
bors | Auto merge of #2168 - RalfJung:power, r=RalfJung |
tree | commitdiff |
2022-05-30 |
bors | Auto merge of #2165 - saethlin:more-clocks, r=RalfJung |
tree | commitdiff |
2022-05-30 |
Ben Kimock | Add support for _COARSE clocks, spruce up comments |
tree | commitdiff |
2022-05-30 |
bors | Auto merge of #2158 - rust-lang:gesundheit, r=RalfJung |
tree | commitdiff |
2022-05-29 |
Ben Kimock | Save a created event for zero-size reborrows |
tree | commitdiff |
2022-05-29 |
bors | Auto merge of #2162 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-05-29 |
Ralf Jung | rustup |
tree | commitdiff |
2022-05-25 |
bors | Auto merge of #2157 - RalfJung:tests, r=oli-obk |
tree | commitdiff |
2022-05-25 |
bors | Auto merge of #2151 - RalfJung:numbers, r=oli-obk |
tree | commitdiff |
2022-05-25 |
Ralf Jung | enable number validity checking and ptr::invalid checki... |
tree | commitdiff |
2022-05-25 |
bors | Auto merge of #2032 - rust-lang:gesundheit, r=oli-obk |
tree | commitdiff |
2022-05-25 |
Oli Scherer | Add a custom ui test runner and move all tests to it |
tree | commitdiff |
2022-05-24 |
bors | Auto merge of #2138 - JakobDegen:call-fallout, r=RalfJung |
tree | commitdiff |
2022-05-24 |
Jakob Degen | Adjust Miri to also require return places everywhere |
tree | commitdiff |
2022-05-23 |
bors | Auto merge of #2149 - RalfJung:tests, r=RalfJung |
tree | commitdiff |
2022-05-23 |
bors | Auto merge of #2147 - RalfJung:readme, r=RalfJung |
tree | commitdiff |
2022-05-23 |
bors | Auto merge of #2148 - RalfJung:compare-exchange-weak... |
tree | commitdiff |
2022-05-23 |
bors | Auto merge of #2146 - RalfJung:int2ptr, r=RalfJung |
tree | commitdiff |
2022-05-23 |
Ralf Jung | clean up int2ptr code a bit |
tree | commitdiff |
2022-05-23 |
bors | Auto merge of #2059 - carbotaniuman:master, r=RalfJung |
tree | commitdiff |
2022-05-23 |
carbotaniuman | Initial work on permissive provenance |
tree | commitdiff |
2022-05-23 |
bors | Auto merge of #2105 - thomcc:flip-failure-rate, r=RalfJung |
tree | commitdiff |
2022-05-23 |
bors | Auto merge of #2139 - saethlin:lazy-current-span, r... |
tree | commitdiff |
2022-05-23 |
Thom Chiovoloni | Fix backwards `cmpxchg_weak_failure_rate` check |
tree | commitdiff |
2022-05-22 |
Ben Kimock | Factor current-span logic into a lazy caching handle |
tree | commitdiff |
2022-05-22 |
bors | Auto merge of #2144 - matthiaskrgr:stderrfix, r=RalfJung |
tree | commitdiff |
2022-05-22 |
Matthias Krüger | shims: fs: silence stderr instead of stdout. |
tree | commitdiff |
2022-05-22 |
Matthias Krüger | [NFC] shims: fs: fmt |
tree | commitdiff |
2022-05-22 |
bors | Auto merge of #2141 - saethlin:early-diagnostics-ice... |
tree | commitdiff |
2022-05-22 |
Ralf Jung | tweak comment |
tree | commitdiff |
2022-05-22 |
Ben Kimock | Handle diagnotics emitted in runtime initialization |
tree | commitdiff |
2022-05-22 |
bors | Auto merge of #2142 - saethlin:cleanup-data-race-ice... |
tree | commitdiff |
2022-05-22 |
bors | Auto merge of #2140 - V0ldek:page_size, r=RalfJung |
tree | commitdiff |
2022-05-21 |
Mateusz Gienieczko | Use precomputed layouts. |
tree | commitdiff |
2022-05-21 |
Mateusz Gienieczko | Add `i16` and `u16` primitive layout. |
tree | commitdiff |
2022-05-21 |
Mateusz Gienieczko | Dynamic offset calculation in GetSystemInfo. |
tree | commitdiff |
2022-05-21 |
Ben Kimock | Make allow_data_races_* public to silence data races... |
tree | commitdiff |
2022-05-21 |
Mateusz Gienieczko | Change GetSystemInfo to explicit offset. |
tree | commitdiff |
2022-05-21 |
Mateusz Gienieczko | Set page size in GetSystemInfo. |
tree | commitdiff |
2022-05-20 |
bors | Auto merge of #2135 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-05-20 |
Ralf Jung | rustup |
tree | commitdiff |
2022-05-19 |
bors | Auto merge of #2128 - saethlin:fix-creation-range,... |
tree | commitdiff |
2022-05-19 |
Ben Kimock | Pass the correct size to the AllocRange for log_creation |
tree | commitdiff |
2022-05-15 |
bors | Auto merge of #2122 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-05-15 |
Ralf Jung | rustup |
tree | commitdiff |
2022-05-15 |
bors | Auto merge of #2121 - RalfJung:less-ice, r=RalfJung |
tree | commitdiff |
2022-05-15 |
Ralf Jung | don't ICE when libcore is missing |
tree | commitdiff |
2022-05-15 |
bors | Auto merge of #2116 - carbotaniuman:minimal-miri-change... |
tree | commitdiff |
2022-05-14 |
bors | Auto merge of #2030 - saethlin:track-alloc-history... |
tree | commitdiff |
2022-05-14 |
carbotaniuman | Bump rustc for permissive provenance |
tree | commitdiff |
2022-05-13 |
Ben Kimock | More review feedback |
tree | commitdiff |
2022-05-13 |
bors | Auto merge of #2119 - RalfJung:glob, r=RalfJung |
tree | commitdiff |
2022-05-13 |
Ralf Jung | data_race: use glob import like most files |
tree | commitdiff |
2022-05-13 |
bors | Auto merge of #2114 - cbeuw:shim-rmw, r=RalfJung |
tree | commitdiff |
2022-05-13 |
Andy Wang | Move and rename offset_and_layout_to_place to deref_ope... |
tree | commitdiff |
next |