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 |
2022-04-21 |
Ralf Jung | be explicit about types |
commit | commitdiff | tree | snapshot |
2022-04-21 |
bors | Auto merge of #2080 - RalfJung:2phase, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-21 |
Ralf Jung | make sure 2-phase borows work even with raw ptr tagging |
commit | commitdiff | tree | snapshot |
2022-04-21 |
y86-dev | Added support for multiple tracked pointers, allocs... |
commit | commitdiff | tree | snapshot |
2022-04-20 |
bors | Auto merge of #2078 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-20 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-04-20 |
bors | Auto merge of #2077 - RalfJung:more-test, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-20 |
Ralf Jung | add mut_below_shr test |
commit | commitdiff | tree | snapshot |
2022-04-20 |
Ralf Jung | add another test for #2068 |
commit | commitdiff | tree | snapshot |
2022-04-20 |
bors | Auto merge of #2071 - RalfJung:provenance, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-20 |
Ralf Jung | add test for https://github.com/rust-lang/miri/issues... |
commit | commitdiff | tree | snapshot |
2022-04-20 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-04-20 |
Ralf Jung | avoid into_pointer_or_addr and into_parts in visit_free... |
commit | commitdiff | tree | snapshot |
2022-04-20 |
Ralf Jung | adjust for provenance cleanup |
commit | commitdiff | tree | snapshot |
2022-04-19 |
bors | Auto merge of #2074 - RalfJung:tls-ro, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-19 |
Ralf Jung | do not consider thread-local allocations read-only |
commit | commitdiff | tree | snapshot |
2022-04-18 |
bors | Auto merge of #2070 - RalfJung:size-assert, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-18 |
Ralf Jung | add size assertions for some core types |
commit | commitdiff | tree | snapshot |
2022-04-17 |
bors | Auto merge of #2067 - RalfJung:strerror_r, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-17 |
Ralf Jung | implement strerror_r |
commit | commitdiff | tree | snapshot |
2022-04-16 |
bors | Auto merge of #2065 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-16 |
Ralf Jung | readme |
commit | commitdiff | tree | snapshot |
2022-04-16 |
bors | Auto merge of #2064 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-16 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-04-10 |
bors | Auto merge of #2063 - RalfJung:macos-timeout, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-10 |
Ralf Jung | increase slack for timeout test |
commit | commitdiff | tree | snapshot |
2022-04-10 |
bors | Auto merge of #2062 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-10 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-04-09 |
bors | Auto merge of #2061 - RalfJung:edition, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-09 |
Ralf Jung | use new format string syntax in some places |
commit | commitdiff | tree | snapshot |
2022-04-09 |
Ralf Jung | remove no longer needed imports |
commit | commitdiff | tree | snapshot |
2022-04-09 |
Ralf Jung | port cargo-miri to edition 2021 |
commit | commitdiff | tree | snapshot |
2022-04-09 |
Ralf Jung | port Miri to edition 2021 |
commit | commitdiff | tree | snapshot |
2022-04-09 |
bors | Auto merge of #2060 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-09 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-04-08 |
bors | Auto merge of #2055 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-08 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-04-08 |
Ralf Jung | thread name setting works with strict provenance now :) |
commit | commitdiff | tree | snapshot |
2022-04-08 |
Ralf Jung | fix Windows stdout/stderr |
commit | commitdiff | tree | snapshot |
2022-04-08 |
bors | Auto merge of #2058 - RalfJung:variadic, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-07 |
Ralf Jung | treat prctl like a variadic function |
commit | commitdiff | tree | snapshot |
2022-04-07 |
Ralf Jung | for variadic functions, accept arbitrary trailing argum... |
commit | commitdiff | tree | snapshot |
2022-04-07 |
Ralf Jung | add machine hook tcx parameters |
commit | commitdiff | tree | snapshot |
2022-04-07 |
bors | Auto merge of #2056 - RalfJung:rustup2, r=RalfJung |
commit | commitdiff | tree | snapshot |
2022-04-07 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2022-04-06 |
bors | Auto merge of #2054 - m-ou-se:futex-wait-bitset, r... |
commit | commitdiff | tree | snapshot |
2022-04-06 |
Mara Bos | Put 306ba8357fb36212b7d30efb9eb9e41659ac1445 in rust... |
commit | commitdiff | tree | snapshot |
2022-04-06 |
Mara Bos | Use `let = if;` instead of `let; if`. |
commit | commitdiff | tree | snapshot |
2022-04-06 |
Mara Bos | Add test for FUTEX_*_BITSET. |
commit | commitdiff | tree | snapshot |
2022-04-06 |
Mara Bos | Fully support FUTEX_*_BITSET. |
commit | commitdiff | tree | snapshot |
2022-04-06 |
Mara Bos | Formatting. |
commit | commitdiff | tree | snapshot |
next |