2022-03-12 |
bors | Auto merge of #2018 - RalfJung:term, r=oli-obk |
tree | commitdiff |
2022-03-12 |
bors | Auto merge of #2021 - RalfJung:write-fields-refactor... |
tree | commitdiff |
2022-03-12 |
bors | Auto merge of #2019 - RalfJung:align, r=RalfJung |
tree | commitdiff |
2022-03-12 |
Ralf Jung | also accept odd number of hex digits; add README sectio... |
tree | commitdiff |
2022-03-05 |
bors | Auto merge of #1970 - asquared31415:open_unix_varargs... |
tree | commitdiff |
2022-03-05 |
bors | Auto merge of #1999 - RalfJung:forward-env, r=oli-obk |
tree | commitdiff |
2022-03-05 |
Ralf Jung | add flag to forward specific env vars (while isolation... |
tree | commitdiff |
2022-02-22 |
bors | Auto merge of #1977 - saethlin:short-backtraces, r... |
tree | commitdiff |
2022-02-22 |
Ben Kimock | Prune backtraces similar to RUST_BACKTRACE=1 logic |
tree | commitdiff |
2021-11-17 |
bors | Auto merge of #1911 - RalfJung:rename-track-tag, r... |
tree | commitdiff |
2021-11-13 |
Ralf Jung | rename track-raw-pointers flag to tag-raw-pointers |
tree | commitdiff |
2021-11-10 |
bors | Auto merge of #1904 - camelid:uninit-num, r=RalfJung |
tree | commitdiff |
2021-11-10 |
Noah Lev | Update Miri for detecting uninitialized numbers |
tree | commitdiff |
2021-10-26 |
bors | Auto merge of #1902 - camelid:r-a, r=RalfJung |
tree | commitdiff |
2021-10-26 |
bors | Auto merge of #1903 - bjorn3:rustup, r=oli-obk |
tree | commitdiff |
2021-10-26 |
bjorn3 | rustup |
tree | commitdiff |
2021-09-09 |
bors | Auto merge of #1888 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-09-09 |
hyd-dev | `rustc_mir` -> `rustc_const_eval` |
tree | commitdiff |
2021-09-08 |
bors | Auto merge of #1884 - DrMeepster:start, r=RalfJung |
tree | commitdiff |
2021-09-02 |
DrMeepster | add support for #[start] |
tree | commitdiff |
2021-07-30 |
bors | Auto merge of #1863 - hyd-dev:parallel-compiler, r... |
tree | commitdiff |
2021-07-30 |
hyd-dev | Use `Lrc` instead of `Rc` in `MiriCompilerCalls::config()` |
tree | commitdiff |
2021-07-17 |
bors | Auto merge of #1851 - RalfJung:provenance-overhaul... |
tree | commitdiff |
2021-07-16 |
Ralf Jung | adjust Miri to Pointer type overhaul |
tree | commitdiff |
2021-07-12 |
bors | Auto merge of #1850 - RalfJung:fmt, r=RalfJung |
tree | commitdiff |
2021-07-11 |
Ralf Jung | fmt: set force_multiline_blocks=true |
tree | commitdiff |
2021-06-15 |
bors | Auto merge of #1833 - hyd-dev:82261, r=RalfJung |
tree | commitdiff |
2021-06-14 |
hyd-dev | Do not return `DefId` that doesn't have exported symbol... |
tree | commitdiff |
2021-06-09 |
bors | Auto merge of #1830 - RalfJung:readme, r=RalfJung |
tree | commitdiff |
2021-06-09 |
bors | Auto merge of #1818 - landaire:feature/panic-on-unsuppo... |
tree | commitdiff |
2021-06-09 |
bors | Auto merge of #1797 - atsmtat:env-isolation, r=RalfJung |
tree | commitdiff |
2021-06-09 |
Smit Soni | Add a support to execute isolated op without halting |
tree | commitdiff |
2021-06-07 |
Lander Brandt | Add support for panicking in the emulated application... |
tree | commitdiff |
2021-06-03 |
bors | Auto merge of #1776 - hyd-dev:1170, r=RalfJung |
tree | commitdiff |
2021-06-03 |
Ralf Jung | fix typo |
tree | commitdiff |
2021-05-31 |
hyd-dev | Implement calls to exported symbols |
tree | commitdiff |
2021-05-31 |
hyd-dev | Add `-Zmiri-disable-abi-check` |
tree | commitdiff |
2021-05-30 |
bors | Auto merge of #1791 - Aaron1011:measureme, r=RalfJung |
tree | commitdiff |
2021-05-29 |
Aaron Hill | Add `measureme` integration for profiling the interpret... |
tree | commitdiff |
2021-05-17 |
bors | Auto merge of #1802 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2021-05-17 |
Ralf Jung | rustup |
tree | commitdiff |
2021-05-16 |
bors | Auto merge of #1801 - RalfJung:rustfmt, r=oli-obk |
tree | commitdiff |
2021-05-16 |
Ralf Jung | format much of Miri |
tree | commitdiff |
2021-04-30 |
bors | Auto merge of #1783 - hyd-dev:rustup, r=RalfJung |
tree | commitdiff |
2021-04-30 |
hyd-dev | Rustup for rust-lang/rust#84401 |
tree | commitdiff |
2021-04-09 |
bors | Auto merge of #1764 - RalfJung:readme, r=RalfJung |
tree | commitdiff |
2021-04-08 |
bors | Auto merge of #1761 - hyd-dev:build-rs-proc-macro-no... |
tree | commitdiff |
2021-04-08 |
hyd-dev | Don't use `MIRI_DEFAULT_ARGS` to compile host crates |
tree | commitdiff |
2021-02-02 |
bors | Auto merge of #1699 - m-ou-se:panic-format, r=RalfJung |
tree | commitdiff |
2021-02-02 |
Mara Bos | Remove unnecessary `format!()` in `panic!()`. |
tree | commitdiff |
2021-01-30 |
bors | Auto merge of #1693 - rust-lang:oli-obk-patch-1, r... |
tree | commitdiff |
2021-01-29 |
bors | Auto merge of #1670 - unseddd:abi, r=RalfJung |
tree | commitdiff |
2021-01-28 |
bors | Auto merge of #1686 - thomcc:cmpxchg_weak, r=oli-obk |
tree | commitdiff |
2021-01-26 |
Thom Chiovoloni | Allow configuring the failure rate with -Zmiri-compare... |
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-15 |
JCTyBlaidd | Tidy up comments and function layout, should fix most... |
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-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-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 |
bors | Auto merge of #1582 - Aaron1011:rustup-run-compiler... |
tree | commitdiff |
2020-10-11 |
Aaron Hill | Rustup |
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-09-29 |
bors | Auto merge of #1565 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-09-29 |
Ralf Jung | rustup; adjust for rustc_driver changes |
tree | commitdiff |
2020-09-17 |
bors | Auto merge of #1540 - RalfJung:cargo-miri-redone, r... |
tree | commitdiff |
2020-09-17 |
Ralf Jung | make sure subcrate tests have the right cwd |
tree | commitdiff |
2020-08-17 |
bors | Auto merge of #1513 - RalfJung:int-align, r=RalfJung |
tree | commitdiff |
2020-08-16 |
Ralf Jung | make alignment check integer-based by default, and... |
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-07-11 |
bors | Auto merge of #1474 - RalfJung:canonical, r=RalfJung |
tree | commitdiff |
2020-07-09 |
bors | Auto merge of #1473 - Stupremee:no-ice-if-no-main-fn... |
tree | commitdiff |
2020-07-09 |
Justus K | Early exit if program doesn't contain a main fn |
tree | commitdiff |
2020-07-03 |
bors | Auto merge of #1466 - RalfJung:target, r=RalfJung |
tree | commitdiff |
2020-07-02 |
bors | Auto merge of #1463 - RalfJung:track-call-id, r=oli-obk |
tree | commitdiff |
2020-07-02 |
Ralf Jung | add option to track call IDs |
tree | commitdiff |
2020-06-09 |
bors | Auto merge of #1418 - divergentdave:file-sync, r=RalfJung |
tree | commitdiff |
2020-05-29 |
bors | Auto merge of #1439 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-05-29 |
Ralf Jung | str_strip is stable |
tree | commitdiff |
2020-05-28 |
bors | Auto merge of #1422 - RalfJung:cargo-miri-workspace... |
tree | commitdiff |
2020-05-28 |
bors | Auto merge of #1438 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2020-05-28 |
Ralf Jung | make cargo-miri a separate crate in a workspace |
tree | commitdiff |
2020-05-28 |
bors | Auto merge of #1437 - RalfJung:strip, r=RalfJung |
tree | commitdiff |
2020-05-28 |
Ralf Jung | use strip_prefix where it makes sense |
tree | commitdiff |
2020-05-24 |
bors | Auto merge of #1426 - RalfJung:no-wrapper, r=RalfJung |
tree | commitdiff |
2020-05-24 |
Ralf Jung | unset RUSTC_WRAPPER for xargo invocation |
tree | commitdiff |
2020-05-17 |
bors | Auto merge of #1417 - RalfJung:libstd-rebuilds, r=RalfJung |
tree | commitdiff |
2020-05-17 |
Ralf Jung | fix libstd rebuilds due to RUSTFLAGS changes |
tree | commitdiff |
2020-05-17 |
bors | Auto merge of #1415 - RalfJung:test-suite-filter, r... |
tree | commitdiff |
2020-05-17 |
Ralf Jung | add test suite filter example to README and 'cargo... |
tree | commitdiff |
next |