2019-08-29 |
bors | Auto merge of #935 - christianpoveda:blacklist-env... |
tree | commitdiff |
2019-08-29 |
Christian Poveda | Small corrections |
tree | commitdiff |
2019-08-28 |
Christian Poveda | Add -Zmiri-env-exclude flag |
tree | commitdiff |
2019-08-27 |
bors | Auto merge of #925 - christianpoveda:environ-shim,... |
tree | commitdiff |
2019-08-27 |
bors | Auto merge of #917 - RalfJung:isolation, r=oli-obk |
tree | commitdiff |
2019-08-26 |
bors | Auto merge of #924 - RalfJung:getrandom, r=RalfJung |
tree | commitdiff |
2019-08-26 |
bors | Auto merge of #922 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-08-26 |
Ralf Jung | bump Rust and xargo |
tree | commitdiff |
2019-08-23 |
Ralf Jung | change flag name: enable-communication -> disable-isolation |
tree | commitdiff |
2019-08-14 |
bors | Auto merge of #894 - christianpoveda:env-vars-communica... |
tree | commitdiff |
2019-08-13 |
Christian Poveda | Move test env var to test_runner |
tree | commitdiff |
2019-08-13 |
bors | Auto merge of #906 - RalfJung:tls, r=RalfJung |
tree | commitdiff |
2019-08-12 |
bors | Auto merge of #904 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-08-12 |
Ralf Jung | it's called RUSTC_CTFE_BACKTRACE now |
tree | commitdiff |
2019-08-09 |
bors | Auto merge of #896 - tmandry:add-generator-uninhabited... |
tree | commitdiff |
2019-08-08 |
bors | Auto merge of #871 - RalfJung:miri-rustc-cleanup, r... |
tree | commitdiff |
2019-08-08 |
bors | Auto merge of #897 - RalfJung:xargo, r=RalfJung |
tree | commitdiff |
2019-08-08 |
Ralf Jung | bump xargo version |
tree | commitdiff |
2019-08-07 |
bors | Auto merge of #895 - RalfJung:uninit, r=oli-obk |
tree | commitdiff |
2019-08-06 |
bors | Auto merge of #893 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-08-06 |
Christian Poveda | Add communicate field to evaluator and fix formatting |
tree | commitdiff |
2019-08-06 |
Christian Poveda | Add flag to enable communication |
tree | commitdiff |
2019-08-06 |
Ralf Jung | mention that we get the toolchain right |
tree | commitdiff |
2019-08-06 |
bors | Auto merge of #890 - RalfJung:xargo, r=RalfJung |
tree | commitdiff |
2019-08-06 |
Ralf Jung | go back to released xargo (the experiment is done) |
tree | commitdiff |
2019-08-04 |
bors | Auto merge of #876 - RalfJung:atomic, r=RalfJung |
tree | commitdiff |
2019-08-04 |
bors | Auto merge of #882 - RalfJung:miri-rustc, r=RalfJung |
tree | commitdiff |
2019-08-04 |
Ralf Jung | use postfix negation instead of prefix |
tree | commitdiff |
2019-08-04 |
Ralf Jung | install xargo from git temporarily |
tree | commitdiff |
2019-08-03 |
bors | Auto merge of #881 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-08-03 |
bors | Auto merge of #877 - christianpoveda:ldexp-shim, r... |
tree | commitdiff |
2019-08-03 |
bors | Auto merge of #880 - RalfJung:miri-rustc, r=RalfJung |
tree | commitdiff |
2019-08-03 |
Ralf Jung | set RUSTC_DEBUG_ASSERTIONS for when we are in bootstrap |
tree | commitdiff |
2019-08-03 |
Ralf Jung | annotate some unwraps with better messages |
tree | commitdiff |
2019-08-03 |
bors | Auto merge of #879 - RalfJung:rustc-tests, r=RalfJung |
tree | commitdiff |
2019-08-03 |
Ralf Jung | also let bootstrap tell us where to find xargo |
tree | commitdiff |
2019-08-02 |
bors | Auto merge of #875 - RalfJung:miri-rustc, r=RalfJung |
tree | commitdiff |
2019-08-02 |
Ralf Jung | honor CARGO env var (for rustc bootstrap) |
tree | commitdiff |
2019-08-02 |
bors | Auto merge of #870 - RalfJung:miri-rustc, r=oli-obk |
tree | commitdiff |
2019-07-31 |
Ralf Jung | let the user skip the sysroot consistency check |
tree | commitdiff |
2019-07-26 |
bors | Auto merge of #860 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-07-26 |
Ralf Jung | bump Rust |
tree | commitdiff |
2019-07-19 |
bors | Auto merge of #847 - RalfJung:rustup, r=RalfJung |
tree | commitdiff |
2019-07-19 |
Ralf Jung | fix miri-rustc-tests |
tree | commitdiff |
2019-07-19 |
Ralf Jung | fix for rustc_driver change |
tree | commitdiff |
2019-07-14 |
bors | Auto merge of #840 - RalfJung:readme, r=RalfJung |
tree | commitdiff |
2019-07-14 |
bors | Auto merge of #839 - RalfJung:noalloc, r=RalfJung |
tree | commitdiff |
2019-07-13 |
Ralf Jung | avoid unnecessary allocation |
tree | commitdiff |
2019-07-13 |
bors | Auto merge of #834 - jyn514:master, r=RalfJung |
tree | commitdiff |
2019-07-13 |
Joshua Nelson | Give a useful error message if user gives invalid rando... |
tree | commitdiff |
2019-06-21 |
Christian Poveda | Merge branch 'master' into master |
tree | commitdiff |
2019-06-20 |
Ralf Jung | Merge branch 'master' into rustup |
tree | commitdiff |
2019-06-20 |
Ralf Jung | Merge pull request #774 from soc/patch-1 |
tree | commitdiff |
2019-06-20 |
Ralf Jung | Merge branch 'master' into patch-1 |
tree | commitdiff |
2019-06-20 |
Ralf Jung | use org.rust-lang.miri folder on macOS |
tree | commitdiff |
2019-06-16 |
Ralf Jung | Merge branch 'master' into foreign_math_functions |
tree | commitdiff |
2019-06-16 |
Ralf Jung | Merge pull request #775 from rust-lang/rustup |
tree | commitdiff |
2019-06-15 |
soc | Fix project dirs path |
tree | commitdiff |
2019-06-14 |
Lzu Tao | Fix wrong lifetime of TyCtxt |
tree | commitdiff |
2019-06-14 |
Ralf Jung | Merge pull request #772 from RalfJung/sysroot |
tree | commitdiff |
2019-06-14 |
Ralf Jung | fix running a Miri that was built in bootstrap |
tree | commitdiff |
2019-06-14 |
Ralf Jung | change sysroot check to print the output in case of... |
tree | commitdiff |
2019-06-13 |
Ralf Jung | Merge pull request #769 from RalfJung/rustup |
tree | commitdiff |
2019-06-13 |
Ralf Jung | rustup for lifetime refactorings |
tree | commitdiff |
2019-06-11 |
Ralf Jung | Merge pull request #766 from RalfJung/sysroot |
tree | commitdiff |
2019-06-11 |
Ralf Jung | Merge branch 'master' into sysroot |
tree | commitdiff |
2019-06-09 |
Ralf Jung | factor out common code to determine miri binary |
tree | commitdiff |
2019-06-09 |
Ralf Jung | fix comments |
tree | commitdiff |
2019-06-09 |
Ralf Jung | do not handle MIRI_SYSROOT in the driver at all, rely... |
tree | commitdiff |
2019-06-09 |
Ralf Jung | don't have both MIRI_SYSROOT and --sysroot |
tree | commitdiff |
2019-06-09 |
Ralf Jung | explain why we always set a sysroot; make sure we error... |
tree | commitdiff |
2019-06-09 |
Ralf Jung | remove outdated sysroot management |
tree | commitdiff |
2019-06-09 |
Ralf Jung | cargo miri: make sure we see the same sysroot for rustc... |
tree | commitdiff |
2019-05-28 |
Ralf Jung | add Miri build script (#745) |
tree | commitdiff |
2019-05-27 |
Ralf Jung | Merge branch 'master' into miri-build |
tree | commitdiff |
2019-05-27 |
Ralf Jung | make miri script smarter: auto-determine MIRI_SYSROOT... |
tree | commitdiff |
2019-05-15 |
Ralf Jung | Rustup (#723) |
tree | commitdiff |
2019-05-13 |
Ralf Jung | fix for latest rustc |
tree | commitdiff |
2019-05-13 |
Ralf Jung | RUST_LOG got renamed to RUSTC_LOG |
tree | commitdiff |
2019-05-10 |
Oliver Scherer | Merge pull request #725 from RalfJung/xargo |
tree | commitdiff |
2019-05-10 |
Ralf Jung | switch back to upstream xargo |
tree | commitdiff |
2019-05-02 |
Oliver Scherer | Merge pull request #720 from RalfJung/rustup |
tree | commitdiff |
2019-05-01 |
Ralf Jung | switch to my xargo fork, because that one works with... |
tree | commitdiff |
2019-04-27 |
Ralf Jung | Merge pull request #717 from Eijebong/metadata |
tree | commitdiff |
2019-04-27 |
Bastien Orivel | Update cargo_metadata to 0.7 |
tree | commitdiff |
2019-04-21 |
Ralf Jung | Merge pull request #704 from RalfJung/dev |
tree | commitdiff |
2019-04-21 |
Ralf Jung | Merge branch 'master' into dev |
tree | commitdiff |
2019-04-19 |
Ralf Jung | warn when cargo miri setup does not do anything |
tree | commitdiff |
2019-04-18 |
Ralf Jung | Merge pull request #698 from RalfJung/stacked-borrows-2 |
tree | commitdiff |
2019-04-18 |
Ralf Jung | Merge branch 'master' into stacked-borrows-2 |
tree | commitdiff |
2019-04-18 |
Ralf Jung | remove some unneeded 'extern crate' |
tree | commitdiff |
2019-04-11 |
Ralf Jung | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2019-04-10 |
Ralf Jung | Merge pull request #683 from Aaron1011/feature/random |
tree | commitdiff |
2019-04-09 |
Oliver Scherer | Merge branch 'master' into feature/random |
tree | commitdiff |
2019-04-09 |
Aaron Hill | Cleanup argument parsing |
tree | commitdiff |
2019-04-07 |
Aaron Hill | Implement non-deterministc mode |
tree | commitdiff |
2019-03-18 |
Ralf Jung | Merge pull request #663 from RalfJung/range-contains |
tree | commitdiff |
2019-03-18 |
Oliver Scherer | Update src/bin/miri-rustc-tests.rs |
tree | commitdiff |
2019-03-18 |
Ralf Jung | fix for rustc change |
tree | commitdiff |
2019-03-11 |
Ralf Jung | Merge pull request #659 from rust-lang/update |
tree | commitdiff |
next |