2020-10-07 |
bors | Auto merge of #1550 - RalfJung:vecdeque, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-07 |
Ralf Jung | rustup; bring back mir-opt-level 3 |
commit | commitdiff | tree | snapshot |
2020-10-07 |
Ralf Jung | test VecDeque::iter_mut aliasing |
commit | commitdiff | tree | snapshot |
2020-10-06 |
bors | Auto merge of #1575 - Aaron1011:fix/macro-backtrace... |
commit | commitdiff | tree | snapshot |
2020-10-06 |
bors | Auto merge of #1576 - RalfJung:gha, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-06 |
Ralf Jung | add bors notification jobs |
commit | commitdiff | tree | snapshot |
2020-10-05 |
Aaron Hill | Use macro callsite spans in backtrace |
commit | commitdiff | tree | snapshot |
2020-10-05 |
bors | Auto merge of #1573 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-05 |
Ralf Jung | rustup; disable opt level >=2 tests due to ICE |
commit | commitdiff | tree | snapshot |
2020-10-04 |
bors | Auto merge of #1564 - Aaron1011:readlink, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-04 |
Ralf Jung | more punctuation |
commit | commitdiff | tree | snapshot |
2020-10-04 |
Aaron Hill | Properly capitalize PathConversion |
commit | commitdiff | tree | snapshot |
2020-10-04 |
Aaron Hill | Normalize MIRI_TEMP before using it |
commit | commitdiff | tree | snapshot |
2020-10-04 |
bors | Auto merge of #1572 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-04 |
Ralf Jung | rustup; test NaN conversion issue |
commit | commitdiff | tree | snapshot |
2020-10-04 |
Aaron Hill | Move `convert_path_separator` to trait and use it in... |
commit | commitdiff | tree | snapshot |
2020-10-04 |
Aaron Hill | Swap order of assertions for easier debugging |
commit | commitdiff | tree | snapshot |
2020-10-04 |
Aaron Hill | Make helper functions freestanding |
commit | commitdiff | tree | snapshot |
2020-10-04 |
Aaron Hill | Add trailing punctuation |
commit | commitdiff | tree | snapshot |
2020-10-04 |
Aaron Hill | Merge `fs` and `fs_libc` tests |
commit | commitdiff | tree | snapshot |
2020-10-04 |
Aaron Hill | Use panicking coversions instead of `as` |
commit | commitdiff | tree | snapshot |
2020-10-04 |
Aaron Hill | Move some helper functions around |
commit | commitdiff | tree | snapshot |
2020-10-04 |
Aaron Hill | Implement `readlink` |
commit | commitdiff | tree | snapshot |
2020-10-04 |
bors | Auto merge of #1563 - lzutao:dummy-actions, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-04 |
Lzu Tao | Add a dummy actions template to enable it on CI |
commit | commitdiff | tree | snapshot |
2020-10-03 |
bors | Auto merge of #1570 - RalfJung:syscalls, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-03 |
Ralf Jung | check that all syscall arguments are scalars |
commit | commitdiff | tree | snapshot |
2020-10-03 |
bors | Auto merge of #1569 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-03 |
Ralf Jung | merge parking test into general synchronization test |
commit | commitdiff | tree | snapshot |
2020-10-03 |
Ralf Jung | add backtics back in isolation error message |
commit | commitdiff | tree | snapshot |
2020-10-03 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-10-03 |
bors | Auto merge of #1568 - fusion-engineering-forks:futex... |
commit | commitdiff | tree | snapshot |
2020-10-03 |
Mara Bos | Add FIXME about type of `addr` in futex implementation. |
commit | commitdiff | tree | snapshot |
2020-10-03 |
Mara Bos | Add note about use of force_ptr in futex implementation. |
commit | commitdiff | tree | snapshot |
2020-10-03 |
Mara Bos | Update syscall FIXME to include note about 'wrong'... |
commit | commitdiff | tree | snapshot |
2020-10-03 |
Mara Bos | Add test for futex syscall. |
commit | commitdiff | tree | snapshot |
2020-10-03 |
Mara Bos | Add FIXME note about variadic syscall(). |
commit | commitdiff | tree | snapshot |
2020-10-03 |
Mara Bos | Use read_scalar_at_offset in futex_wait instead of... |
commit | commitdiff | tree | snapshot |
2020-10-03 |
Mara Bos | Update expected error messages in tests. |
commit | commitdiff | tree | snapshot |
2020-10-03 |
Mara Bos | Remove backtics from isolation error. |
commit | commitdiff | tree | snapshot |
2020-10-03 |
Mara Bos | Only allow FUTEX_WAIT with timeout when isoloation... |
commit | commitdiff | tree | snapshot |
2020-10-02 |
Mara Bos | Use correct return type for syscall(SYS_futex). |
commit | commitdiff | tree | snapshot |
2020-10-02 |
Mara Bos | Add park/park_timeout/unpark test. |
commit | commitdiff | tree | snapshot |
2020-10-02 |
Mara Bos | Implement timeouts for FUTEX_WAIT. |
commit | commitdiff | tree | snapshot |
2020-10-02 |
Mara Bos | Use force_ptr in futex implementation. |
commit | commitdiff | tree | snapshot |
2020-10-02 |
Mara Bos | Add note about arguments in futex implementation. |
commit | commitdiff | tree | snapshot |
2020-10-02 |
Mara Bos | Update note about number of arguments to SYS_futex. |
commit | commitdiff | tree | snapshot |
2020-10-02 |
Mara Bos | Add comments that document SYS_futex better. |
commit | commitdiff | tree | snapshot |
2020-10-02 |
Mara Bos | Improve handling of the `addr` argument in SYS_futex. |
commit | commitdiff | tree | snapshot |
2020-10-02 |
Mara Bos | Check maximum amount of arguments to SYS_futex. |
commit | commitdiff | tree | snapshot |
2020-10-01 |
Mara Bos | Return correct value from futex_wait. |
commit | commitdiff | tree | snapshot |
2020-10-01 |
Mara Bos | Only check futex pointer in futex_wait and not in futex... |
commit | commitdiff | tree | snapshot |
2020-10-01 |
Mara Bos | Erase tag from futex pointers. |
commit | commitdiff | tree | snapshot |
2020-10-01 |
Mara Bos | Move futex syscall to its own file. |
commit | commitdiff | tree | snapshot |
2020-10-01 |
Mara Bos | Implement futex_wait and futex_wake. |
commit | commitdiff | tree | snapshot |
2020-09-30 |
bors | Auto merge of #1566 - RalfJung:backtrace, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-30 |
Ralf Jung | normalize backtrace stderr even more |
commit | commitdiff | tree | snapshot |
2020-09-29 |
bors | Auto merge of #1565 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-29 |
Ralf Jung | rustup; adjust for rustc_driver changes |
commit | commitdiff | tree | snapshot |
2020-09-28 |
bors | Auto merge of #1559 - Aaron1011:new-miri-backtrace... |
commit | commitdiff | tree | snapshot |
2020-09-28 |
Aaron Hill | Normalize out generic arguments in backtrace-api stderr |
commit | commitdiff | tree | snapshot |
2020-09-28 |
Ralf Jung | fix typo |
commit | commitdiff | tree | snapshot |
2020-09-28 |
Aaron Hill | Require #[repr(C)] on MiriFrame |
commit | commitdiff | tree | snapshot |
2020-09-28 |
Aaron Hill | Apply #[inline(never)] to functions that we want in... |
commit | commitdiff | tree | snapshot |
2020-09-28 |
Aaron Hill | Update README |
commit | commitdiff | tree | snapshot |
2020-09-28 |
Aaron Hill | Make some error messages lowercase |
commit | commitdiff | tree | snapshot |
2020-09-28 |
Aaron Hill | Explain encoding scheme |
commit | commitdiff | tree | snapshot |
2020-09-28 |
Aaron Hill | Move things around |
commit | commitdiff | tree | snapshot |
2020-09-28 |
Aaron Hill | Print non-std frames to stdout in `backtrace-api` test |
commit | commitdiff | tree | snapshot |
2020-09-28 |
Aaron Hill | Use a 'flags' parameter instead of 'version' |
commit | commitdiff | tree | snapshot |
2020-09-28 |
Aaron Hill | Normalize line and column numbers from the sysroot |
commit | commitdiff | tree | snapshot |
2020-09-28 |
Aaron Hill | Add API for capturing backtrace |
commit | commitdiff | tree | snapshot |
2020-09-27 |
bors | Auto merge of #1555 - lzutao:upstream-assume-const... |
commit | commitdiff | tree | snapshot |
2020-09-27 |
Lzu Tao | Remove assume intrinsic from EvalContextExt |
commit | commitdiff | tree | snapshot |
2020-09-24 |
bors | Auto merge of #1561 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-24 |
Ralf Jung | rustup; fix tests |
commit | commitdiff | tree | snapshot |
2020-09-23 |
bors | Auto merge of #1560 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-23 |
Ralf Jung | opt-level 3 is clean again :) |
commit | commitdiff | tree | snapshot |
2020-09-21 |
bors | Auto merge of #1558 - RalfJung:serde_derive, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-21 |
Ralf Jung | test formerly broken serde_derive dependency |
commit | commitdiff | tree | snapshot |
2020-09-21 |
bors | Auto merge of #1557 - RalfJung:cargo-miri, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-21 |
Ralf Jung | support non-rlib extern files |
commit | commitdiff | tree | snapshot |
2020-09-21 |
bors | Auto merge of #1556 - RalfJung:compat, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-21 |
Ralf Jung | also support old 'cargo miri run -- -- args' style |
commit | commitdiff | tree | snapshot |
2020-09-20 |
bors | Auto merge of #1554 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-20 |
Ralf Jung | rustup; support panic=abort on Windows |
commit | commitdiff | tree | snapshot |
2020-09-20 |
bors | Auto merge of #1553 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-20 |
Ralf Jung | rustup |
commit | commitdiff | tree | snapshot |
2020-09-20 |
bors | Auto merge of #1552 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-20 |
Ralf Jung | account for mir-opts masking more errors |
commit | commitdiff | tree | snapshot |
2020-09-20 |
Ralf Jung | rustup; make sure the iterator moves even with smarter... |
commit | commitdiff | tree | snapshot |
2020-09-19 |
bors | Auto merge of #1551 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-19 |
Ralf Jung | list two more aliasing problems we found in BTreeMap... |
commit | commitdiff | tree | snapshot |
2020-09-18 |
bors | Auto merge of #1549 - RalfJung:panic-abort, r=oli-obk |
commit | commitdiff | tree | snapshot |
2020-09-18 |
Ralf Jung | fmt |
commit | commitdiff | tree | snapshot |
2020-09-18 |
Ralf Jung | support panic=abort |
commit | commitdiff | tree | snapshot |
2020-09-18 |
bors | Auto merge of #1548 - RalfJung:update, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-09-18 |
Ralf Jung | update for major version bumps |
commit | commitdiff | tree | snapshot |
2020-09-18 |
Ralf Jung | 'cargo update' test-cargo-miri |
commit | commitdiff | tree | snapshot |
2020-09-17 |
Ralf Jung | cargo update main crates |
commit | commitdiff | tree | snapshot |
next |