2021-08-04 |
hyd-dev | Update cargo-miri test |
commit | commitdiff | tree | snapshot |
2021-08-02 |
bors | Auto merge of #1854 - RalfJung:partial-ptr-overwrite... |
commit | commitdiff | tree | snapshot |
2021-08-02 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-08-02 |
Ralf Jung | docify some comments |
commit | commitdiff | tree | snapshot |
2021-08-02 |
Ralf Jung | adjust for ERR_ON_PARTIAL_PTR_OVERWRITE |
commit | commitdiff | tree | snapshot |
2021-07-30 |
bors | Auto merge of #1863 - hyd-dev:parallel-compiler, r... |
commit | commitdiff | tree | snapshot |
2021-07-30 |
hyd-dev | Use `Lrc` instead of `Rc` in `MiriCompilerCalls::config()` |
commit | commitdiff | tree | snapshot |
2021-07-27 |
bors | Auto merge of #1861 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-07-27 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-07-27 |
bors | Auto merge of #1858 - RalfJung:thread-leaks, r=oli-obk |
commit | commitdiff | tree | snapshot |
2021-07-27 |
Ralf Jung | make sure we only terminate main thread once TLS is... |
commit | commitdiff | tree | snapshot |
2021-07-27 |
Ralf Jung | make the loop infinite |
commit | commitdiff | tree | snapshot |
2021-07-25 |
Ralf Jung | no concurrency on windows |
commit | commitdiff | tree | snapshot |
2021-07-25 |
bors | Auto merge of #1859 - RalfJung:global-system-mixup... |
commit | commitdiff | tree | snapshot |
2021-07-25 |
Ralf Jung | add test for mixing up System and Global memory |
commit | commitdiff | tree | snapshot |
2021-07-25 |
Ralf Jung | tell users how to disable the leak check |
commit | commitdiff | tree | snapshot |
2021-07-25 |
Ralf Jung | also ignore 'thread leaks' with -Zmiri-ignore-leaks |
commit | commitdiff | tree | snapshot |
2021-07-25 |
bors | Auto merge of #1856 - RalfJung:no-mir, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-07-25 |
bors | Auto merge of #1838 - atsmtat:fs-isolation, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-07-24 |
Smit Soni | Move shim argument checks before isolation check |
commit | commitdiff | tree | snapshot |
2021-07-24 |
Ralf Jung | show proper error when using a sysroot without MIR |
commit | commitdiff | tree | snapshot |
2021-07-20 |
Smit Soni | Update error code for fs ops in isolation |
commit | commitdiff | tree | snapshot |
2021-07-20 |
Smit Soni | Fix use of deprecated `check_no_isolation` in posix... |
commit | commitdiff | tree | snapshot |
2021-07-20 |
bors | Auto merge of #1853 - RalfJung:negative-offsets, r... |
commit | commitdiff | tree | snapshot |
2021-07-20 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-07-20 |
Ralf Jung | test for negative offsets |
commit | commitdiff | tree | snapshot |
2021-07-20 |
Ralf Jung | adjust for PointerOutOfBounds change |
commit | commitdiff | tree | snapshot |
2021-07-20 |
bors | Auto merge of #1855 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-07-20 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-07-17 |
bors | Auto merge of #1851 - RalfJung:provenance-overhaul... |
commit | commitdiff | tree | snapshot |
2021-07-17 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-07-17 |
Ralf Jung | add test for better ptr handling in enum niches |
commit | commitdiff | tree | snapshot |
2021-07-16 |
Ralf Jung | adjust Miri to Pointer type overhaul |
commit | commitdiff | tree | snapshot |
2021-07-12 |
bors | Auto merge of #1850 - RalfJung:fmt, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-07-11 |
Ralf Jung | fmt cargo-miri |
commit | commitdiff | tree | snapshot |
2021-07-11 |
Ralf Jung | fmt: set force_multiline_blocks=true |
commit | commitdiff | tree | snapshot |
2021-07-10 |
bors | Auto merge of #1849 - Aaron1011:rustup-track-caller... |
commit | commitdiff | tree | snapshot |
2021-07-10 |
Aaron Hill | Rustup for `#[track_caller]` trait object changes |
commit | commitdiff | tree | snapshot |
2021-07-07 |
bors | Auto merge of #1848 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-07-07 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-07-06 |
bors | Auto merge of #1846 - RalfJung:license, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-07-06 |
bors | Auto merge of #1847 - RalfJung:more-tags, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-07-06 |
Ralf Jung | fmt |
commit | commitdiff | tree | snapshot |
2021-07-06 |
Ralf Jung | exported_symbols_cache: ensure we do not overwrite... |
commit | commitdiff | tree | snapshot |
2021-07-06 |
Ralf Jung | also treat CallerLocation and Machine memory as properl... |
commit | commitdiff | tree | snapshot |
2021-07-06 |
Ralf Jung | explicitly list memory kinds for stacked borrows |
commit | commitdiff | tree | snapshot |
2021-07-05 |
Ralf Jung | sync license files with rustc repo |
commit | commitdiff | tree | snapshot |
2021-07-04 |
bors | Auto merge of #1845 - Smittyvb:fix-after-mir-alloc... |
commit | commitdiff | tree | snapshot |
2021-07-04 |
Smitty | Make work after mir-alloc-oom |
commit | commitdiff | tree | snapshot |
2021-07-03 |
bors | Auto merge of #1842 - hyd-dev:target-dir, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-07-02 |
bors | Auto merge of #1844 - hyd-dev:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-07-02 |
hyd-dev | Import `std::process::self` |
commit | commitdiff | tree | snapshot |
2021-07-02 |
hyd-dev | Add a comment in `.github/workflows/ci.yml` |
commit | commitdiff | tree | snapshot |
2021-07-02 |
hyd-dev | Update for `TyCtxt::crates()` change |
commit | commitdiff | tree | snapshot |
2021-06-29 |
bors | Auto merge of #1843 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-06-29 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-06-27 |
hyd-dev | Improve doc comment |
commit | commitdiff | tree | snapshot |
2021-06-27 |
hyd-dev | Fix `.expect()` message |
commit | commitdiff | tree | snapshot |
2021-06-27 |
hyd-dev | `drop(cmd.arg(arg))` -> `cmd.arg(arg);` |
commit | commitdiff | tree | snapshot |
2021-06-27 |
hyd-dev | Use `rustup-toolchain-install-master` to install Cargo |
commit | commitdiff | tree | snapshot |
2021-06-26 |
hyd-dev | Show error if `--target-dir` is provided more than... |
commit | commitdiff | tree | snapshot |
2021-06-26 |
hyd-dev | Fix typo |
commit | commitdiff | tree | snapshot |
2021-06-26 |
hyd-dev | `ArgFlagValueWithOtherArgsIter` -> `ArgSplitFlagValue` |
commit | commitdiff | tree | snapshot |
2021-06-26 |
hyd-dev | Add some comments in `test-cargo-miri/run-tests.py` |
commit | commitdiff | tree | snapshot |
2021-06-26 |
hyd-dev | long closure -> function |
commit | commitdiff | tree | snapshot |
2021-06-24 |
hyd-dev | Use `miri` inside the target directory used by rustc... |
commit | commitdiff | tree | snapshot |
2021-06-20 |
bors | Auto merge of #1841 - RalfJung:debug, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-06-20 |
Ralf Jung | use exhaustive struct match for manual Debug impl |
commit | commitdiff | tree | snapshot |
2021-06-20 |
bors | Auto merge of #1840 - hyd-dev:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-06-20 |
hyd-dev | Update backtraces |
commit | commitdiff | tree | snapshot |
2021-06-17 |
bors | Auto merge of #1839 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-06-17 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2021-06-15 |
bors | Auto merge of #1833 - hyd-dev:82261, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-06-15 |
bors | Auto merge of #1832 - hyd-dev:1776-follow-up, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-06-15 |
bors | Auto merge of #1836 - hyd-dev:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-06-15 |
hyd-dev | Rustup |
commit | commitdiff | tree | snapshot |
2021-06-14 |
hyd-dev | Rename all `link_name_sym` to `link_name` and remove... |
commit | commitdiff | tree | snapshot |
2021-06-14 |
hyd-dev | Remove `strip_linker_suffix` |
commit | commitdiff | tree | snapshot |
2021-06-14 |
hyd-dev | Only pass `Symbol` to `emulate_foreign_item_by_name` |
commit | commitdiff | tree | snapshot |
2021-06-14 |
hyd-dev | Add whitespace |
commit | commitdiff | tree | snapshot |
2021-06-14 |
hyd-dev | Check argument count for `CreateThread` |
commit | commitdiff | tree | snapshot |
2021-06-14 |
hyd-dev | Add some comments about `check_shim` |
commit | commitdiff | tree | snapshot |
2021-06-14 |
hyd-dev | Don't report UB for `#[no_mangle]` on associated functions |
commit | commitdiff | tree | snapshot |
2021-06-14 |
hyd-dev | Do not return `DefId` that doesn't have exported symbol... |
commit | commitdiff | tree | snapshot |
2021-06-11 |
hyd-dev | `let`-bind `exp_abi` of `"exit" | "ExitProcess"` |
commit | commitdiff | tree | snapshot |
2021-06-11 |
hyd-dev | Use `check_shim()` for `abort` |
commit | commitdiff | tree | snapshot |
2021-06-11 |
bors | Auto merge of #1831 - hyd-dev:emulate-by-name-result... |
commit | commitdiff | tree | snapshot |
2021-06-11 |
hyd-dev | Implement cache for not found symbols |
commit | commitdiff | tree | snapshot |
2021-06-11 |
hyd-dev | Disallow `#[no_mangle]`/`#[export_name = ...]` function... |
commit | commitdiff | tree | snapshot |
2021-06-11 |
hyd-dev | Remove erroneous `exit()` and `ExitProcess()` in `tests... |
commit | commitdiff | tree | snapshot |
2021-06-11 |
hyd-dev | Fix the wrong `EmulateByNameResult::NotSupported` in... |
commit | commitdiff | tree | snapshot |
2021-06-09 |
bors | Auto merge of #1830 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-06-09 |
Ralf Jung | tweak isolation-error message in README |
commit | commitdiff | tree | snapshot |
2021-06-09 |
bors | Auto merge of #1818 - landaire:feature/panic-on-unsuppo... |
commit | commitdiff | tree | snapshot |
2021-06-09 |
bors | Auto merge of #1829 - RalfJung:isolation, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-06-09 |
Ralf Jung | isolated operations return EPERM; tweak isolation hint |
commit | commitdiff | tree | snapshot |
2021-06-09 |
bors | Auto merge of #1797 - atsmtat:env-isolation, r=RalfJung |
commit | commitdiff | tree | snapshot |
2021-06-09 |
Smit Soni | Fix parameter of io error helper function |
commit | commitdiff | tree | snapshot |
2021-06-09 |
Smit Soni | Add a support to execute isolated op without halting |
commit | commitdiff | tree | snapshot |
2021-06-09 |
bors | Auto merge of #1827 - l4l:patch-1, r=RalfJung |
commit | commitdiff | tree | snapshot |
next |