2019-08-28 |
Christian Poveda | Add -Zmiri-env-exclude flag |
blob | commitdiff | raw |
2019-08-27 |
bors | Auto merge of #925 - christianpoveda:environ-shim,... |
blob | commitdiff | raw | diff to current |
2019-08-27 |
bors | Auto merge of #917 - RalfJung:isolation, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-08-23 |
Ralf Jung | change flag name: enable-communication -> disable-isolation |
blob | commitdiff | raw | diff to current |
2019-08-14 |
bors | Auto merge of #894 - christianpoveda:env-vars-communica... |
blob | commitdiff | raw | diff to current |
2019-08-13 |
bors | Auto merge of #906 - RalfJung:tls, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-12 |
bors | Auto merge of #904 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-12 |
Ralf Jung | it's called RUSTC_CTFE_BACKTRACE now |
blob | commitdiff | raw | diff to current |
2019-08-06 |
Christian Poveda | Add flag to enable communication |
blob | commitdiff | raw | diff to current |
2019-07-19 |
bors | Auto merge of #847 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-19 |
Ralf Jung | fix for rustc_driver change |
blob | commitdiff | raw | diff to current |
2019-07-14 |
bors | Auto merge of #840 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-14 |
bors | Auto merge of #839 - RalfJung:noalloc, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-13 |
Ralf Jung | avoid unnecessary allocation |
blob | commitdiff | raw | diff to current |
2019-07-13 |
bors | Auto merge of #834 - jyn514:master, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-13 |
Joshua Nelson | Give a useful error message if user gives invalid rando... |
blob | commitdiff | raw | diff to current |
2019-06-16 |
Ralf Jung | Merge branch 'master' into foreign_math_functions |
blob | commitdiff | raw | diff to current |
2019-06-14 |
Ralf Jung | Merge pull request #772 from RalfJung/sysroot |
blob | commitdiff | raw | diff to current |
2019-06-14 |
Ralf Jung | fix running a Miri that was built in bootstrap |
blob | commitdiff | raw | diff to current |
2019-06-11 |
Ralf Jung | Merge pull request #766 from RalfJung/sysroot |
blob | commitdiff | raw | diff to current |
2019-06-11 |
Ralf Jung | Merge branch 'master' into sysroot |
blob | commitdiff | raw | diff to current |
2019-06-09 |
Ralf Jung | fix comments |
blob | commitdiff | raw | diff to current |
2019-06-09 |
Ralf Jung | do not handle MIRI_SYSROOT in the driver at all, rely... |
blob | commitdiff | raw | diff to current |
2019-06-09 |
Ralf Jung | explain why we always set a sysroot; make sure we error... |
blob | commitdiff | raw | diff to current |
2019-05-15 |
Ralf Jung | Rustup (#723) |
blob | commitdiff | raw | diff to current |
2019-05-13 |
Ralf Jung | fix for latest rustc |
blob | commitdiff | raw | diff to current |
2019-05-13 |
Ralf Jung | RUST_LOG got renamed to RUSTC_LOG |
blob | commitdiff | raw | diff to current |
2019-04-11 |
Ralf Jung | Merge remote-tracking branch 'origin/master' |
blob | commitdiff | raw | diff to current |
2019-04-10 |
Ralf Jung | Merge pull request #683 from Aaron1011/feature/random |
blob | commitdiff | raw | diff to current |
2019-04-09 |
Oliver Scherer | Merge branch 'master' into feature/random |
blob | commitdiff | raw | diff to current |
2019-04-09 |
Aaron Hill | Cleanup argument parsing |
blob | commitdiff | raw | diff to current |
2019-04-07 |
Aaron Hill | Implement non-deterministc mode |
blob | commitdiff | raw | diff to current |
2019-03-11 |
Ralf Jung | Merge pull request #659 from rust-lang/update |
blob | commitdiff | raw | diff to current |
2019-03-11 |
Oliver Scherer | Reintroduce prepending the input file name to the miri... |
blob | commitdiff | raw | diff to current |
2019-03-11 |
John Kåre Alsaker | Use the new rustc interface |
blob | commitdiff | raw | diff to current |
2019-02-26 |
Ralf Jung | Merge pull request #635 from alexreg/cosmetic-2 |
blob | commitdiff | raw | diff to current |
2019-02-26 |
Alexander Regueiro | Fixed nits raised in review. |
blob | commitdiff | raw | diff to current |
2019-02-26 |
Alexander Regueiro | Various cosmetic improvements. |
blob | commitdiff | raw | diff to current |
2019-02-14 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into str... |
blob | commitdiff | raw | diff to current |
2019-02-13 |
Ralf Jung | Merge branch 'master' into format-padding |
blob | commitdiff | raw | diff to current |
2019-02-11 |
Ralf Jung | Merge branch 'master' into appveyor |
blob | commitdiff | raw | diff to current |
2019-02-10 |
Oliver Scherer | Merge pull request #624 from RalfJung/args |
blob | commitdiff | raw | diff to current |
2019-02-09 |
Ralf Jung | implement passing arguments to the interpreted program |
blob | commitdiff | raw | diff to current |
2019-01-21 |
Ralf Jung | Merge pull request #599 from solson/rustup |
blob | commitdiff | raw | diff to current |
2019-01-21 |
Oliver Scherer | Update to latest rustc master |
blob | commitdiff | raw | diff to current |
2019-01-05 |
Oliver Scherer | Merge pull request #596 from RalfJung/backtrace |
blob | commitdiff | raw | diff to current |
2019-01-05 |
Oliver Scherer | Merge branch 'master' into backtrace |
blob | commitdiff | raw | diff to current |
2019-01-04 |
Ralf Jung | move env var stuff out of the miri lib |
blob | commitdiff | raw | diff to current |
2018-12-20 |
Ralf Jung | Merge branch 'master' into rustup |
blob | commitdiff | raw | diff to current |
2018-12-18 |
Ralf Jung | Merge pull request #550 from RalfJung/cargo-miri-test |
blob | commitdiff | raw | diff to current |
2018-12-18 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into cargo... |
blob | commitdiff | raw | diff to current |
2018-12-11 |
Ralf Jung | treat test binaries like all others |
blob | commitdiff | raw | diff to current |
2018-12-08 |
Ralf Jung | Merge pull request #564 from solson/rustup |
blob | commitdiff | raw | diff to current |
2018-12-08 |
Ralf Jung | bump Rust version, fix build |
blob | commitdiff | raw | diff to current |
2018-11-26 |
Ralf Jung | Merge branch 'master' into self-referential-generator |
blob | commitdiff | raw | diff to current |
2018-11-22 |
Ralf Jung | Merge pull request #538 from solson/rustup |
blob | commitdiff | raw | diff to current |
2018-11-22 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2018-11-21 |
Ralf Jung | remove stabilized feature flag |
blob | commitdiff | raw | diff to current |
2018-11-05 |
Oliver S̶c̶h̶n̶e̶i... | Merge pull request #510 from solson/rustup |
blob | commitdiff | raw | diff to current |
2018-11-05 |
Ralf Jung | move to 2018 edition |
blob | commitdiff | raw | diff to current |
2018-11-03 |
Ralf Jung | Merge pull request #506 from solson/rustup |
blob | commitdiff | raw | diff to current |
2018-11-03 |
Ralf Jung | fix adding default arguments |
blob | commitdiff | raw | diff to current |
2018-11-02 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2018-11-01 |
Ralf Jung | make the -Z flags we use more consistent |
blob | commitdiff | raw | diff to current |
2018-10-31 |
Ralf Jung | Merge branch 'master' into atomic-arith |
blob | commitdiff | raw | diff to current |
2018-10-31 |
Ralf Jung | Merge pull request #502 from RalfJung/debug |
blob | commitdiff | raw | diff to current |
2018-10-31 |
Ralf Jung | properly recognize log levels |
blob | commitdiff | raw | diff to current |
2018-10-31 |
Ralf Jung | when using MIRI_LOG, avoid logging for what rustc does... |
blob | commitdiff | raw | diff to current |
2018-10-31 |
Ralf Jung | Use MIRI_ env vars to set RUST_ ones |
blob | commitdiff | raw | diff to current |
2018-10-22 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2018-10-19 |
Ralf Jung | Merge pull request #488 from RalfJung/start-fn |
blob | commitdiff | raw | diff to current |
2018-10-19 |
Ralf Jung | automalically use start-fn if we have all the MIR |
blob | commitdiff | raw | diff to current |
2018-10-14 |
Ralf Jung | Merge pull request #473 from solson/rustup |
blob | commitdiff | raw | diff to current |
2018-10-14 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2018-10-11 |
Oliver S̶c̶h̶n̶e̶i... | Merge pull request #474 from RalfJung/miri-validate |
blob | commitdiff | raw | diff to current |
2018-10-11 |
Ralf Jung | enable validation per default, but add a flag to disabl... |
blob | commitdiff | raw | diff to current |
2018-08-14 |
Ralf Jung | Merge pull request #425 from solson/rustup |
blob | commitdiff | raw | diff to current |
2018-08-14 |
Ralf Jung | Merge branch 'master' into rustup |
blob | commitdiff | raw | diff to current |
2018-08-14 |
Ralf Jung | Merge branch 'master' into rustup |
blob | commitdiff | raw | diff to current |
2018-08-07 |
Oliver Schneider | Rustup |
blob | commitdiff | raw | diff to current |
2018-07-31 |
Ralf Jung | Merge pull request #419 from RalfJung/sysroot |
blob | commitdiff | raw | diff to current |
2018-07-30 |
Ralf Jung | clarify error message when sysroot was not found |
blob | commitdiff | raw | diff to current |
2018-07-25 |
Ralf Jung | Merge pull request #413 from solson/exit_code |
blob | commitdiff | raw | diff to current |
2018-07-25 |
Oliver Schneider | Produce the exit codes that compiletest expects |
blob | commitdiff | raw | diff to current |
2018-07-17 |
Ralf Jung | Merge pull request #410 from RalfJung/rustup |
blob | commitdiff | raw | diff to current |
2018-07-16 |
Ralf Jung | fix for latest rust nightly |
blob | commitdiff | raw | diff to current |
2018-07-16 |
Oliver Schneider | Merge branch 'master' into hack_branch_for_miri_do_not_... |
blob | commitdiff | raw | diff to current |
2018-07-13 |
Ralf Jung | Merge branch 'master' into eq-hash |
blob | commitdiff | raw | diff to current |
2018-07-11 |
Oliver Schneider | Merge pull request #394 from RalfJung/start-fn |
blob | commitdiff | raw | diff to current |
2018-07-11 |
Ralf Jung | Merge branch 'master' into start-fn |
blob | commitdiff | raw | diff to current |
2018-07-11 |
Oliver Schneider | Merge pull request #393 from RalfJung/no-bin |
blob | commitdiff | raw | diff to current |
2018-07-11 |
Ralf Jung | use -Zmiri-start-fn as a clue to REQUIRE the lang item... |
blob | commitdiff | raw | diff to current |
2018-07-11 |
Ralf Jung | document -Zmiri-start-fn; make its logic more clear |
blob | commitdiff | raw | diff to current |
2018-07-11 |
Ralf Jung | without aux builds, we don't need to set always-encode... |
blob | commitdiff | raw | diff to current |
2018-07-11 |
Ralf Jung | stop producing binaries |
blob | commitdiff | raw | diff to current |
2018-06-29 |
Oliver Schneider | Merge pull request #386 from mati865/rustup |
blob | commitdiff | raw | diff to current |
2018-06-29 |
Mateusz Mikuła | Rusutp |
blob | commitdiff | raw | diff to current |
2018-06-10 |
Oliver Schneider | Merge pull request #383 from bjorn3/rustup |
blob | commitdiff | raw | diff to current |
2018-06-10 |
bjorn3 | Rustup to rustc 1.28.0-nightly (2a0062974 2018-06-09) |
blob | commitdiff | raw | diff to current |
2018-06-03 |
Oliver Schneider | trans -> codegen_backend |
blob | commitdiff | raw | diff to current |
next |