2022-04-08 |
bors | Auto merge of #2055 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw |
2022-04-08 |
bors | Auto merge of #2058 - RalfJung:variadic, r=RalfJung |
blob | commitdiff | raw |
2022-04-07 |
Ralf Jung | treat prctl like a variadic function |
blob | commitdiff | raw |
2022-04-05 |
bors | Auto merge of #2047 - RalfJung:no-extras, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-05 |
Ralf Jung | adjust for MemoryExtra being merged into Machine |
blob | commitdiff | raw | diff to current |
2022-01-09 |
bors | Auto merge of #1952 - RalfJung:self-referential, r... |
blob | commitdiff | raw | diff to current |
2022-01-05 |
bors | Auto merge of #1956 - RalfJung:stack-pop-cleanup, r... |
blob | commitdiff | raw | diff to current |
2022-01-04 |
Ralf Jung | adjust for StackPopCleanup::None rename |
blob | commitdiff | raw | diff to current |
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-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-05-17 |
bors | Auto merge of #1805 - RalfJung:c_str, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-17 |
Ralf Jung | stop relying on c_str/wide_str helpers in rustc |
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-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 |
2020-11-29 |
bors | Auto merge of #1617 - JCTyblaidd:data_race_detector... |
blob | commitdiff | raw | diff to current |
2020-11-27 |
JCTyBlaidd | Apply review changes, incrementing the clocks twice... |
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-02 |
JCTyBlaidd | Add tests, and fix bug in atomic RMW relaxed stores |
blob | commitdiff | raw | diff to current |
2020-11-02 |
JCTyBlaidd | Initial data-race detector, |
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-07-27 |
bors | Auto merge of #1487 - pnadon:miri-rename-undef-uninit... |
blob | commitdiff | raw | diff to current |
2020-07-26 |
Philippe Nadon | renamed ScalarMaybeUninit::not_undef to check_init |
blob | commitdiff | raw | diff to current |
2020-06-27 |
bors | Auto merge of #1460 - RalfJung:modules, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-06-27 |
Ralf Jung | module organization: move platform-specific code to... |
blob | commitdiff | raw | diff to current |
|