2021-09-09 |
hyd-dev | `rustc_mir` -> `rustc_const_eval` |
blob | commitdiff | raw |
2021-09-08 |
bors | Auto merge of #1884 - DrMeepster:start, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-09-06 |
bors | Auto merge of #1886 - camelid:stage2, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-09-06 |
bors | Auto merge of #1887 - hyd-dev:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-09-06 |
hyd-dev | `rustc_target::abi::LayoutOf` -> `rustc_middle::ty... |
blob | commitdiff | raw | diff to current |
2021-08-02 |
bors | Auto merge of #1854 - RalfJung:partial-ptr-overwrite... |
blob | commitdiff | raw | diff to current |
2021-08-02 |
Ralf Jung | docify some comments |
blob | commitdiff | raw | diff to current |
2021-08-02 |
Ralf Jung | adjust for ERR_ON_PARTIAL_PTR_OVERWRITE |
blob | commitdiff | raw | diff to current |
2021-07-17 |
bors | Auto merge of #1851 - RalfJung:provenance-overhaul... |
blob | commitdiff | raw | diff to current |
2021-07-16 |
Ralf Jung | adjust Miri to Pointer type overhaul |
blob | commitdiff | raw | diff to current |
2021-07-04 |
bors | Auto merge of #1845 - Smittyvb:fix-after-mir-alloc... |
blob | commitdiff | raw | diff to current |
2021-07-04 |
Smitty | Make work after mir-alloc-oom |
blob | commitdiff | raw | diff to current |
2021-07-03 |
bors | Auto merge of #1842 - hyd-dev:target-dir, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-20 |
bors | Auto merge of #1841 - RalfJung:debug, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-20 |
Ralf Jung | use exhaustive struct match for manual Debug impl |
blob | commitdiff | raw | diff to current |
2021-06-15 |
bors | Auto merge of #1833 - hyd-dev:82261, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-15 |
bors | Auto merge of #1832 - hyd-dev:1776-follow-up, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-11 |
hyd-dev | Implement cache for not found symbols |
blob | commitdiff | raw | diff to current |
2021-06-09 |
bors | Auto merge of #1830 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-09 |
bors | Auto merge of #1818 - landaire:feature/panic-on-unsuppo... |
blob | commitdiff | raw | diff to current |
2021-06-09 |
bors | Auto merge of #1797 - atsmtat:env-isolation, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-06-09 |
Smit Soni | Add a support to execute isolated op without halting |
blob | commitdiff | raw | diff to current |
2021-06-07 |
Lander Brandt | Add support for panicking in the emulated application... |
blob | commitdiff | raw | diff to current |
2021-06-03 |
bors | Auto merge of #1776 - hyd-dev:1170, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-31 |
hyd-dev | Implement calls to exported symbols |
blob | commitdiff | raw | diff to current |
2021-05-31 |
hyd-dev | Add `-Zmiri-disable-abi-check` |
blob | commitdiff | raw | diff to current |
2021-05-30 |
bors | Auto merge of #1791 - Aaron1011:measureme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-30 |
Ralf Jung | add comment to debug impl |
blob | commitdiff | raw | diff to current |
2021-05-30 |
Aaron Hill | Address more review comments |
blob | commitdiff | raw | diff to current |
2021-05-29 |
Aaron Hill | Run fmt |
blob | commitdiff | raw | diff to current |
2021-05-29 |
Aaron Hill | Address review comments |
blob | commitdiff | raw | diff to current |
2021-05-29 |
Aaron Hill | Use active thread id |
blob | commitdiff | raw | diff to current |
2021-05-29 |
Aaron Hill | Add `measureme` integration for profiling the interpret... |
blob | commitdiff | raw | diff to current |
2021-05-28 |
bors | Auto merge of #1812 - hyd-dev:85546, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-28 |
hyd-dev | `unwind` is no longer `Option<BasicBlock>` |
blob | commitdiff | raw | diff to current |
2021-05-22 |
bors | Auto merge of #1811 - RalfJung:less-rc, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-22 |
Ralf Jung | fmt |
blob | commitdiff | raw | diff to current |
2021-05-22 |
Ralf Jung | get rid of Rc in data_race |
blob | commitdiff | raw | diff to current |
2021-05-22 |
Ralf Jung | get rid of Rc in Stacked Borrows |
blob | commitdiff | raw | diff to current |
2021-05-20 |
bors | Auto merge of #1809 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-20 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2021-05-19 |
bors | Auto merge of #1804 - RalfJung:ptrless-allocs, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-19 |
Ralf Jung | update for Memory API changes |
blob | commitdiff | raw | diff to current |
2021-05-17 |
bors | Auto merge of #1806 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-17 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2021-05-16 |
bors | Auto merge of #1801 - RalfJung:rustfmt, r=oli-obk |
blob | commitdiff | raw | diff to current |
2021-05-16 |
Ralf Jung | format much of Miri |
blob | commitdiff | raw | diff to current |
2021-03-14 |
bors | Auto merge of #1743 - RalfJung:callee-checks, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-03-14 |
Ralf Jung | when Miri calls a function ptr, make sure it has the... |
blob | commitdiff | raw | diff to current |
2021-03-09 |
bors | Auto merge of #1736 - DJMcNab:rust-analyzer-private... |
blob | commitdiff | raw | diff to current |
2021-03-08 |
bors | Auto merge of #1735 - m-ou-se:remove-unwrap-none, r... |
blob | commitdiff | raw | diff to current |
2021-03-08 |
Mara Bos | Remove unwrap_none as it won't be stabilized. |
blob | commitdiff | raw | diff to current |
2021-02-20 |
bors | Auto merge of #1716 - tmiasko:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-02-20 |
Tomasz Miąsko | rustup to e7c23ab933ebc1f205c3b59f4ebc85d40f67d404 |
blob | commitdiff | raw | diff to current |
2021-01-30 |
bors | Auto merge of #1693 - rust-lang:oli-obk-patch-1, r... |
blob | commitdiff | raw | diff to current |
2021-01-29 |
bors | Auto merge of #1670 - unseddd:abi, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-01-28 |
bors | Auto merge of #1686 - thomcc:cmpxchg_weak, r=oli-obk |
blob | commitdiff | raw | diff to current |
2021-01-27 |
Nym Seddon | Add ABI check for shims |
blob | commitdiff | raw | diff to current |
2021-01-26 |
Thom Chiovoloni | Allow configuring the failure rate with -Zmiri-compare... |
blob | commitdiff | raw | diff to current |
2021-01-11 |
bors | Auto merge of #1669 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-01-11 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2020-12-13 |
bors | Auto merge of #1644 - JCTyblaidd:detect_race_with_alloc... |
blob | commitdiff | raw | diff to current |
2020-12-13 |
JCTyblaidd | Rework to work with machine hook. |
blob | commitdiff | raw | diff to current |
2020-12-13 |
JCTyBlaidd | Fix review changes |
blob | commitdiff | raw | diff to current |
2020-12-13 |
JCTyBlaidd | More tests, fix issue 1643 and detect races with alloca... |
blob | commitdiff | raw | diff to current |
2020-12-10 |
bors | Auto merge of #1646 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-12-10 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2020-11-29 |
bors | Auto merge of #1617 - JCTyblaidd:data_race_detector... |
blob | commitdiff | raw | diff to current |
2020-11-22 |
JCTyBlaidd | Fix review changes |
blob | commitdiff | raw | diff to current |
2020-11-15 |
JCTyBlaidd | Tidy up comments and function layout, should fix most... |
blob | commitdiff | raw | diff to current |
2020-11-11 |
bors | Auto merge of #1623 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-11-11 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2020-11-02 |
JCTyBlaidd | Initial data-race detector, |
blob | commitdiff | raw | diff to current |
2020-10-28 |
bors | Auto merge of #1606 - RalfJung:trophy, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-10-28 |
bors | Auto merge of #1603 - RalfJung:track-raw, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-10-28 |
Ralf Jung | add an option to track raw pointer tags in Stacked... |
blob | commitdiff | raw | diff to current |
2020-10-15 |
bors | Auto merge of #1583 - est31:target_refactor, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-10-15 |
est31 | Replace target.target with target |
blob | commitdiff | raw | diff to current |
2020-09-03 |
bors | Auto merge of #1532 - divergentdave:thread-panic-payloa... |
blob | commitdiff | raw | diff to current |
2020-09-03 |
David Cook | Per-thread errno storage |
blob | commitdiff | raw | diff to current |
2020-08-30 |
David Cook | Move panic payload state from Machine to Thread |
blob | commitdiff | raw | diff to current |
2020-08-17 |
bors | Auto merge of #1513 - RalfJung:int-align, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-08-16 |
Ralf Jung | adjust diagnostics to alignment check mode |
blob | commitdiff | raw | diff to current |
2020-08-16 |
Ralf Jung | make alignment check integer-based by default, and... |
blob | commitdiff | raw | diff to current |
2020-08-13 |
bors | Auto merge of #1509 - samrat:fd-trait-fixes, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-08-13 |
Samrat Man Singh | Remove lifetime from FileDescriptor trait |
blob | commitdiff | raw | diff to current |
2020-08-08 |
bors | Auto merge of #1501 - samrat:fix-fs-error-handling... |
blob | commitdiff | raw | diff to current |
2020-08-08 |
bors | Auto merge of #1500 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-08-08 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2020-08-05 |
bors | Auto merge of #1498 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-08-03 |
bors | Auto merge of #1495 - samrat:fd-trait, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-08-01 |
Samrat Man Singh | Add FileDescriptor trait to abstract fn's on File's... |
blob | commitdiff | raw | diff to current |
2020-07-27 |
bors | Auto merge of #1489 - RalfJung:tls-alloc-ids, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-07-27 |
Ralf Jung | deallocate thread-local statics when the thread dies |
blob | commitdiff | raw | diff to current |
2020-07-27 |
Ralf Jung | adjust to canonical_alloc_id removal |
blob | commitdiff | raw | diff to current |
2020-07-25 |
bors | Auto merge of #1485 - RalfJung:miri-extern-fn, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-07-23 |
Ralf Jung | add a Miri extern fn to mark an allocation as being... |
blob | commitdiff | raw | diff to current |
2020-07-08 |
bors | Auto merge of #1470 - RalfJung:machine-tracking, r... |
blob | commitdiff | raw | diff to current |
2020-07-08 |
Ralf Jung | we cannot track all machine memory any more due to... |
blob | commitdiff | raw | diff to current |
2020-07-03 |
bors | Auto merge of #1466 - RalfJung:target, r=RalfJung |
blob | commitdiff | raw | diff to current |
next |