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 #2153 - RalfJung:ptr-invalid, r=RalfJung |
tree | commitdiff |
2022-05-24 |
Ralf Jung | with permissive-provenance set, we already treat ptr... |
tree | commitdiff |
2022-05-23 |
bors | Auto merge of #2152 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-05-23 |
Ralf Jung | rustup |
tree | commitdiff |
2022-05-23 |
bors | Auto merge of #2150 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-05-23 |
Ralf Jung | move some tests to more suitable locations |
tree | commitdiff |
2022-05-23 |
bors | Auto merge of #2149 - RalfJung:tests, r=RalfJung |
tree | commitdiff |
2022-05-23 |
Ralf Jung | move some compile-fail tests to a more appropriate... |
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 |
Ralf Jung | test that compare-exchange-weak-failure-rate=0.0 means... |
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-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 |
bors | Auto merge of #2141 - saethlin:early-diagnostics-ice... |
tree | commitdiff |
2022-05-22 |
Ben Kimock | Handle diagnotics emitted in runtime initialization |
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-20 |
bors | Auto merge of #2130 - 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-18 |
bors | Auto merge of #2125 - RalfJung:ref-validity, r=RalfJung |
tree | commitdiff |
2022-05-18 |
Ralf Jung | change one of the ref-to-uninhbaited tests to Box |
tree | commitdiff |
2022-05-18 |
Ralf Jung | test for validity of references pointing to uninhabited... |
tree | commitdiff |
2022-05-14 |
bors | Auto merge of #2030 - saethlin:track-alloc-history... |
tree | commitdiff |
2022-05-10 |
bors | Auto merge of #2084 - rust-lang:silence, r=RalfJung |
tree | commitdiff |
2022-05-08 |
bors | Auto merge of #2107 - RalfJung:err, r=RalfJung |
tree | commitdiff |
2022-05-08 |
Ralf Jung | test for "erroneous constant used" post-monomorphizatio... |
tree | commitdiff |
2022-05-06 |
bors | Auto merge of #2103 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-05-06 |
Ralf Jung | rustup |
tree | commitdiff |
2022-05-01 |
bors | Auto merge of #2098 - RalfJung:papers, r=RalfJung |
tree | commitdiff |
2022-05-01 |
bors | Auto merge of #2094 - dtolnay-contrib:truncate, r=RalfJung |
tree | commitdiff |
2022-05-01 |
bors | Auto merge of #2095 - dtolnay-contrib:ref, r=RalfJung |
tree | commitdiff |
2022-04-30 |
bors | Auto merge of #2096 - dtolnay-contrib:whitespace, r... |
tree | commitdiff |
2022-04-30 |
David Tolnay | Clean up all trailing whitespace |
tree | commitdiff |
2022-04-30 |
David Tolnay | Replace unneeded use of `ref` in favor of "match ergono... |
tree | commitdiff |
2022-04-30 |
bors | Auto merge of #2093 - RalfJung:post-mono, r=RalfJung |
tree | commitdiff |
2022-04-30 |
Ralf Jung | gracefully handle type-too-large layout errors |
tree | commitdiff |
2022-04-30 |
bors | Auto merge of #2090 - dtolnay-contrib:addcarry, r=oli-obk |
tree | commitdiff |
2022-04-29 |
David Tolnay | Implement llvm.x86.addcarry.64 |
tree | commitdiff |
2022-04-26 |
Oli Scherer | Rename flag, datastructure and messaging around muting... |
tree | commitdiff |
2022-04-25 |
Oli Scherer | Add a command line flag to avoid printing to stdout... |
tree | commitdiff |
2022-04-21 |
bors | Auto merge of #2075 - y86-dev:master, r=RalfJung |
tree | commitdiff |
2022-04-21 |
bors | Auto merge of #2080 - RalfJung:2phase, r=RalfJung |
tree | commitdiff |
2022-04-21 |
Ralf Jung | make sure 2-phase borows work even with raw ptr tagging |
tree | commitdiff |
2022-04-20 |
bors | Auto merge of #2078 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-04-20 |
Ralf Jung | rustup |
tree | commitdiff |
2022-04-20 |
bors | Auto merge of #2077 - RalfJung:more-test, r=RalfJung |
tree | commitdiff |
2022-04-20 |
Ralf Jung | add mut_below_shr test |
tree | commitdiff |
2022-04-20 |
Ralf Jung | add another test for #2068 |
tree | commitdiff |
2022-04-20 |
bors | Auto merge of #2071 - RalfJung:provenance, r=RalfJung |
tree | commitdiff |
2022-04-20 |
Ralf Jung | add test for https://github.com/rust-lang/miri/issues... |
tree | commitdiff |
2022-04-19 |
bors | Auto merge of #2074 - RalfJung:tls-ro, r=RalfJung |
tree | commitdiff |
2022-04-19 |
Ralf Jung | do not consider thread-local allocations read-only |
tree | commitdiff |
2022-04-17 |
bors | Auto merge of #2067 - RalfJung:strerror_r, r=RalfJung |
tree | commitdiff |
2022-04-17 |
Ralf Jung | implement strerror_r |
tree | commitdiff |
2022-04-16 |
bors | Auto merge of #2064 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-04-16 |
Ralf Jung | rustup |
tree | commitdiff |
2022-04-10 |
bors | Auto merge of #2063 - RalfJung:macos-timeout, r=RalfJung |
tree | commitdiff |
2022-04-10 |
Ralf Jung | increase slack for timeout test |
tree | commitdiff |
2022-04-10 |
bors | Auto merge of #2062 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-04-10 |
Ralf Jung | rustup |
tree | commitdiff |
2022-04-08 |
bors | Auto merge of #2055 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-04-08 |
Ralf Jung | thread name setting works with strict provenance now :) |
tree | commitdiff |
2022-04-08 |
Ralf Jung | fix Windows stdout/stderr |
tree | commitdiff |
2022-04-08 |
bors | Auto merge of #2058 - RalfJung:variadic, r=RalfJung |
tree | commitdiff |
2022-04-07 |
Ralf Jung | treat prctl like a variadic function |
tree | commitdiff |
2022-04-07 |
Ralf Jung | for variadic functions, accept arbitrary trailing argum... |
tree | commitdiff |
2022-04-06 |
bors | Auto merge of #2054 - m-ou-se:futex-wait-bitset, r... |
tree | commitdiff |
2022-04-06 |
Mara Bos | Add test for FUTEX_*_BITSET. |
tree | commitdiff |
2022-04-06 |
Mara Bos | Add test for FUTEX_WAIT_BITSET. |
tree | commitdiff |
2022-04-05 |
bors | Auto merge of #2050 - RalfJung:partially-uninit, r... |
tree | commitdiff |
2022-04-05 |
Ralf Jung | test that partially uninit MaybeUninit works correctly |
tree | commitdiff |
2022-04-05 |
bors | Auto merge of #2047 - RalfJung:no-extras, r=RalfJung |
tree | commitdiff |
2022-04-04 |
bors | Auto merge of #2046 - RalfJung:very-strict, r=RalfJung |
tree | commitdiff |
2022-04-02 |
Ralf Jung | add test for nasty example |
tree | commitdiff |
2022-04-02 |
Ralf Jung | make strict-provenance imply check-number-validity |
tree | commitdiff |
2022-04-01 |
bors | Auto merge of #2045 - RalfJung:strict-provenance, r... |
tree | commitdiff |
2022-04-01 |
bors | Auto merge of #2043 - RalfJung:max-size, r=RalfJung |
tree | commitdiff |
2022-04-01 |
Ralf Jung | Rust values can be up to isize::MAX in size |
tree | commitdiff |
2022-04-01 |
Ralf Jung | add -Zmiri-strict-provenance |
tree | commitdiff |
2022-03-31 |
bors | Auto merge of #2044 - RalfJung:int_log, r=RalfJung |
tree | commitdiff |
2022-03-31 |
Ralf Jung | test int_log functions |
tree | commitdiff |
2022-03-27 |
bors | Auto merge of #2040 - RalfJung:pnvi, r=RalfJung |
tree | commitdiff |
2022-03-26 |
Ralf Jung | channels do ptr-int transmutes so move them to non... |
tree | commitdiff |
2022-03-26 |
Ralf Jung | ensure that -Zmiri-check-number-validity detects intege... |
tree | commitdiff |
2022-03-26 |
bors | Auto merge of #2039 - RalfJung:too-big, r=RalfJung |
tree | commitdiff |
2022-03-26 |
Ralf Jung | another test for too big type |
tree | commitdiff |
2022-03-24 |
bors | Auto merge of #2036 - RalfJung:vec, r=RalfJung |
tree | commitdiff |
2022-03-24 |
bors | Auto merge of #2038 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-03-24 |
Ralf Jung | rustup |
tree | commitdiff |
2022-03-22 |
Ralf Jung | regression test for reverse() unsoundness |
tree | commitdiff |
2022-03-22 |
Ralf Jung | vec test: check number validity |
tree | commitdiff |
2022-03-20 |
bors | Auto merge of #2033 - RalfJung:arbitrary-self-dyn,... |
tree | commitdiff |
2022-03-20 |
Ralf Jung | test arbitrary-self dyn receivers |
tree | commitdiff |
next |