2020-03-12 |
bors | Auto merge of #1213 - lcnr:master, r=RalfJung |
blob | commitdiff | raw |
2020-03-11 |
bors | Auto merge of #1221 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw |
2020-03-11 |
Ralf Jung | use ctfe_backtracte variable for backtrace control |
blob | commitdiff | raw |
2020-03-06 |
bors | Auto merge of #1209 - RalfJung:track-alloc-id, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-03-06 |
Ralf Jung | add option to track a particular AllocId (does nothing... |
blob | commitdiff | raw | diff to current |
2020-03-01 |
bors | Auto merge of #1199 - RalfJung:cargo-miri, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-01 |
Ralf Jung | format a few things |
blob | commitdiff | raw | diff to current |
2020-02-26 |
bors | Auto merge of #1152 - divergentdave:shim-directory... |
blob | commitdiff | raw | diff to current |
2020-02-26 |
bors | Auto merge of #1192 - RalfJung:disable-stacked-borrows... |
blob | commitdiff | raw | diff to current |
2020-02-24 |
Ralf Jung | add an option to disable Stacked Borrows |
blob | commitdiff | raw | diff to current |
2020-01-10 |
bors | Auto merge of #1143 - christianpoveda:symlink-shim... |
blob | commitdiff | raw | diff to current |
2020-01-07 |
bors | Auto merge of #1140 - RalfJung:no-macos, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-01-07 |
bors | Auto merge of #1142 - JohnTitor:rustup-0107, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-01-06 |
Yuki Okushi | Rustup |
blob | commitdiff | raw | diff to current |
2020-01-06 |
bors | Auto merge of #1141 - RalfJung:lint-adjust, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-01-06 |
bors | Auto merge of #1137 - anp:track-caller-update, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-01-06 |
Yuki Okushi | More rustup |
blob | commitdiff | raw | diff to current |
2019-12-23 |
bors | Auto merge of #1124 - RalfJung:sysroot-check, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-12-23 |
bors | Auto merge of #1118 - rust-lang:stacked_borrow_tracing... |
blob | commitdiff | raw | diff to current |
2019-12-23 |
Oliver Scherer | Rustfmt all the things |
blob | commitdiff | raw | diff to current |
2019-12-22 |
bors | Auto merge of #1101 - christianpoveda:stat-shim, r... |
blob | commitdiff | raw | diff to current |
2019-12-14 |
bors | Auto merge of #1113 - RalfJung:vtable, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-12-10 |
bors | Auto merge of #1080 - rust-lang:stacked_borrow_tracing... |
blob | commitdiff | raw | diff to current |
2019-12-08 |
Oliver Scherer | Rename track-id to track-pointer-tag |
blob | commitdiff | raw | diff to current |
2019-12-08 |
Oliver Scherer | Add a scheme to find the place where an id was destroyed |
blob | commitdiff | raw | diff to current |
2019-12-08 |
bors | Auto merge of #1107 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-12-07 |
bors | Auto merge of #1106 - RalfJung:memleak-ignore, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-12-07 |
Ralf Jung | add flag to ignore memory leaks |
blob | commitdiff | raw | diff to current |
2019-12-01 |
bors | Auto merge of #1087 - RalfJung:toolchain, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-12-01 |
bors | Auto merge of #1088 - RalfJung:globalctxt, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-11-30 |
Ralf Jung | fix for GlobalCtxt changes |
blob | commitdiff | raw | diff to current |
2019-11-20 |
bors | Auto merge of #1065 - Aaron1011:fix/start-return, r... |
blob | commitdiff | raw | diff to current |
2019-11-20 |
Aaron Hill | Improve return code propagation. |
blob | commitdiff | raw | diff to current |
2019-11-17 |
bors | Auto merge of #1055 - RalfJung:panic-stub, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-11-17 |
Ralf Jung | remove some leftovers from the miri-control-attribute... |
blob | commitdiff | raw | diff to current |
2019-09-28 |
bors | Auto merge of #957 - christianpoveda:ptr-align-offset... |
blob | commitdiff | raw | diff to current |
2019-09-16 |
bors | Auto merge of #945 - christianpoveda:ptr-align-offset... |
blob | commitdiff | raw | diff to current |
2019-09-16 |
bors | Auto merge of #954 - RalfJung:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-09-16 |
Ralf Jung | install ICE hook |
blob | commitdiff | raw | diff to current |
2019-09-15 |
Ralf Jung | update for rustc changes |
blob | commitdiff | raw | diff to current |
2019-08-29 |
bors | Auto merge of #935 - christianpoveda:blacklist-env... |
blob | commitdiff | raw | diff to current |
2019-08-28 |
Christian Poveda | Add -Zmiri-env-exclude flag |
blob | commitdiff | raw | diff to current |
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 |
next |