2021-07-27 |
bors | Auto merge of #1858 - RalfJung:thread-leaks, r=oli-obk |
tree | commitdiff |
2021-07-27 |
Ralf Jung | make sure we only terminate main thread once TLS is... |
tree | commitdiff |
2021-07-27 |
Ralf Jung | make the loop infinite |
tree | commitdiff |
2021-07-25 |
Ralf Jung | no concurrency on windows |
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-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-20 |
Smit Soni | Update error code for fs ops in isolation |
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-20 |
bors | Auto merge of #1855 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-07-20 |
Ralf Jung | rustup |
tree | commitdiff |
2021-07-17 |
bors | Auto merge of #1851 - RalfJung:provenance-overhaul... |
tree | commitdiff |
2021-07-17 |
Ralf Jung | add test for better ptr handling in enum niches |
tree | commitdiff |
2021-07-16 |
Ralf Jung | adjust Miri to Pointer type overhaul |
tree | commitdiff |
2021-07-10 |
bors | Auto merge of #1849 - Aaron1011:rustup-track-caller... |
tree | commitdiff |
2021-07-10 |
Aaron Hill | Rustup for `#[track_caller]` trait object changes |
tree | commitdiff |
2021-07-07 |
bors | Auto merge of #1848 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-07-07 |
Ralf Jung | rustup |
tree | commitdiff |
2021-07-03 |
bors | Auto merge of #1842 - hyd-dev:target-dir, r=RalfJung |
tree | commitdiff |
2021-06-20 |
bors | Auto merge of #1841 - RalfJung:debug, r=RalfJung |
tree | commitdiff |
2021-06-20 |
bors | Auto merge of #1840 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-06-20 |
hyd-dev | Update backtraces |
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 |
bors | Auto merge of #1831 - hyd-dev:emulate-by-name-result... |
tree | commitdiff |
2021-06-11 |
hyd-dev | Implement cache for not found symbols |
tree | commitdiff |
2021-06-11 |
hyd-dev | Disallow `#[no_mangle]`/`#[export_name = ...]` function... |
tree | commitdiff |
2021-06-11 |
hyd-dev | Remove erroneous `exit()` and `ExitProcess()` in `tests... |
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 #1829 - RalfJung:isolation, r=RalfJung |
tree | commitdiff |
2021-06-09 |
Ralf Jung | isolated operations return EPERM; tweak isolation hint |
tree | commitdiff |
2021-06-09 |
bors | Auto merge of #1797 - atsmtat:env-isolation, r=RalfJung |
tree | commitdiff |
2021-06-09 |
Smit Soni | Add a support to execute isolated op without halting |
tree | commitdiff |
2021-06-09 |
bors | Auto merge of #1827 - l4l:patch-1, r=RalfJung |
tree | commitdiff |
2021-06-08 |
bors | Auto merge of #1828 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-06-08 |
hyd-dev | Update `Box<Any>` to `Box<dyn Any>` in `catch_panic... |
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 |
2021-06-06 |
hyd-dev | Remove 2 tests |
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-06-03 |
bors | Auto merge of #1824 - Pointerbender:strings-test, r... |
tree | commitdiff |
2021-06-03 |
Pointerbender | added a strings.rs regression test case for potential... |
tree | commitdiff |
2021-06-03 |
bors | Auto merge of #1816 - Pointerbender:slices-tests, r... |
tree | commitdiff |
2021-06-03 |
hyd-dev | Remove some tests |
tree | commitdiff |
2021-06-03 |
hyd-dev | Remove FIXME in `tests/compile-fail/panic/bad_unwind.rs` |
tree | commitdiff |
2021-06-02 |
Pointerbender | use references so that potential aliasing bugs are... |
tree | commitdiff |
2021-06-02 |
Pointerbender | regression tests for pointer invalidation in core libra... |
tree | commitdiff |
2021-05-31 |
bors | Auto merge of #1820 - Aaron1011:rustup-const-err, r... |
tree | commitdiff |
2021-05-31 |
Aaron Hill | Rustup for const_err changes |
tree | commitdiff |
2021-05-31 |
hyd-dev | Improve tests |
tree | commitdiff |
2021-05-31 |
hyd-dev | Remove duplicated "foreign function" |
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-28 |
bors | Auto merge of #1812 - hyd-dev:85546, r=RalfJung |
tree | commitdiff |
2021-05-28 |
hyd-dev | `unwind` is no longer `Option<BasicBlock>` |
tree | commitdiff |
2021-05-23 |
bors | Auto merge of #1814 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-05-23 |
Ralf Jung | fix a Stacked Borrows test whose output changed |
tree | commitdiff |
2021-05-19 |
bors | Auto merge of #1804 - RalfJung:ptrless-allocs, r=RalfJung |
tree | commitdiff |
2021-05-19 |
Ralf Jung | avoid importing C functions in alloc_write_race test |
tree | commitdiff |
2021-05-19 |
Ralf Jung | update for Memory API changes |
tree | commitdiff |
2021-05-11 |
bors | Auto merge of #1792 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-05-11 |
Ralf Jung | rustup |
tree | commitdiff |
2021-05-08 |
bors | Auto merge of #1790 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-05-08 |
hyd-dev | Update pointer error messages |
tree | commitdiff |
2021-05-07 |
bors | Auto merge of #1789 - RalfJung:array-to-elem, r=RalfJung |
tree | commitdiff |
2021-05-07 |
Ralf Jung | stacked borrows: ensure array-to-elem casts behave... |
tree | commitdiff |
2021-05-04 |
bors | Auto merge of #1788 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-05-04 |
hyd-dev | `encountered a NULL reference` -> `encountered a null... |
tree | commitdiff |
2021-05-03 |
bors | Auto merge of #1785 - Smittyvb:fast-math-ub, r=RalfJung |
tree | commitdiff |
2021-05-03 |
Smitty | Simplify finiteness checking |
tree | commitdiff |
2021-05-03 |
Smitty | test for infinite value in f*_fast |
tree | commitdiff |
2021-05-02 |
Smitty | UB if f*_fast intrinsic called with nonfinite value |
tree | commitdiff |
2021-05-01 |
bors | Auto merge of #1784 - hyd-dev:harness-false, r=RalfJung |
tree | commitdiff |
2021-05-01 |
hyd-dev | Use `harness = false` instead of `#![feature(custom_tes... |
tree | commitdiff |
2021-04-30 |
bors | Auto merge of #1783 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-04-30 |
hyd-dev | Rustup for rust-lang/rust#84401 |
tree | commitdiff |
2021-04-25 |
bors | Auto merge of #1781 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-04-25 |
Ralf Jung | rustup |
tree | commitdiff |
2021-04-22 |
bors | Auto merge of #1769 - RalfJung:remove-compat, r=oli-obk |
tree | commitdiff |
2021-04-20 |
bors | Auto merge of #1778 - RalfJung:thread-local-const-init... |
tree | commitdiff |
2021-04-20 |
Ralf Jung | make TLS-drop-test more cross-platform |
tree | commitdiff |
2021-04-18 |
Ralf Jung | test thread_local_const_init |
tree | commitdiff |
2021-04-16 |
bors | Auto merge of #1777 - crlf0710:fix_compilation, r=RalfJung |
tree | commitdiff |
2021-04-16 |
Charles Lew | Remove `main_fn.rs` test. |
tree | commitdiff |
2021-04-15 |
bors | Auto merge of #1775 - ABouttefeux:master, r=RalfJung |
tree | commitdiff |
2021-04-15 |
AliƩnore Bouttefeux | allow deref of null ptr in test |
tree | commitdiff |
2021-04-11 |
bors | Auto merge of #1772 - RalfJung:less-timeout-checking... |
tree | commitdiff |
2021-04-11 |
Ralf Jung | test calling pthread_cond_timedwait with an already... |
tree | commitdiff |
next |