2022-05-25 |
bors | Auto merge of #2157 - RalfJung:tests, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-05-25 |
Ralf Jung | tweak new test suite output |
commit | commitdiff | tree | snapshot |
2022-05-25 |
bors | Auto merge of #2151 - RalfJung:numbers, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-05-25 |
Ralf Jung | enable number validity checking and ptr::invalid checki... |
commit | commitdiff | tree | snapshot |
2022-05-25 |
bors | Auto merge of #2032 - rust-lang:gesundheit, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-05-25 |
Oli Scherer | Add a custom ui test runner and move all tests to it |
commit | commitdiff | tree | snapshot |
2022-05-24 |
bors | Auto merge of #2153 - RalfJung:ptr-invalid, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-24 |
Ralf Jung | with permissive-provenance set, we already treat ptr... |
commit | commitdiff | tree | snapshot |
2022-05-24 |
bors | Auto merge of #2138 - JakobDegen:call-fallout, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-24 |
Ralf Jung | rustp |
commit | commitdiff | tree | snapshot |
2022-05-24 |
Jakob Degen | Adjust Miri to also require return places everywhere |
commit | commitdiff | tree | snapshot |
2022-05-23 |
bors | Auto merge of #2152 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-23 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-05-23 |
bors | Auto merge of #2150 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-23 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-05-23 |
Ralf Jung | move some tests to more suitable locations |
commit | commitdiff | tree | snapshot |
2022-05-23 |
bors | Auto merge of #2149 - RalfJung:tests, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-23 |
Ralf Jung | move some compile-fail tests to a more appropriate... |
commit | commitdiff | tree | snapshot |
2022-05-23 |
bors | Auto merge of #2147 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-23 |
Ralf Jung | fix some old typos |
commit | commitdiff | tree | snapshot |
2022-05-23 |
bors | Auto merge of #2148 - RalfJung:compare-exchange-weak... |
commit | commitdiff | tree | snapshot |
2022-05-23 |
Ralf Jung | test that compare-exchange-weak-failure-rate=0.0 means... |
commit | commitdiff | tree | snapshot |
2022-05-23 |
Ralf Jung | split flag section into common and advanced flags |
commit | commitdiff | tree | snapshot |
2022-05-23 |
bors | Auto merge of #2146 - RalfJung:int2ptr, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-23 |
Ralf Jung | clean up int2ptr code a bit |
commit | commitdiff | tree | snapshot |
2022-05-23 |
bors | Auto merge of #2059 - carbotaniuman:master, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-23 |
Ralf Jung | readme: document permissive-provenance flag |
commit | commitdiff | tree | snapshot |
2022-05-23 |
carbotaniuman | Initial work on permissive provenance |
commit | commitdiff | tree | snapshot |
2022-05-23 |
bors | Auto merge of #2105 - thomcc:flip-failure-rate, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-23 |
bors | Auto merge of #2139 - saethlin:lazy-current-span, r... |
commit | commitdiff | tree | snapshot |
2022-05-23 |
Thom Chiovoloni | Fix backwards `cmpxchg_weak_failure_rate` check |
commit | commitdiff | tree | snapshot |
2022-05-22 |
Ben Kimock | Factor current-span logic into a lazy caching handle |
commit | commitdiff | tree | snapshot |
2022-05-22 |
bors | Auto merge of #2144 - matthiaskrgr:stderrfix, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-22 |
Matthias Krüger | shims: fs: silence stderr instead of stdout. |
commit | commitdiff | tree | snapshot |
2022-05-22 |
Matthias Krüger | [NFC] shims: fs: fmt |
commit | commitdiff | tree | snapshot |
2022-05-22 |
bors | Auto merge of #2141 - saethlin:early-diagnostics-ice... |
commit | commitdiff | tree | snapshot |
2022-05-22 |
Ralf Jung | tweak comment |
commit | commitdiff | tree | snapshot |
2022-05-22 |
Ben Kimock | Handle diagnotics emitted in runtime initialization |
commit | commitdiff | tree | snapshot |
2022-05-22 |
bors | Auto merge of #2142 - saethlin:cleanup-data-race-ice... |
commit | commitdiff | tree | snapshot |
2022-05-22 |
bors | Auto merge of #2140 - V0ldek:page_size, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-22 |
Ralf Jung | comment on test |
commit | commitdiff | tree | snapshot |
2022-05-21 |
Mateusz Gienieczko | Use precomputed layouts. |
commit | commitdiff | tree | snapshot |
2022-05-21 |
Mateusz Gienieczko | Add `i16` and `u16` primitive layout. |
commit | commitdiff | tree | snapshot |
2022-05-21 |
Mateusz Gienieczko | Fix comment formatting. |
commit | commitdiff | tree | snapshot |
2022-05-21 |
Mateusz Gienieczko | Dynamic offset calculation in GetSystemInfo. |
commit | commitdiff | tree | snapshot |
2022-05-21 |
Ben Kimock | Make allow_data_races_* public to silence data races... |
commit | commitdiff | tree | snapshot |
2022-05-21 |
Mateusz Gienieczko | Change GetSystemInfo to explicit offset. |
commit | commitdiff | tree | snapshot |
2022-05-21 |
Mateusz Gienieczko | Set page size in GetSystemInfo. |
commit | commitdiff | tree | snapshot |
2022-05-21 |
bors | Auto merge of #2137 - RalfJung:targets, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-05-21 |
Mateusz Gienieczko | Add failing page_size test. |
commit | commitdiff | tree | snapshot |
2022-05-21 |
Ralf Jung | refresh our GHA caches |
commit | commitdiff | tree | snapshot |
2022-05-20 |
Ralf Jung | explain which targets we support to what extent |
commit | commitdiff | tree | snapshot |
2022-05-20 |
Ralf Jung | the Windows CI runner takes a lot longer than the other... |
commit | commitdiff | tree | snapshot |
2022-05-20 |
Ralf Jung | explain what we mean by 'unsound' |
commit | commitdiff | tree | snapshot |
2022-05-20 |
bors | Auto merge of #2135 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-20 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-05-20 |
bors | Auto merge of #2130 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-20 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-05-19 |
bors | Auto merge of #2128 - saethlin:fix-creation-range,... |
commit | commitdiff | tree | snapshot |
2022-05-19 |
Ben Kimock | Pass the correct size to the AllocRange for log_creation |
commit | commitdiff | tree | snapshot |
2022-05-18 |
bors | Auto merge of #2125 - RalfJung:ref-validity, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-18 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-05-18 |
Ralf Jung | change one of the ref-to-uninhbaited tests to Box |
commit | commitdiff | tree | snapshot |
2022-05-18 |
Ralf Jung | test for validity of references pointing to uninhabited... |
commit | commitdiff | tree | snapshot |
2022-05-17 |
bors | Auto merge of #2126 - RalfJung:typo, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-17 |
Ralf Jung | I cannot type |
commit | commitdiff | tree | snapshot |
2022-05-17 |
bors | Auto merge of #2124 - RalfJung:rustup-toolchain, r... |
commit | commitdiff | tree | snapshot |
2022-05-17 |
Ralf Jung | rustup-toolchain: also prepare toolchain for vscode |
commit | commitdiff | tree | snapshot |
2022-05-15 |
bors | Auto merge of #2122 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-15 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-05-15 |
bors | Auto merge of #2121 - RalfJung:less-ice, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-15 |
Ralf Jung | don't ICE when libcore is missing |
commit | commitdiff | tree | snapshot |
2022-05-15 |
bors | Auto merge of #2116 - carbotaniuman:minimal-miri-change... |
commit | commitdiff | tree | snapshot |
2022-05-14 |
bors | Auto merge of #2030 - saethlin:track-alloc-history... |
commit | commitdiff | tree | snapshot |
2022-05-14 |
carbotaniuman | Bump rustc for permissive provenance |
commit | commitdiff | tree | snapshot |
2022-05-13 |
Ben Kimock | More review feedback |
commit | commitdiff | tree | snapshot |
2022-05-13 |
bors | Auto merge of #2119 - RalfJung:glob, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-13 |
Ralf Jung | data_race: use glob import like most files |
commit | commitdiff | tree | snapshot |
2022-05-13 |
bors | Auto merge of #2114 - cbeuw:shim-rmw, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-13 |
Andy Wang | Move and rename offset_and_layout_to_place to deref_ope... |
commit | commitdiff | tree | snapshot |
2022-05-12 |
Andy Wang | Inline _create() calls and add assertions |
commit | commitdiff | tree | snapshot |
2022-05-12 |
Andy Wang | Refactor to hide *_next_id functions |
commit | commitdiff | tree | snapshot |
2022-05-12 |
bors | Auto merge of #2117 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-12 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-05-12 |
bors | Auto merge of #2115 - rust-lang:comment_nit, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-05-12 |
Oli Scherer | Update a path to libstd source in our comments |
commit | commitdiff | tree | snapshot |
2022-05-12 |
Ben Kimock | Cleanup/Refactoring from review |
commit | commitdiff | tree | snapshot |
2022-05-11 |
Andy Wang | Use proper atomic rmw for {mutex, rwlock, cond, srwlock... |
commit | commitdiff | tree | snapshot |
2022-05-11 |
bors | Auto merge of #2113 - RalfJung:rustc-log, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-11 |
Ralf Jung | when MIRI_LOG is set, set RUSTC_LOG_ENTRY_EXIT |
commit | commitdiff | tree | snapshot |
2022-05-10 |
bors | Auto merge of #2112 - y86-dev:clarify-custom-rustc... |
commit | commitdiff | tree | snapshot |
2022-05-10 |
Ralf Jung | tweak wording |
commit | commitdiff | tree | snapshot |
2022-05-10 |
y86-dev | Clarified issues when building miri with a custom rustc |
commit | commitdiff | tree | snapshot |
2022-05-10 |
bors | Auto merge of #2111 - RalfJung:python, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-10 |
Ralf Jung | rustfmt |
commit | commitdiff | tree | snapshot |
2022-05-10 |
Ralf Jung | stop relying on python being in the PATH |
commit | commitdiff | tree | snapshot |
2022-05-10 |
bors | Auto merge of #2084 - rust-lang:silence, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-10 |
Oli Scherer | Wording nit |
commit | commitdiff | tree | snapshot |
2022-05-10 |
Oli Scherer | Use alphabetical order for miri flags |
commit | commitdiff | tree | snapshot |
2022-05-09 |
bors | Auto merge of #2109 - RalfJung:fmt, r=RalfJung |
commit | commitdiff | tree | snapshot |
next |