2021-01-23 |
Ralf Jung | macos: support aarch64 link names |
tree | commitdiff |
2021-01-23 |
Ralf Jung | implement aarch64 hint 'intrinsic' |
tree | commitdiff |
2021-01-22 |
Corey Farwell | Add shim for libc::sysconf(libc::_SC_NPROCESSORS_CONF) |
tree | commitdiff |
2021-01-18 |
bors | Auto merge of #1681 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-01-18 |
Ralf Jung | rustup; remove some intrinsics that are gone or moved... |
tree | commitdiff |
2021-01-17 |
bors | Auto merge of #1679 - hyd-dev:min-const-generics, r... |
tree | commitdiff |
2021-01-17 |
hyd-dev | Remove `#![feature(const_generics)]` and `#![allow... |
tree | commitdiff |
2021-01-15 |
bors | Auto merge of #1673 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-01-15 |
Ralf Jung | rustup; make tests pass again |
tree | commitdiff |
2021-01-11 |
bors | Auto merge of #1669 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-01-11 |
Ralf Jung | rustup |
tree | commitdiff |
2020-12-22 |
bors | Auto merge of #1658 - RalfJung:forget, r=RalfJung |
tree | commitdiff |
2020-12-22 |
Ralf Jung | remove intrinsic that is now implemented in the rustc... |
tree | commitdiff |
2020-12-13 |
bors | Auto merge of #1644 - JCTyblaidd:detect_race_with_alloc... |
tree | commitdiff |
2020-12-13 |
JCTyblaidd | Tidy new_allocation |
tree | commitdiff |
2020-12-13 |
JCTyblaidd | Rework to work with machine hook. |
tree | commitdiff |
2020-12-13 |
JCTyblaidd | Update src/data_race.rs |
tree | commitdiff |
2020-12-13 |
JCTyBlaidd | Fix review changes |
tree | commitdiff |
2020-12-13 |
JCTyBlaidd | Fix bug with reporting wrong thread for races with... |
tree | commitdiff |
2020-12-13 |
JCTyblaidd | Fix nits |
tree | commitdiff |
2020-12-13 |
JCTyBlaidd | Remove old FIXME |
tree | commitdiff |
2020-12-13 |
JCTyBlaidd | More tests, fix issue 1643 and detect races with alloca... |
tree | commitdiff |
2020-12-10 |
bors | Auto merge of #1646 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-12-10 |
Ralf Jung | rustup |
tree | commitdiff |
2020-12-06 |
bors | Auto merge of #1641 - JCTyblaidd:update_release_sequenc... |
tree | commitdiff |
2020-12-06 |
JCTyblaidd | Fix caps |
tree | commitdiff |
2020-12-06 |
JCTyBlaidd | Update release sequence handling to C++20 semantics. |
tree | commitdiff |
2020-11-30 |
bors | Auto merge of #1636 - RalfJung:rustup, r=oli-obk |
tree | commitdiff |
2020-11-29 |
Ralf Jung | remove miri-rustc-tests |
tree | commitdiff |
2020-11-29 |
bors | Auto merge of #1617 - JCTyblaidd:data_race_detector... |
tree | commitdiff |
2020-11-29 |
Ralf Jung | fix some typos |
tree | commitdiff |
2020-11-28 |
JCTyBlaidd | Fix typos - looked into the papers handling of timestam... |
tree | commitdiff |
2020-11-27 |
JCTyBlaidd | Apply review changes, incrementing the clocks twice... |
tree | commitdiff |
2020-11-22 |
JCTyBlaidd | Fix review changes |
tree | commitdiff |
2020-11-20 |
bors | Auto merge of #1632 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-11-20 |
Ralf Jung | rustup |
tree | commitdiff |
2020-11-19 |
bors | Auto merge of #1630 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-11-19 |
Ralf Jung | avoid fallback logic (and we do not need the flag value... |
tree | commitdiff |
2020-11-19 |
Mara Bos | Make weak syscalls in std work. |
tree | commitdiff |
2020-11-15 |
JCTyBlaidd | Run rustfmt on vector_clock.rs and data_race.rs |
tree | commitdiff |
2020-11-15 |
JCTyBlaidd | Add comment regarding seq-cst ordering & add test for... |
tree | commitdiff |
2020-11-15 |
JCTyBlaidd | Tidy up comments and function layout, should fix most... |
tree | commitdiff |
2020-11-11 |
bors | Auto merge of #1623 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-11-11 |
Ralf Jung | rustup |
tree | commitdiff |
2020-11-07 |
bors | Auto merge of #1612 - camelid:patch-1, r=RalfJung |
tree | commitdiff |
2020-11-06 |
JCTyBlaidd | More aggressive vector index re-use, and added some... |
tree | commitdiff |
2020-11-05 |
bors | Auto merge of #1619 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-11-05 |
Ralf Jung | rustup |
tree | commitdiff |
2020-11-05 |
JCTyBlaidd | Move to use of thread termination hook for vector re... |
tree | commitdiff |
2020-11-05 |
JCTyBlaidd | Split out vector_clock to separate file, general tidy... |
tree | commitdiff |
2020-11-04 |
JCTyBlaidd | Detect races between atomic and non-atomic accesses... |
tree | commitdiff |
2020-11-02 |
JCTyBlaidd | Add newlines at end of file + use replace. |
tree | commitdiff |
2020-11-02 |
JCTyBlaidd | Fix & rebase |
tree | commitdiff |
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-28 |
bors | Auto merge of #1606 - RalfJung:trophy, r=oli-obk |
tree | commitdiff |
2020-10-28 |
bors | Auto merge of #1603 - RalfJung:track-raw, r=oli-obk |
tree | commitdiff |
2020-10-28 |
Ralf Jung | add an option to track raw pointer tags in Stacked... |
tree | commitdiff |
2020-10-28 |
Ralf Jung | Stacked Borrows: print affected memory location on... |
tree | commitdiff |
2020-10-27 |
bors | Auto merge of #1601 - RalfJung:misc, r=RalfJung |
tree | commitdiff |
2020-10-27 |
Ralf Jung | pointer tag tracking: also show when tag is being created |
tree | commitdiff |
2020-10-24 |
bors | Auto merge of #1599 - camelid:default-args-const, r... |
tree | commitdiff |
2020-10-24 |
Camelid | Make `miri_default_args()` a constant |
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 |
bors | Auto merge of #1582 - Aaron1011:rustup-run-compiler... |
tree | commitdiff |
2020-10-11 |
Aaron Hill | Rustup |
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 | Remove backtics from isolation error. |
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 |
next |