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-11 |
bors | Auto merge of #1581 - RalfJung:readme, r=RalfJung |
tree | commitdiff |
2020-10-11 |
bors | Auto merge of #1580 - Aaron1011:feature/backtrace-fn... |
tree | commitdiff |
2020-10-11 |
bors | Auto merge of #1571 - lzutao:actions, r=RalfJung |
tree | commitdiff |
2020-10-11 |
Aaron Hill | Add comment about deprecation |
tree | commitdiff |
2020-10-11 |
Aaron Hill | Apply suggestions from code review |
tree | commitdiff |
2020-10-10 |
Aaron Hill | Add an `fn_ptr` field to `MiriFrame` |
tree | commitdiff |
2020-10-06 |
bors | Auto merge of #1575 - Aaron1011:fix/macro-backtrace... |
tree | commitdiff |
2020-10-05 |
Aaron Hill | Use macro callsite spans in backtrace |
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 | Move some helper functions around |
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 |
2020-10-03 |
bors | Auto merge of #1569 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-10-03 |
Ralf Jung | add backtics back in isolation error message |
tree | commitdiff |
2020-10-03 |
bors | Auto merge of #1568 - fusion-engineering-forks:futex... |
tree | commitdiff |
2020-10-03 |
Mara Bos | Add FIXME about type of `addr` in futex implementation. |
tree | commitdiff |
2020-10-03 |
Mara Bos | Add note about use of force_ptr in futex implementation. |
tree | commitdiff |
2020-10-03 |
Mara Bos | Update syscall FIXME to include note about 'wrong'... |
tree | commitdiff |
2020-10-03 |
Mara Bos | Add FIXME note about variadic syscall(). |
tree | commitdiff |
2020-10-03 |
Mara Bos | Use read_scalar_at_offset in futex_wait instead of... |
tree | commitdiff |
2020-10-03 |
Mara Bos | Only allow FUTEX_WAIT with timeout when isoloation... |
tree | commitdiff |
2020-10-02 |
Mara Bos | Use correct return type for syscall(SYS_futex). |
tree | commitdiff |
2020-10-02 |
Mara Bos | Implement timeouts for FUTEX_WAIT. |
tree | commitdiff |
2020-10-02 |
Mara Bos | Use force_ptr in futex implementation. |
tree | commitdiff |
2020-10-02 |
Mara Bos | Add note about arguments in futex implementation. |
tree | commitdiff |
2020-10-02 |
Mara Bos | Update note about number of arguments to SYS_futex. |
tree | commitdiff |
2020-10-02 |
Mara Bos | Add comments that document SYS_futex better. |
tree | commitdiff |
2020-10-02 |
Mara Bos | Improve handling of the `addr` argument in SYS_futex. |
tree | commitdiff |
2020-10-02 |
Mara Bos | Check maximum amount of arguments to SYS_futex. |
tree | commitdiff |
2020-10-01 |
Mara Bos | Return correct value from futex_wait. |
tree | commitdiff |
2020-10-01 |
Mara Bos | Only check futex pointer in futex_wait and not in futex... |
tree | commitdiff |
2020-10-01 |
Mara Bos | Erase tag from futex pointers. |
tree | commitdiff |
2020-10-01 |
Mara Bos | Move futex syscall to its own file. |
tree | commitdiff |
2020-10-01 |
Mara Bos | Implement futex_wait and futex_wake. |
tree | commitdiff |
2020-09-28 |
bors | Auto merge of #1559 - Aaron1011:new-miri-backtrace... |
tree | commitdiff |
2020-09-28 |
Aaron Hill | Require #[repr(C)] on MiriFrame |
tree | commitdiff |
2020-09-28 |
Aaron Hill | Make some error messages lowercase |
tree | commitdiff |
2020-09-28 |
Aaron Hill | Explain encoding scheme |
tree | commitdiff |
2020-09-28 |
Aaron Hill | Move things around |
tree | commitdiff |
2020-09-28 |
Aaron Hill | Use a 'flags' parameter instead of 'version' |
tree | commitdiff |
2020-09-28 |
Aaron Hill | Add API for capturing backtrace |
tree | commitdiff |
2020-09-27 |
bors | Auto merge of #1555 - lzutao:upstream-assume-const... |
tree | commitdiff |
2020-09-27 |
Lzu Tao | Remove assume intrinsic from EvalContextExt |
tree | commitdiff |
2020-09-18 |
bors | Auto merge of #1549 - RalfJung:panic-abort, r=oli-obk |
tree | commitdiff |
2020-09-18 |
Ralf Jung | fmt |
tree | commitdiff |
2020-09-18 |
Ralf Jung | support panic=abort |
tree | commitdiff |
2020-09-17 |
bors | Auto merge of #1540 - RalfJung:cargo-miri-redone, r... |
tree | commitdiff |
2020-09-17 |
bors | Auto merge of #1547 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-09-17 |
Ralf Jung | rustup; no need to special-case the guaranteed_eq/ne... |
tree | commitdiff |
2020-09-09 |
bors | Auto merge of #1511 - samrat:more-fd-trait-ops, r=RalfJung |
tree | commitdiff |
2020-09-09 |
Samrat Man Singh | Implement dup and close for stdin/stdout/stderr |
tree | commitdiff |
2020-09-08 |
bors | Auto merge of #1536 - divergentdave:nanosleep, r=RalfJung |
tree | commitdiff |
2020-09-07 |
David Cook | Review comments |
tree | commitdiff |
2020-09-06 |
David Cook | Implement libc::nanosleep shim |
tree | commitdiff |
2020-09-06 |
David Cook | Refactor timespec parsing, improve error handling |
tree | commitdiff |
2020-09-04 |
bors | Auto merge of #1534 - LeSeulArtichaut:tys-kind, r=RalfJung |
tree | commitdiff |
2020-09-04 |
LeSeulArtichaut | Change `ty.kind` -> `ty.kind()` |
tree | commitdiff |
2020-09-03 |
bors | Auto merge of #1532 - divergentdave:thread-panic-payloa... |
tree | commitdiff |
2020-09-03 |
David Cook | Per-thread errno storage |
tree | commitdiff |
2020-09-01 |
David Cook | Review comments |
tree | commitdiff |
2020-08-30 |
David Cook | Move panic payload state from Machine to Thread |
tree | commitdiff |
2020-08-17 |
bors | Auto merge of #1513 - RalfJung:int-align, r=RalfJung |
tree | commitdiff |
2020-08-16 |
Ralf Jung | use real align_offset unless we symbolic alignment... |
tree | commitdiff |
2020-08-13 |
bors | Auto merge of #1510 - RalfJung:stderr, r=RalfJung |
tree | commitdiff |
2020-08-13 |
Ralf Jung | fix Stderr::as_file_handle error message |
tree | commitdiff |
2020-08-13 |
bors | Auto merge of #1509 - samrat:fd-trait-fixes, r=RalfJung |
tree | commitdiff |
2020-08-13 |
Samrat Man Singh | Remove unnecessary whitespace |
tree | commitdiff |
2020-08-13 |
Samrat Man Singh | Remove lifetime from FileDescriptor trait |
tree | commitdiff |
2020-08-08 |
bors | Auto merge of #1502 - RalfJung:isolation, r=RalfJung |
tree | commitdiff |
2020-08-08 |
Ralf Jung | fs: move isolation handling to inside trait |
tree | commitdiff |
2020-08-08 |
bors | Auto merge of #1501 - samrat:fix-fs-error-handling... |
tree | commitdiff |
2020-08-08 |
bors | Auto merge of #1500 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-08-08 |
Ralf Jung | rustup |
tree | commitdiff |
2020-08-08 |
Samrat Man Singh | Fix handling of as_file_handle error for `fullfsync` |
tree | commitdiff |
2020-08-08 |
Samrat Man Singh | Add FIXME's for `dup` and other syscalls to support... |
tree | commitdiff |
2020-08-08 |
Samrat Man Singh | Bubble up error from FileDescriptor::as_file_handle |
tree | commitdiff |
2020-08-05 |
bors | Auto merge of #1498 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-08-04 |
bors | Auto merge of #1497 - samrat:posix-fs-refactor, r=oli-obk |
tree | commitdiff |
2020-08-04 |
Samrat Man Singh | Flush to stdout from FileDescriptor::write for `Stdout` |
tree | commitdiff |
2020-08-03 |
Samrat Man Singh | Add `impl FileDescriptor` for stdin, stdout, stderr |
tree | commitdiff |
2020-08-03 |
bors | Auto merge of #1495 - samrat:fd-trait, r=oli-obk |
tree | commitdiff |
2020-08-03 |
Samrat Man Singh | Remove unnecessary `clone()` on `writable` |
tree | commitdiff |
2020-08-03 |
Samrat Man Singh | Wrap io::Result from `FileDescriptor::{read,write,seek... |
tree | commitdiff |
2020-08-01 |
Samrat Man Singh | Add FileDescriptor trait to abstract fn's on File's... |
tree | commitdiff |
2020-07-30 |
bors | Auto merge of #1492 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-07-30 |
Ralf Jung | remove upstreamed intrinsic impls |
tree | commitdiff |
2020-07-30 |
Ralf Jung | rustup |
tree | commitdiff |
2020-07-27 |
bors | Auto merge of #1489 - RalfJung:tls-alloc-ids, r=oli-obk |
tree | commitdiff |
2020-07-27 |
Ralf Jung | fix diagnostics printing when triggered during TLS... |
tree | commitdiff |
next |