2022-04-08 |
bors | Auto merge of #2055 - RalfJung:rustup, r=RalfJung |
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-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-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-27 |
bors | Auto merge of #2040 - RalfJung:pnvi, r=RalfJung |
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-20 |
bors | Auto merge of #1975 - DrMeepster:backtrace_fix, r=RalfJung |
tree | commitdiff |
2022-03-20 |
DrMeepster | add new version of backtrace api using flags=1 |
tree | commitdiff |
2022-03-17 |
bors | Auto merge of #2029 - RalfJung:simd-bitmask, r=RalfJung |
tree | commitdiff |
2022-03-17 |
Ralf Jung | detect when unused bits of a SIMD bitmask are non-0 |
tree | commitdiff |
2022-03-17 |
bors | Auto merge of #1971 - saethlin:sb-details, r=RalfJung |
tree | commitdiff |
2022-03-17 |
Ben Kimock | Print more in SB error diagnostics |
tree | commitdiff |
2022-03-12 |
bors | Auto merge of #2014 - RalfJung:ptr-offset-from, r=RalfJung |
tree | commitdiff |
2022-03-10 |
Ralf Jung | add ptr_offset_from OOB test, and update test errors |
tree | commitdiff |
2022-03-10 |
bors | Auto merge of #2013 - RalfJung:simd, r=RalfJung |
tree | commitdiff |
2022-03-10 |
Ralf Jung | implement simd_scatter |
tree | commitdiff |
2022-03-10 |
Ralf Jung | implement gather |
tree | commitdiff |
2022-03-07 |
bors | Auto merge of #2004 - RalfJung:simd, r=RalfJung |
tree | commitdiff |
2022-03-07 |
Ralf Jung | implement simd_cast, simd_as |
tree | commitdiff |
2022-03-05 |
bors | Auto merge of #1970 - asquared31415:open_unix_varargs... |
tree | commitdiff |
2022-03-05 |
asquared31415 | allow varargs for libc::open when it is allowed by... |
tree | commitdiff |
2022-03-03 |
bors | Auto merge of #1995 - saethlin:trophies, r=RalfJung |
tree | commitdiff |
2022-03-03 |
bors | Auto merge of #1992 - RalfJung:sdiv, r=RalfJung |
tree | commitdiff |
2022-03-03 |
Ralf Jung | add test for simd division overflow UB |
tree | commitdiff |
2022-03-03 |
Ralf Jung | adjust for div/rem overflow being UB |
tree | commitdiff |
2022-03-02 |
bors | Auto merge of #1994 - RalfJung:unaligned-ptr-test,... |
tree | commitdiff |
2022-03-02 |
Ralf Jung | Make sure we notice when a u16 is loaded at offset... |
tree | commitdiff |
2022-02-27 |
bors | Auto merge of #1985 - RalfJung:fn-ptr, r=RalfJung |
tree | commitdiff |
2022-02-25 |
Ralf Jung | update fn ptr tests |
tree | commitdiff |
2022-02-24 |
bors | Auto merge of #1984 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2022-02-24 |
Ralf Jung | rustup |
tree | commitdiff |
2022-02-22 |
bors | Auto merge of #1977 - saethlin:short-backtraces, r... |
tree | commitdiff |
2022-02-22 |
bors | Auto merge of #1978 - RalfJung:simd_eq, r=RalfJung |
tree | commitdiff |
2022-02-22 |
Ralf Jung | implement simd_eq and simd_reduce_any |
tree | commitdiff |
2021-12-24 |
bors | Auto merge of #1928 - RalfJung:fn-abi, r=RalfJung |
tree | commitdiff |
2021-12-24 |
Ralf Jung | adjust output for calling convention check |
tree | commitdiff |
2021-12-15 |
bors | Auto merge of #1937 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-12-15 |
Ralf Jung | fix iteration-order-dependent output |
tree | commitdiff |
2021-12-08 |
bors | Auto merge of #1934 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-12-08 |
bors | Auto merge of #1933 - 5225225:1931-condvar-false-positi... |
tree | commitdiff |
2021-12-06 |
5225225 | Add tests for double destroying various pthread items |
tree | commitdiff |
2021-12-05 |
5225225 | Handle uninit data in pthread_condattr_destroy |
tree | commitdiff |
2021-11-25 |
bors | Auto merge of #1924 - RalfJung:ra, r=oli-obk |
tree | commitdiff |
2021-11-25 |
bors | Auto merge of #1923 - RalfJung:more-simd, r=RalfJung |
tree | commitdiff |
2021-11-25 |
Ralf Jung | implement shl and shr SIMD intrinsics |
tree | commitdiff |
2021-11-25 |
Ralf Jung | portable SIMD: add rem intrinsic; test div and rem... |
tree | commitdiff |
2021-11-17 |
bors | Auto merge of #1911 - RalfJung:rename-track-tag, r... |
tree | commitdiff |
2021-11-13 |
Ralf Jung | rename track-raw-pointers flag to tag-raw-pointers |
tree | commitdiff |
2021-11-10 |
bors | Auto merge of #1904 - camelid:uninit-num, r=RalfJung |
tree | commitdiff |
2021-11-10 |
Noah Lev | Add test for uninit raw ptrs |
tree | commitdiff |
2021-11-10 |
Noah Lev | Add tests for `-Zmiri-check-number-validity` |
tree | commitdiff |
2021-11-02 |
bors | Auto merge of #1905 - camelid:rustup, r=RalfJung |
tree | commitdiff |
2021-11-01 |
Noah Lev | rustup |
tree | commitdiff |
2021-10-05 |
bors | Auto merge of #1896 - camelid:rustup, r=RalfJung |
tree | commitdiff |
2021-10-05 |
Noah Lev | rustup |
tree | commitdiff |
2021-09-30 |
bors | Auto merge of #1885 - DrMeepster:global_allocator,... |
tree | commitdiff |
2021-09-29 |
DrMeepster | implement `#[global_allocator]` |
tree | commitdiff |
2021-09-14 |
bors | Auto merge of #1890 - Smittyvb:cargo-miri-short-alias... |
tree | commitdiff |
2021-09-11 |
bors | Auto merge of #1889 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-09-11 |
hyd-dev | Add `#[allow(dead_code)]` in some tests |
tree | commitdiff |
2021-08-16 |
bors | Auto merge of #1872 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-08-16 |
Ralf Jung | rustup |
tree | commitdiff |
2021-08-14 |
bors | Auto merge of #1870 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-08-14 |
Ralf Jung | rustup |
tree | commitdiff |
2021-08-07 |
bors | Auto merge of #1868 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-08-07 |
hyd-dev | Fix tests for `C-unwind` ABI changes |
tree | commitdiff |
2021-08-02 |
bors | Auto merge of #1854 - RalfJung:partial-ptr-overwrite... |
tree | commitdiff |
2021-08-02 |
Ralf Jung | adjust for ERR_ON_PARTIAL_PTR_OVERWRITE |
tree | commitdiff |
2021-07-27 |
bors | Auto merge of #1858 - RalfJung:thread-leaks, r=oli-obk |
tree | commitdiff |
2021-07-25 |
bors | Auto merge of #1859 - RalfJung:global-system-mixup... |
tree | commitdiff |
2021-07-25 |
Ralf Jung | add test for mixing up System and Global memory |
tree | commitdiff |
2021-07-25 |
Ralf Jung | also ignore 'thread leaks' with -Zmiri-ignore-leaks |
tree | commitdiff |
2021-07-20 |
bors | Auto merge of #1853 - RalfJung:negative-offsets, r... |
tree | commitdiff |
2021-07-20 |
Ralf Jung | test for negative offsets |
tree | commitdiff |
2021-07-17 |
bors | Auto merge of #1851 - RalfJung:provenance-overhaul... |
tree | commitdiff |
2021-07-16 |
Ralf Jung | adjust Miri to Pointer type overhaul |
tree | commitdiff |
2021-06-17 |
bors | Auto merge of #1839 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-06-17 |
Ralf Jung | rustup |
tree | commitdiff |
2021-06-15 |
bors | Auto merge of #1833 - hyd-dev:82261, r=RalfJung |
tree | commitdiff |
2021-06-15 |
bors | Auto merge of #1832 - hyd-dev:1776-follow-up, r=RalfJung |
tree | commitdiff |
2021-06-15 |
bors | Auto merge of #1836 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-06-15 |
hyd-dev | Rustup |
tree | commitdiff |
2021-06-11 |
hyd-dev | Use `check_shim()` for `abort` |
tree | commitdiff |
2021-06-11 |
hyd-dev | Disallow `#[no_mangle]`/`#[export_name = ...]` function... |
tree | commitdiff |
2021-06-09 |
bors | Auto merge of #1830 - RalfJung:readme, r=RalfJung |
tree | commitdiff |
2021-06-09 |
bors | Auto merge of #1818 - landaire:feature/panic-on-unsuppo... |
tree | commitdiff |
2021-06-07 |
Lander Brandt | Add support for panicking in the emulated application... |
tree | commitdiff |
2021-06-06 |
bors | Auto merge of #1823 - hyd-dev:extern-crate-std, r=RalfJung |
tree | commitdiff |
2021-06-06 |
Ralf Jung | expand comment |
tree | commitdiff |
next |