2021-11-10 |
bors | Auto merge of #1904 - camelid:uninit-num, r=RalfJung |
tree | commitdiff |
2021-11-10 |
Noah Lev | Update Miri for detecting uninitialized numbers |
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-08 |
bors | Auto merge of #1884 - DrMeepster:start, r=RalfJung |
tree | commitdiff |
2021-09-06 |
bors | Auto merge of #1886 - camelid:stage2, r=RalfJung |
tree | commitdiff |
2021-09-06 |
bors | Auto merge of #1887 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-09-06 |
hyd-dev | `rustc_target::abi::LayoutOf` -> `rustc_middle::ty... |
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 |
bors | Auto merge of #1856 - RalfJung:no-mir, r=RalfJung |
tree | commitdiff |
2021-07-25 |
bors | Auto merge of #1838 - atsmtat:fs-isolation, r=RalfJung |
tree | commitdiff |
2021-07-24 |
Smit Soni | Move shim argument checks before isolation check |
tree | commitdiff |
2021-07-20 |
Smit Soni | Update error code for fs ops in isolation |
tree | commitdiff |
2021-07-20 |
Smit Soni | Fix use of deprecated `check_no_isolation` in posix... |
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-07-12 |
bors | Auto merge of #1850 - RalfJung:fmt, r=RalfJung |
tree | commitdiff |
2021-07-11 |
Ralf Jung | fmt: set force_multiline_blocks=true |
tree | commitdiff |
2021-07-04 |
bors | Auto merge of #1845 - Smittyvb:fix-after-mir-alloc... |
tree | commitdiff |
2021-07-04 |
Smitty | Make work after mir-alloc-oom |
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-14 |
hyd-dev | Remove `strip_linker_suffix` |
tree | commitdiff |
2021-06-14 |
hyd-dev | Only pass `Symbol` to `emulate_foreign_item_by_name` |
tree | commitdiff |
2021-06-14 |
hyd-dev | Add whitespace |
tree | commitdiff |
2021-06-14 |
hyd-dev | Add some comments about `check_shim` |
tree | commitdiff |
2021-06-11 |
bors | Auto merge of #1831 - hyd-dev:emulate-by-name-result... |
tree | commitdiff |
2021-06-11 |
hyd-dev | Disallow `#[no_mangle]`/`#[export_name = ...]` function... |
tree | commitdiff |
2021-06-11 |
hyd-dev | Fix the wrong `EmulateByNameResult::NotSupported` in... |
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-09 |
bors | Auto merge of #1797 - atsmtat:env-isolation, r=RalfJung |
tree | commitdiff |
2021-06-09 |
Smit Soni | Fix parameter of io error helper function |
tree | commitdiff |
2021-06-09 |
Smit Soni | Add a support to execute isolated op without halting |
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 |
hyd-dev | `in_std` -> `frame_in_std` |
tree | commitdiff |
2021-06-06 |
hyd-dev | Detect `std` by checking if the crate defines `#[lang... |
tree | commitdiff |
2021-06-03 |
bors | Auto merge of #1776 - hyd-dev:1170, r=RalfJung |
tree | commitdiff |
2021-05-31 |
hyd-dev | Move `check_abi()` into `EvalContextExt` |
tree | commitdiff |
2021-05-31 |
hyd-dev | Implement calls to exported symbols |
tree | commitdiff |
2021-05-31 |
hyd-dev | Add `-Zmiri-disable-abi-check` |
tree | commitdiff |
2021-05-23 |
bors | Auto merge of #1814 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-05-23 |
Ralf Jung | avoid some borrow_mut calls in data_race |
tree | commitdiff |
2021-05-19 |
bors | Auto merge of #1804 - RalfJung:ptrless-allocs, r=RalfJung |
tree | commitdiff |
2021-05-19 |
Ralf Jung | update for Memory API changes |
tree | commitdiff |
2021-05-17 |
bors | Auto merge of #1805 - RalfJung:c_str, r=RalfJung |
tree | commitdiff |
2021-05-17 |
Ralf Jung | stop relying on c_str/wide_str helpers in rustc |
tree | commitdiff |
2021-05-16 |
bors | Auto merge of #1801 - RalfJung:rustfmt, r=oli-obk |
tree | commitdiff |
2021-05-16 |
Ralf Jung | format much of Miri |
tree | commitdiff |
2021-03-17 |
bors | Auto merge of #1745 - hyd-dev:unsup-foreign-calls-are... |
tree | commitdiff |
2021-03-17 |
hyd-dev | Remove the macro and expand it manually |
tree | commitdiff |
2021-03-17 |
hyd-dev | Unsupported foreign non-"C"/"system"-ABI function calls... |
tree | commitdiff |
2021-03-14 |
bors | Auto merge of #1743 - RalfJung:callee-checks, r=RalfJung |
tree | commitdiff |
2021-03-14 |
Ralf Jung | when Miri calls a function ptr, make sure it has the... |
tree | commitdiff |
2021-03-11 |
bors | Auto merge of #1739 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-03-11 |
Ralf Jung | rustup |
tree | commitdiff |
2021-03-09 |
bors | Auto merge of #1736 - DJMcNab:rust-analyzer-private... |
tree | commitdiff |
2021-03-08 |
bors | Auto merge of #1735 - m-ou-se:remove-unwrap-none, r... |
tree | commitdiff |
2021-03-08 |
Mara Bos | Remove unwrap_none as it won't be stabilized. |
tree | commitdiff |
2021-02-20 |
bors | Auto merge of #1716 - tmiasko:rustup, r=RalfJung |
tree | commitdiff |
2021-02-20 |
Tomasz Miąsko | rustup to e7c23ab933ebc1f205c3b59f4ebc85d40f67d404 |
tree | commitdiff |
2021-01-31 |
bors | Auto merge of #1698 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-01-31 |
Ralf Jung | rustup; remove some no-longer-needed Windows shims |
tree | commitdiff |
2021-01-30 |
bors | Auto merge of #1693 - rust-lang:oli-obk-patch-1, r... |
tree | commitdiff |
2021-01-29 |
bors | Auto merge of #1670 - unseddd:abi, r=RalfJung |
tree | commitdiff |
2021-01-27 |
Nym Seddon | Add ABI check for shims |
tree | commitdiff |
2021-01-24 |
bors | Auto merge of #1675 - hyd-dev:proc-macro-unit-test... |
tree | commitdiff |
2021-01-23 |
bors | Auto merge of #1683 - frewsxcv:frewsxcv-nprocessors... |
tree | commitdiff |
2021-01-23 |
Ralf Jung | macos: support aarch64 link names |
tree | commitdiff |
2021-01-22 |
Corey Farwell | Add shim for libc::sysconf(libc::_SC_NPROCESSORS_CONF) |
tree | commitdiff |
2020-11-29 |
bors | Auto merge of #1617 - JCTyblaidd:data_race_detector... |
tree | commitdiff |
2020-11-28 |
JCTyBlaidd | Fix typos - looked into the papers handling of timestam... |
tree | commitdiff |
2020-11-27 |
JCTyBlaidd | Apply review changes, incrementing the clocks twice... |
tree | commitdiff |
2020-11-22 |
JCTyBlaidd | Fix review changes |
tree | commitdiff |
2020-11-20 |
bors | Auto merge of #1632 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-11-20 |
Ralf Jung | rustup |
tree | commitdiff |
2020-11-19 |
bors | Auto merge of #1630 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-11-19 |
Ralf Jung | avoid fallback logic (and we do not need the flag value... |
tree | commitdiff |
2020-11-19 |
Mara Bos | Make weak syscalls in std work. |
tree | commitdiff |
2020-11-15 |
JCTyBlaidd | Tidy up comments and function layout, should fix most... |
tree | commitdiff |
2020-11-11 |
bors | Auto merge of #1623 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-11-11 |
Ralf Jung | rustup |
tree | commitdiff |
2020-11-05 |
JCTyBlaidd | Split out vector_clock to separate file, general tidy... |
tree | commitdiff |
2020-11-04 |
JCTyBlaidd | Detect races between atomic and non-atomic accesses... |
tree | commitdiff |
2020-11-02 |
JCTyBlaidd | Add tests, and fix bug in atomic RMW relaxed stores |
tree | commitdiff |
2020-11-02 |
JCTyBlaidd | Initial data-race detector, |
tree | commitdiff |
2020-10-15 |
bors | Auto merge of #1583 - est31:target_refactor, r=RalfJung |
tree | commitdiff |
2020-10-15 |
est31 | Replace target.target with target |
tree | commitdiff |
2020-10-04 |
bors | Auto merge of #1564 - Aaron1011:readlink, r=RalfJung |
tree | commitdiff |
2020-10-04 |
Ralf Jung | more punctuation |
tree | commitdiff |
2020-10-04 |
Aaron Hill | Properly capitalize PathConversion |
tree | commitdiff |
2020-10-04 |
Aaron Hill | Move `convert_path_separator` to trait and use it in... |
tree | commitdiff |
2020-10-04 |
Aaron Hill | Make helper functions freestanding |
tree | commitdiff |
2020-10-04 |
Aaron Hill | Use panicking coversions instead of `as` |
tree | commitdiff |
2020-10-04 |
Aaron Hill | Implement `readlink` |
tree | commitdiff |
2020-10-04 |
bors | Auto merge of #1563 - lzutao:dummy-actions, r=RalfJung |
tree | commitdiff |
2020-10-03 |
bors | Auto merge of #1570 - RalfJung:syscalls, r=RalfJung |
tree | commitdiff |
2020-10-03 |
Ralf Jung | check that all syscall arguments are scalars |
tree | commitdiff |
next |