2022-05-21 |
Mateusz Gienieczko | Add failing page_size test. |
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 |
2022-05-09 |
Ralf Jung | rustfmt |
commit | commitdiff | tree | snapshot |
2022-05-09 |
bors | Auto merge of #2108 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-09 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-05-08 |
bors | Auto merge of #2107 - RalfJung:err, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-08 |
Ralf Jung | test for "erroneous constant used" post-monomorphizatio... |
commit | commitdiff | tree | snapshot |
2022-05-06 |
bors | Auto merge of #2103 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-06 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-05-05 |
bors | Auto merge of #2100 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-05 |
Ralf Jung | tweak MIRI_SYSROOT docs |
commit | commitdiff | tree | snapshot |
2022-05-01 |
bors | Auto merge of #2098 - RalfJung:papers, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-01 |
Ralf Jung | mention some papers that use Miri |
commit | commitdiff | tree | snapshot |
2022-05-01 |
bors | Auto merge of #2094 - dtolnay-contrib:truncate, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-05-01 |
bors | Auto merge of #2095 - dtolnay-contrib:ref, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-30 |
Ben Kimock | Pass AccessKind to check_protector |
commit | commitdiff | tree | snapshot |
2022-04-30 |
bors | Auto merge of #2096 - dtolnay-contrib:whitespace, r... |
commit | commitdiff | tree | snapshot |
2022-04-30 |
David Tolnay | Clean up all trailing whitespace |
commit | commitdiff | tree | snapshot |
2022-04-30 |
David Tolnay | Replace `as` casts in llvm.x86.addcarry.64 implementation |
commit | commitdiff | tree | snapshot |
2022-04-30 |
David Tolnay | Replace unneeded use of `ref` in favor of "match ergono... |
commit | commitdiff | tree | snapshot |
2022-04-30 |
bors | Auto merge of #2093 - RalfJung:post-mono, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-30 |
Ralf Jung | gracefully handle type-too-large layout errors |
commit | commitdiff | tree | snapshot |
2022-04-30 |
Ben Kimock | Move SB diagnostics to a module |
commit | commitdiff | tree | snapshot |
2022-04-30 |
Ben Kimock | Set the current span (somewhat) lazily |
commit | commitdiff | tree | snapshot |
2022-04-30 |
Ben Kimock | Print spans where tags are created and invalidated |
commit | commitdiff | tree | snapshot |
2022-04-30 |
bors | Auto merge of #2090 - dtolnay-contrib:addcarry, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-04-30 |
bors | Auto merge of #2091 - dtolnay-contrib:clippy, r=oli-obk |
commit | commitdiff | tree | snapshot |
2022-04-30 |
bors | Auto merge of #2092 - dtolnay-contrib:checkoutv3, r... |
commit | commitdiff | tree | snapshot |
2022-04-30 |
David Tolnay | Update GitHub Actions actions/checkout@v2 to v3 |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Keep remaining clippy ignores |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::useless_conversion |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::unnecessary_mut_passed |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::single_char_pattern |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::single_char_add_str |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::redundant_field_names |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::redundant_closure |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::op_ref |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::needless_return |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Implement llvm.x86.addcarry.64 |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::needless_question_mark |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::needless_lifetimes |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::needless_borrow |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::mem_replace_with_default |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::len_zero |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::extra_unused_lifetimes |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::clone_on_copy |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Resolve clippy::assign_op_pattern |
commit | commitdiff | tree | snapshot |
2022-04-29 |
David Tolnay | Suppress all currently triggered clippy lints |
commit | commitdiff | tree | snapshot |
2022-04-26 |
Oli Scherer | Add readme entry |
commit | commitdiff | tree | snapshot |
2022-04-26 |
Oli Scherer | Rename flag, datastructure and messaging around muting... |
commit | commitdiff | tree | snapshot |
2022-04-25 |
bors | Auto merge of #2086 - nbdd0121:master, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-25 |
Gary Guo | Update export_symbols |
commit | commitdiff | tree | snapshot |
2022-04-25 |
Oli Scherer | Implement the output dropping for windows, too |
commit | commitdiff | tree | snapshot |
2022-04-25 |
Oli Scherer | Add a command line flag to avoid printing to stdout... |
commit | commitdiff | tree | snapshot |
2022-04-21 |
bors | Auto merge of #2075 - y86-dev:master, r=RalfJung |
commit | commitdiff | tree | snapshot |
next |