]> git.lizzy.rs Git - rust.git/history - src/bin/cargo-miri.rs
remove libstd backtrace work-around
[rust.git] / src / bin / cargo-miri.rs
2019-09-16 Ralf Jungremove libstd backtrace work-around
2019-09-16 borsAuto merge of #945 - christianpoveda:ptr-align-offset...
2019-09-14 borsAuto merge of #953 - RalfJung:contributing, r=oli-obk
2019-09-14 borsAuto merge of #949 - RalfJung:ask-to-run, r=RalfJung
2019-09-14 borsAuto merge of #952 - RalfJung:rustup, r=RalfJung
2019-09-14 Ralf Jungtemporarily enable backtrace feature
2019-09-13 Ralf Jungfactor ask-to-run-command into helper function
2019-08-27 borsAuto merge of #925 - christianpoveda:environ-shim,...
2019-08-27 borsAuto merge of #917 - RalfJung:isolation, r=oli-obk
2019-08-26 borsAuto merge of #924 - RalfJung:getrandom, r=RalfJung
2019-08-26 borsAuto merge of #922 - RalfJung:rustup, r=RalfJung
2019-08-26 Ralf Jungbump Rust and xargo
2019-08-14 borsAuto merge of #894 - christianpoveda:env-vars-communica...
2019-08-09 borsAuto merge of #896 - tmandry:add-generator-uninhabited...
2019-08-08 borsAuto merge of #871 - RalfJung:miri-rustc-cleanup, r...
2019-08-08 borsAuto merge of #897 - RalfJung:xargo, r=RalfJung
2019-08-08 Ralf Jungbump xargo version
2019-08-07 borsAuto merge of #895 - RalfJung:uninit, r=oli-obk
2019-08-06 borsAuto merge of #893 - RalfJung:rustup, r=RalfJung
2019-08-06 Ralf Jungmention that we get the toolchain right
2019-08-06 borsAuto merge of #890 - RalfJung:xargo, r=RalfJung
2019-08-06 Ralf Junggo back to released xargo (the experiment is done)
2019-08-04 borsAuto merge of #876 - RalfJung:atomic, r=RalfJung
2019-08-04 borsAuto merge of #882 - RalfJung:miri-rustc, r=RalfJung
2019-08-04 Ralf Junguse postfix negation instead of prefix
2019-08-04 Ralf Junginstall xargo from git temporarily
2019-08-03 borsAuto merge of #881 - RalfJung:rustup, r=RalfJung
2019-08-03 borsAuto merge of #877 - christianpoveda:ldexp-shim, r...
2019-08-03 borsAuto merge of #880 - RalfJung:miri-rustc, r=RalfJung
2019-08-03 Ralf Jungset RUSTC_DEBUG_ASSERTIONS for when we are in bootstrap
2019-08-03 Ralf Jungannotate some unwraps with better messages
2019-08-03 borsAuto merge of #879 - RalfJung:rustc-tests, r=RalfJung
2019-08-03 Ralf Jungalso let bootstrap tell us where to find xargo
2019-08-02 borsAuto merge of #875 - RalfJung:miri-rustc, r=RalfJung
2019-08-02 Ralf Junghonor CARGO env var (for rustc bootstrap)
2019-08-02 borsAuto merge of #870 - RalfJung:miri-rustc, r=oli-obk
2019-07-31 Ralf Junglet the user skip the sysroot consistency check
2019-07-26 borsAuto merge of #860 - RalfJung:rustup, r=RalfJung
2019-07-26 Ralf Jungbump Rust
2019-06-21 Christian PovedaMerge branch 'master' into master
2019-06-20 Ralf JungMerge branch 'master' into rustup
2019-06-20 Ralf JungMerge pull request #774 from soc/patch-1
2019-06-20 Ralf JungMerge branch 'master' into patch-1
2019-06-20 Ralf Junguse org.rust-lang.miri folder on macOS
2019-06-16 Ralf JungMerge branch 'master' into foreign_math_functions
2019-06-15 socFix project dirs path
2019-06-14 Ralf JungMerge pull request #772 from RalfJung/sysroot
2019-06-14 Ralf Jungchange sysroot check to print the output in case of...
2019-06-11 Ralf JungMerge pull request #766 from RalfJung/sysroot
2019-06-11 Ralf JungMerge branch 'master' into sysroot
2019-06-09 Ralf Jungfactor out common code to determine miri binary
2019-06-09 Ralf Jungdo not handle MIRI_SYSROOT in the driver at all, rely...
2019-06-09 Ralf Jungdon't have both MIRI_SYSROOT and --sysroot
2019-06-09 Ralf Jungremove outdated sysroot management
2019-06-09 Ralf Jungcargo miri: make sure we see the same sysroot for rustc...
2019-05-28 Ralf Jungadd Miri build script (#745)
2019-05-27 Ralf JungMerge branch 'master' into miri-build
2019-05-27 Ralf Jungmake miri script smarter: auto-determine MIRI_SYSROOT...
2019-05-10 Oliver SchererMerge pull request #725 from RalfJung/xargo
2019-05-10 Ralf Jungswitch back to upstream xargo
2019-05-02 Oliver SchererMerge pull request #720 from RalfJung/rustup
2019-05-01 Ralf Jungswitch to my xargo fork, because that one works with...
2019-04-27 Ralf JungMerge pull request #717 from Eijebong/metadata
2019-04-27 Bastien OrivelUpdate cargo_metadata to 0.7
2019-04-21 Ralf JungMerge pull request #704 from RalfJung/dev
2019-04-21 Ralf JungMerge branch 'master' into dev
2019-04-19 Ralf Jungwarn when cargo miri setup does not do anything
2019-04-18 Ralf JungMerge pull request #698 from RalfJung/stacked-borrows-2
2019-04-18 Ralf JungMerge branch 'master' into stacked-borrows-2
2019-04-18 Ralf Jungremove some unneeded 'extern crate'
2019-03-11 Ralf JungMerge pull request #659 from rust-lang/update
2019-03-11 Oliver SchererRemove dead code and docs
2019-03-10 Ralf JungMerge pull request #660 from rust-lang/readme
2019-03-10 Ralf Jungmention --exclude-should-panic
2019-02-27 Ralf JungMerge pull request #648 from RalfJung/avoid-full-slice
2019-02-27 Ralf Jungavoid [..]
2019-02-26 Ralf JungMerge pull request #635 from alexreg/cosmetic-2
2019-02-26 Alexander RegueiroVarious cosmetic improvements.
2019-02-15 Ralf JungMerge pull request #623 from RalfJung/fat-ptr-eq
2019-02-15 Ralf Jungtypo and comments
2019-02-14 Ralf JungMerge remote-tracking branch 'origin/master' into str...
2019-02-13 Ralf JungMerge pull request #630 from RalfJung/rust-src
2019-02-13 Ralf Jungskip installing rust-src if XARGO_RUST_SRC is set
2019-02-13 Ralf JungMerge branch 'master' into format-padding
2019-02-11 Ralf JungMerge branch 'master' into appveyor
2019-02-10 Oliver SchererMerge pull request #624 from RalfJung/args
2019-02-09 Ralf Jungalso enable passing arguments through from cargo-miri
2019-02-07 Ralf JungMerge pull request #618 from RalfJung/cargo-miri
2019-02-07 Ralf JungFix cargo miri test on lib crates
2019-02-07 Oliver SchererMerge pull request #616 from RalfJung/cargo-miri
2019-02-07 Ralf Jungupdate test for cargo-miri
2019-02-07 Ralf Jungcargo miri: refactor how we detect what to interpret...
2018-12-20 Ralf JungMerge branch 'master' into rustup
2018-12-19 Ralf JungMerge pull request #580 from RalfJung/cargo-miri
2018-12-19 Ralf Jungno need to set the cargo-miri feature twice
2018-12-19 Ralf Jungxargo version check: also check application name, just...
2018-12-18 Ralf JungMerge pull request #550 from RalfJung/cargo-miri-test
2018-12-18 Ralf Jungthere is a new xargo released, use that
2018-12-18 Ralf JungMerge remote-tracking branch 'origin/master' into cargo...
2018-12-18 Ralf JungMerge pull request #574 from solson/rustup2
next