2020-10-28 |
Ralf Jung | Stacked Borrows: print affected memory location on... |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Ralf Jung | test Box::into_raw aliasing |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Ralf Jung | pointer tag tracking: also show when tag is being created |
commit | commitdiff | tree | snapshot |
2020-10-27 |
Ralf Jung | Use bash to make sure &> works |
commit | commitdiff | tree | snapshot |
2020-10-25 |
bors | Auto merge of #1600 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-25 |
Ralf Jung | rustup; make panic output less dependent on stdlib... |
commit | commitdiff | tree | snapshot |
2020-10-24 |
bors | Auto merge of #1599 - camelid:default-args-const, r... |
commit | commitdiff | tree | snapshot |
2020-10-24 |
Camelid | Make `miri_default_args()` a constant |
commit | commitdiff | tree | snapshot |
2020-10-24 |
bors | Auto merge of #1598 - camelid:hide-readlink-error,... |
commit | commitdiff | tree | snapshot |
2020-10-24 |
bors | Auto merge of #1596 - camelid:fix-readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-24 |
bors | Auto merge of #1594 - camelid:dont-force-install-xargo... |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Camelid | Hide readlink error in `./miri` |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Camelid | Fix README |
commit | commitdiff | tree | snapshot |
2020-10-23 |
Camelid | Don't force-install xargo |
commit | commitdiff | tree | snapshot |
2020-10-22 |
bors | Auto merge of #1593 - rust-lang:test, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-22 |
Ralf Jung | fix './miri test' |
commit | commitdiff | tree | snapshot |
2020-10-22 |
bors | Auto merge of #1592 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-22 |
Ralf Jung | rustup; increase slack for timing tests |
commit | commitdiff | tree | snapshot |
2020-10-22 |
bors | Auto merge of #1590 - RalfJung:trophy, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-21 |
Ralf Jung | another TiKV bug for the trophy case :) |
commit | commitdiff | tree | snapshot |
2020-10-21 |
bors | Auto merge of #1589 - Aaron1011:enable-normal-backtrace... |
commit | commitdiff | tree | snapshot |
2020-10-20 |
Aaron Hill | Enable `backtrace` feature in the generated `Xargo... |
commit | commitdiff | tree | snapshot |
2020-10-20 |
bors | Auto merge of #1587 - lzutao:only-gha, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-20 |
Lzu Tao | build: Gate only on GHA: remove travis and appveyor... |
commit | commitdiff | tree | snapshot |
2020-10-18 |
bors | Auto merge of #1586 - RalfJung:available-concurrency... |
commit | commitdiff | tree | snapshot |
2020-10-18 |
Ralf Jung | test new available_concurrency function |
commit | commitdiff | tree | snapshot |
2020-10-18 |
bors | Auto merge of #1584 - Aaron1011:test/std-backtrace... |
commit | commitdiff | tree | snapshot |
2020-10-17 |
Aaron Hill | Test std::backtrace::Backtrace |
commit | commitdiff | tree | snapshot |
2020-10-17 |
bors | Auto merge of #1585 - RalfJung:rustup, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-17 |
Ralf Jung | rustup; the bad compile times for the float test are... |
commit | commitdiff | tree | snapshot |
2020-10-15 |
bors | Auto merge of #1583 - est31:target_refactor, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-15 |
est31 | Replace target.target with target |
commit | commitdiff | tree | snapshot |
2020-10-11 |
bors | Auto merge of #1581 - RalfJung:readme, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-11 |
bors | Auto merge of #1580 - Aaron1011:feature/backtrace-fn... |
commit | commitdiff | tree | snapshot |
2020-10-11 |
Ralf Jung | Improve wording |
commit | commitdiff | tree | snapshot |
2020-10-11 |
bors | Auto merge of #1571 - lzutao:actions, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-11 |
Aaron Hill | Add comment about deprecation |
commit | commitdiff | tree | snapshot |
2020-10-11 |
bors | Auto merge of #1582 - Aaron1011:rustup-run-compiler... |
commit | commitdiff | tree | snapshot |
2020-10-11 |
Aaron Hill | Rustup |
commit | commitdiff | tree | snapshot |
2020-10-11 |
Aaron Hill | Apply suggestions from code review |
commit | commitdiff | tree | snapshot |
2020-10-11 |
Lzu Tao | Add a working github actions template |
commit | commitdiff | tree | snapshot |
2020-10-11 |
Ralf Jung | README: make our cross-interpretation feature stand... |
commit | commitdiff | tree | snapshot |
2020-10-10 |
Aaron Hill | Add an `fn_ptr` field to `MiriFrame` |
commit | commitdiff | tree | snapshot |
2020-10-09 |
bors | Auto merge of #1579 - lygstate:patch-1, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-09 |
Yonggang Luo | Update README.md |
commit | commitdiff | tree | snapshot |
2020-10-07 |
bors | Auto merge of #1577 - RalfJung:rlib, r=RalfJung |
commit | commitdiff | tree | snapshot |
2020-10-07 |
Ralf Jung | fix for rlib/cdylib crates in dependency tree |
commit | commitdiff | tree | snapshot |
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 |
next |