2022-05-24 |
bors | Auto merge of #2138 - JakobDegen:call-fallout, r=RalfJung |
blob | commitdiff | raw |
2022-05-24 |
Jakob Degen | Adjust Miri to also require return places everywhere |
blob | commitdiff | raw |
2022-05-14 |
bors | Auto merge of #2030 - saethlin:track-alloc-history... |
blob | commitdiff | raw | diff to current |
2022-05-10 |
bors | Auto merge of #2084 - rust-lang:silence, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-01 |
bors | Auto merge of #2098 - RalfJung:papers, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-01 |
bors | Auto merge of #2094 - dtolnay-contrib:truncate, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-05-01 |
bors | Auto merge of #2095 - dtolnay-contrib:ref, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-30 |
David Tolnay | Replace unneeded use of `ref` in favor of "match ergono... |
blob | commitdiff | raw | diff to current |
2022-04-30 |
bors | Auto merge of #2090 - dtolnay-contrib:addcarry, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-04-30 |
bors | Auto merge of #2091 - dtolnay-contrib:clippy, r=oli-obk |
blob | commitdiff | raw | diff to current |
2022-04-29 |
David Tolnay | Resolve clippy::needless_return |
blob | commitdiff | raw | diff to current |
2022-04-09 |
bors | Auto merge of #2060 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2022-04-09 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
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 |
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-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 | Disallow `#[no_mangle]`/`#[export_name = ...]` function... |
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-07 |
Lander Brandt | Add support for panicking in the emulated application... |
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 | 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-23 |
bors | Auto merge of #1814 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-05-23 |
Ralf Jung | allocate backtrace strings mutably |
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 |
bors | Auto merge of #1744 - rust-lang:bad-unwind, r=RalfJung |
blob | commitdiff | raw | diff to current |
2021-03-14 |
Ralf Jung | don't ICE when we unwind despite panic=abort |
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-09-18 |
bors | Auto merge of #1549 - RalfJung:panic-abort, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-09-18 |
Ralf Jung | support panic=abort |
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-01 |
David Cook | Review comments |
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-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-28 |
bors | Auto merge of #1461 - RalfJung:rwlock-win, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-06-27 |
Ralf Jung | with this, we support panics on Windows |
blob | commitdiff | raw | diff to current |
2020-05-05 |
bors | Auto merge of #1298 - toc-the-younger:check-arg-count... |
blob | commitdiff | raw | diff to current |
2020-05-04 |
Chase Albert | Check that shims are called with the correct number... |
blob | commitdiff | raw | diff to current |
2020-04-20 |
bors | Auto merge of #1335 - vakaras:add-threads-noop, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-20 |
Vytautas Astrauskas | Move the stack to the evaluator to make Miri compile... |
blob | commitdiff | raw | diff to current |
2020-04-19 |
bors | Auto merge of #1342 - divergentdave:pause-instruction... |
blob | commitdiff | raw | diff to current |
2020-04-18 |
bors | Auto merge of #1349 - RalfJung:machine-layouts, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-18 |
Ralf Jung | use pre-computed layouts some more |
blob | commitdiff | raw | diff to current |
2020-04-12 |
bors | Auto merge of #1323 - RalfJung:noref, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-12 |
Ralf Jung | avoid a bunch of as_ref/as_mut |
blob | commitdiff | raw | diff to current |
2020-04-12 |
bors | Auto merge of #1322 - RalfJung:noref, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-12 |
Ralf Jung | avoid ref in matches |
blob | commitdiff | raw | diff to current |
2020-04-04 |
bors | Auto merge of #1293 - Firstyear:1289-miri-readme, r... |
blob | commitdiff | raw | diff to current |
2020-04-03 |
bors | Auto merge of #1294 - JOE1994:windows_instant, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-02 |
bors | Auto merge of #1299 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-02 |
Ralf Jung | rustup for import changes |
blob | commitdiff | raw | diff to current |
2020-04-02 |
bors | Auto merge of #1295 - RalfJung:ci-no-incremental, r... |
blob | commitdiff | raw | diff to current |
2020-04-02 |
bors | Auto merge of #1283 - RalfJung:backtrace, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-04-02 |
Ralf Jung | adjust for span not being passed around any more |
blob | commitdiff | raw | diff to current |
2020-03-30 |
bors | Auto merge of #1270 - RalfJung:incremental, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-30 |
bors | Auto merge of #1279 - divergentdave:open_O_EXCL, r... |
blob | commitdiff | raw | diff to current |
2020-03-30 |
bors | Auto merge of #1281 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-30 |
Ralf Jung | adjust for librustc rename; reduce 'extern crate' to... |
blob | commitdiff | raw | diff to current |
2020-03-22 |
bors | Auto merge of #1249 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-22 |
Ralf Jung | platform -> target |
blob | commitdiff | raw | diff to current |
2020-03-21 |
bors | Auto merge of #1241 - RalfJung:dont-panic, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-21 |
Ralf Jung | test windows panic message |
blob | commitdiff | raw | diff to current |
2020-03-15 |
bors | Auto merge of #1227 - RalfJung:unwind, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-15 |
Ralf Jung | adjust Miri to needs of changed unwinding strategy |
blob | commitdiff | raw | diff to current |
2020-03-12 |
bors | Auto merge of #1213 - lcnr:master, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-11 |
bors | Auto merge of #1221 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-11 |
Ralf Jung | rustup+fix |
blob | commitdiff | raw | diff to current |
2020-03-08 |
bors | Auto merge of #1218 - RalfJung:panic, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-08 |
Ralf Jung | properly panic in panic_if_uninhabited and align_offset... |
blob | commitdiff | raw | diff to current |
2020-03-02 |
bors | Auto merge of #1190 - RalfJung:canonical-alloc-id,... |
blob | commitdiff | raw | diff to current |
2020-03-02 |
Ralf Jung | rename memory kind: Env -> Machine |
blob | commitdiff | raw | diff to current |
2020-02-26 |
bors | Auto merge of #1152 - divergentdave:shim-directory... |
blob | commitdiff | raw | diff to current |
2020-02-26 |
bors | Auto merge of #1192 - RalfJung:disable-stacked-borrows... |
blob | commitdiff | raw | diff to current |
2020-02-24 |
Ralf Jung | add an option to disable Stacked Borrows |
blob | commitdiff | raw | diff to current |
2020-02-14 |
bors | Auto merge of #1158 - divergentdave:shim-rename, r... |
blob | commitdiff | raw | diff to current |
2020-02-14 |
bors | Auto merge of #1174 - RalfJung:rusutp, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-02-13 |
Ralf Jung | fix for Panic InterpError refactoring |
blob | commitdiff | raw | diff to current |
2020-01-15 |
bors | Auto merge of #1146 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-01-15 |
Ralf Jung | rustup |
blob | commitdiff | raw | diff to current |
2020-01-10 |
bors | Auto merge of #1143 - christianpoveda:symlink-shim... |
blob | commitdiff | raw | diff to current |
2020-01-07 |
bors | Auto merge of #1140 - RalfJung:no-macos, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-01-06 |
bors | Auto merge of #1141 - RalfJung:lint-adjust, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-01-06 |
bors | Auto merge of #1137 - anp:track-caller-update, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-01-05 |
Yuki Okushi | Rustup |
blob | commitdiff | raw | diff to current |
2020-01-05 |
Adam Perry | Update panic machinery to match #[track_caller] changes. |
blob | commitdiff | raw | diff to current |
2019-12-23 |
bors | Auto merge of #1124 - RalfJung:sysroot-check, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-12-23 |
bors | Auto merge of #1118 - rust-lang:stacked_borrow_tracing... |
blob | commitdiff | raw | diff to current |
2019-12-23 |
Oliver Scherer | Rustfmt all the things |
blob | commitdiff | raw | diff to current |
2019-12-02 |
bors | Auto merge of #1084 - RalfJung:assert-panic, r=RalfJung |
blob | commitdiff | raw | diff to current |
next |