]> git.lizzy.rs Git - rust.git/history - src/bin
Auto merge of #1851 - RalfJung:provenance-overhaul, r=RalfJung
[rust.git] / src / bin /
2021-07-17 borsAuto merge of #1851 - RalfJung:provenance-overhaul...
2021-07-16 Ralf Jungadjust Miri to Pointer type overhaul
2021-07-12 borsAuto merge of #1850 - RalfJung:fmt, r=RalfJung
2021-07-11 Ralf Jungfmt: set force_multiline_blocks=true
2021-06-15 borsAuto merge of #1833 - hyd-dev:82261, r=RalfJung
2021-06-14 hyd-devDo not return `DefId` that doesn't have exported symbol...
2021-06-09 borsAuto merge of #1830 - RalfJung:readme, r=RalfJung
2021-06-09 borsAuto merge of #1818 - landaire:feature/panic-on-unsuppo...
2021-06-09 borsAuto merge of #1797 - atsmtat:env-isolation, r=RalfJung
2021-06-09 Smit SoniAdd a support to execute isolated op without halting
2021-06-07 Lander BrandtAdd support for panicking in the emulated application...
2021-06-03 borsAuto merge of #1776 - hyd-dev:1170, r=RalfJung
2021-06-03 Ralf Jungfix typo
2021-05-31 hyd-devImplement calls to exported symbols
2021-05-31 hyd-devAdd `-Zmiri-disable-abi-check`
2021-05-30 borsAuto merge of #1791 - Aaron1011:measureme, r=RalfJung
2021-05-29 Aaron HillAdd `measureme` integration for profiling the interpret...
2021-05-17 borsAuto merge of #1802 - RalfJung:rustup, r=RalfJung
2021-05-17 Ralf Jungrustup
2021-05-16 borsAuto merge of #1801 - RalfJung:rustfmt, r=oli-obk
2021-05-16 Ralf Jungformat much of Miri
2021-04-30 borsAuto merge of #1783 - hyd-dev:rustup, r=RalfJung
2021-04-30 hyd-devRustup for rust-lang/rust#84401
2021-04-09 borsAuto merge of #1764 - RalfJung:readme, r=RalfJung
2021-04-08 borsAuto merge of #1761 - hyd-dev:build-rs-proc-macro-no...
2021-04-08 hyd-devDon't use `MIRI_DEFAULT_ARGS` to compile host crates
2021-02-02 borsAuto merge of #1699 - m-ou-se:panic-format, r=RalfJung
2021-02-02 Mara BosRemove unnecessary `format!()` in `panic!()`.
2021-01-30 borsAuto merge of #1693 - rust-lang:oli-obk-patch-1, r...
2021-01-29 borsAuto merge of #1670 - unseddd:abi, r=RalfJung
2021-01-28 borsAuto merge of #1686 - thomcc:cmpxchg_weak, r=oli-obk
2021-01-26 Thom ChiovoloniAllow configuring the failure rate with -Zmiri-compare...
2020-11-30 borsAuto merge of #1636 - RalfJung:rustup, r=oli-obk
2020-11-29 Ralf Jungremove miri-rustc-tests
2020-11-29 borsAuto merge of #1617 - JCTyblaidd:data_race_detector...
2020-11-15 JCTyBlaiddTidy up comments and function layout, should fix most...
2020-10-28 borsAuto merge of #1606 - RalfJung:trophy, r=oli-obk
2020-10-28 borsAuto merge of #1603 - RalfJung:track-raw, r=oli-obk
2020-10-28 Ralf Jungadd an option to track raw pointer tags in Stacked...
2020-10-24 borsAuto merge of #1599 - camelid:default-args-const, r...
2020-10-24 CamelidMake `miri_default_args()` a constant
2020-10-11 borsAuto merge of #1581 - RalfJung:readme, r=RalfJung
2020-10-11 borsAuto merge of #1580 - Aaron1011:feature/backtrace-fn...
2020-10-11 borsAuto merge of #1571 - lzutao:actions, r=RalfJung
2020-10-11 borsAuto merge of #1582 - Aaron1011:rustup-run-compiler...
2020-10-11 Aaron HillRustup
2020-10-04 borsAuto merge of #1563 - lzutao:dummy-actions, r=RalfJung
2020-10-03 borsAuto merge of #1570 - RalfJung:syscalls, r=RalfJung
2020-10-03 Ralf Jungcheck that all syscall arguments are scalars
2020-09-29 borsAuto merge of #1565 - RalfJung:rustup, r=RalfJung
2020-09-29 Ralf Jungrustup; adjust for rustc_driver changes
2020-09-17 borsAuto merge of #1540 - RalfJung:cargo-miri-redone, r...
2020-09-17 Ralf Jungmake sure subcrate tests have the right cwd
2020-08-17 borsAuto merge of #1513 - RalfJung:int-align, r=RalfJung
2020-08-16 Ralf Jungmake alignment check integer-based by default, and...
2020-08-08 borsAuto merge of #1501 - samrat:fix-fs-error-handling...
2020-08-08 borsAuto merge of #1500 - RalfJung:rustup, r=RalfJung
2020-08-08 Ralf Jungrustup
2020-07-11 borsAuto merge of #1474 - RalfJung:canonical, r=RalfJung
2020-07-09 borsAuto merge of #1473 - Stupremee:no-ice-if-no-main-fn...
2020-07-09 Justus KEarly exit if program doesn't contain a main fn
2020-07-03 borsAuto merge of #1466 - RalfJung:target, r=RalfJung
2020-07-02 borsAuto merge of #1463 - RalfJung:track-call-id, r=oli-obk
2020-07-02 Ralf Jungadd option to track call IDs
2020-06-09 borsAuto merge of #1418 - divergentdave:file-sync, r=RalfJung
2020-05-29 borsAuto merge of #1439 - RalfJung:rustup, r=RalfJung
2020-05-29 Ralf Jungstr_strip is stable
2020-05-28 borsAuto merge of #1422 - RalfJung:cargo-miri-workspace...
2020-05-28 borsAuto merge of #1438 - RalfJung:rustup, r=RalfJung
2020-05-28 Ralf Jungmake cargo-miri a separate crate in a workspace
2020-05-28 borsAuto merge of #1437 - RalfJung:strip, r=RalfJung
2020-05-28 Ralf Junguse strip_prefix where it makes sense
2020-05-24 borsAuto merge of #1426 - RalfJung:no-wrapper, r=RalfJung
2020-05-24 Ralf Jungunset RUSTC_WRAPPER for xargo invocation
2020-05-17 borsAuto merge of #1417 - RalfJung:libstd-rebuilds, r=RalfJung
2020-05-17 Ralf Jungfix libstd rebuilds due to RUSTFLAGS changes
2020-05-17 borsAuto merge of #1415 - RalfJung:test-suite-filter, r...
2020-05-17 Ralf Jungadd test suite filter example to README and 'cargo...
2020-05-16 borsAuto merge of #1413 - RalfJung:catch_with_exit_code...
2020-05-16 Ralf Junguse new rustc_driver::catch_with_exit_code
2020-05-10 borsAuto merge of #1408 - RalfJung:comments, r=RalfJung
2020-05-10 Ralf Jungfix some comments, and run_compiler return type
2020-05-10 borsAuto merge of #1406 - RalfJung:miri-as-rustc, r=RalfJung
2020-05-10 Ralf Jungwe do not need to set RUSTFLAGS for xargo any more...
2020-05-10 Ralf Jungcargo-miri: never invoke rustc, always go through ...
2020-05-09 borsAuto merge of #1405 - RalfJung:stage-0, r=RalfJung
2020-05-09 Ralf Jungadjust default sysroot when being rustc
2020-05-09 Ralf Jungmake Miri work in rustc bootstrap stage 0
2020-05-09 borsAuto merge of #1404 - RalfJung:cargo-miri-host-detect...
2020-05-09 Ralf Jungavoid env::var which requires valid UTF-8
2020-05-09 Ralf Jungmore comment
2020-05-09 Ralf JungWording
2020-05-09 Ralf Jungcargo-miri: honor RUSTC env var
2020-05-09 Ralf Jungre-do cargo-miri host/target detection logic to match...
2020-05-08 borsAuto merge of #1401 - RalfJung:cargo-miri-help, r=RalfJung
2020-05-08 Ralf Jungfix cargo-miri intercepting --help/--version arguments
2020-04-30 borsAuto merge of #1284 - vakaras:add-threads-cr2, r=RalfJung
2020-04-30 borsAuto merge of #1377 - brson:servo-trophy, r=RalfJung
2020-04-30 borsAuto merge of #1378 - RalfJung:workspace-error, r=RalfJung
2020-04-30 Ralf Jungmore helpful error on workspaces
next