]> git.lizzy.rs Git - rust.git/history - src/bin/miri.rs
avoid using unchecked casts or arithmetic
[rust.git] / src / bin / miri.rs
2020-03-17 Ralf Jungavoid using unchecked casts or arithmetic
2020-03-12 borsAuto merge of #1213 - lcnr:master, r=RalfJung
2020-03-11 borsAuto merge of #1221 - RalfJung:rustup, r=RalfJung
2020-03-11 Ralf Junguse ctfe_backtracte variable for backtrace control
2020-03-06 borsAuto merge of #1209 - RalfJung:track-alloc-id, r=oli-obk
2020-03-06 Ralf Jungadd option to track a particular AllocId (does nothing...
2020-03-01 borsAuto merge of #1199 - RalfJung:cargo-miri, r=RalfJung
2020-03-01 Ralf Jungformat a few things
2020-02-26 borsAuto merge of #1152 - divergentdave:shim-directory...
2020-02-26 borsAuto merge of #1192 - RalfJung:disable-stacked-borrows...
2020-02-24 Ralf Jungadd an option to disable Stacked Borrows
2020-01-10 borsAuto merge of #1143 - christianpoveda:symlink-shim...
2020-01-07 borsAuto merge of #1140 - RalfJung:no-macos, r=oli-obk
2020-01-07 borsAuto merge of #1142 - JohnTitor:rustup-0107, r=RalfJung
2020-01-06 Yuki OkushiRustup
2020-01-06 borsAuto merge of #1141 - RalfJung:lint-adjust, r=RalfJung
2020-01-06 borsAuto merge of #1137 - anp:track-caller-update, r=RalfJung
2020-01-06 Yuki OkushiMore rustup
2019-12-23 borsAuto merge of #1124 - RalfJung:sysroot-check, r=oli-obk
2019-12-23 borsAuto merge of #1118 - rust-lang:stacked_borrow_tracing...
2019-12-23 Oliver SchererRustfmt all the things
2019-12-22 borsAuto merge of #1101 - christianpoveda:stat-shim, r...
2019-12-14 borsAuto merge of #1113 - RalfJung:vtable, r=RalfJung
2019-12-10 borsAuto merge of #1080 - rust-lang:stacked_borrow_tracing...
2019-12-08 Oliver SchererRename track-id to track-pointer-tag
2019-12-08 Oliver SchererAdd a scheme to find the place where an id was destroyed
2019-12-08 borsAuto merge of #1107 - RalfJung:rustup, r=RalfJung
2019-12-07 borsAuto merge of #1106 - RalfJung:memleak-ignore, r=RalfJung
2019-12-07 Ralf Jungadd flag to ignore memory leaks
2019-12-01 borsAuto merge of #1087 - RalfJung:toolchain, r=oli-obk
2019-12-01 borsAuto merge of #1088 - RalfJung:globalctxt, r=RalfJung
2019-11-30 Ralf Jungfix for GlobalCtxt changes
2019-11-20 borsAuto merge of #1065 - Aaron1011:fix/start-return, r...
2019-11-20 Aaron HillImprove return code propagation.
2019-11-17 borsAuto merge of #1055 - RalfJung:panic-stub, r=RalfJung
2019-11-17 Ralf Jungremove some leftovers from the miri-control-attribute...
2019-09-28 borsAuto merge of #957 - christianpoveda:ptr-align-offset...
2019-09-16 borsAuto merge of #945 - christianpoveda:ptr-align-offset...
2019-09-16 borsAuto merge of #954 - RalfJung:rustup, r=RalfJung
2019-09-16 Ralf Junginstall ICE hook
2019-09-15 Ralf Jungupdate for rustc changes
2019-08-29 borsAuto merge of #935 - christianpoveda:blacklist-env...
2019-08-28 Christian PovedaAdd -Zmiri-env-exclude flag
2019-08-27 borsAuto merge of #925 - christianpoveda:environ-shim,...
2019-08-27 borsAuto merge of #917 - RalfJung:isolation, r=oli-obk
2019-08-23 Ralf Jungchange flag name: enable-communication -> disable-isolation
2019-08-14 borsAuto merge of #894 - christianpoveda:env-vars-communica...
2019-08-13 borsAuto merge of #906 - RalfJung:tls, r=RalfJung
2019-08-12 borsAuto merge of #904 - RalfJung:rustup, r=RalfJung
2019-08-12 Ralf Jungit's called RUSTC_CTFE_BACKTRACE now
2019-08-06 Christian PovedaAdd flag to enable communication
2019-07-19 borsAuto merge of #847 - RalfJung:rustup, r=RalfJung
2019-07-19 Ralf Jungfix for rustc_driver change
2019-07-14 borsAuto merge of #840 - RalfJung:readme, r=RalfJung
2019-07-14 borsAuto merge of #839 - RalfJung:noalloc, r=RalfJung
2019-07-13 Ralf Jungavoid unnecessary allocation
2019-07-13 borsAuto merge of #834 - jyn514:master, r=RalfJung
2019-07-13 Joshua NelsonGive a useful error message if user gives invalid rando...
2019-06-16 Ralf JungMerge branch 'master' into foreign_math_functions
2019-06-14 Ralf JungMerge pull request #772 from RalfJung/sysroot
2019-06-14 Ralf Jungfix running a Miri that was built in bootstrap
2019-06-11 Ralf JungMerge pull request #766 from RalfJung/sysroot
2019-06-11 Ralf JungMerge branch 'master' into sysroot
2019-06-09 Ralf Jungfix comments
2019-06-09 Ralf Jungdo not handle MIRI_SYSROOT in the driver at all, rely...
2019-06-09 Ralf Jungexplain why we always set a sysroot; make sure we error...
2019-05-15 Ralf JungRustup (#723)
2019-05-13 Ralf Jungfix for latest rustc
2019-05-13 Ralf JungRUST_LOG got renamed to RUSTC_LOG
2019-04-11 Ralf JungMerge remote-tracking branch 'origin/master'
2019-04-10 Ralf JungMerge pull request #683 from Aaron1011/feature/random
2019-04-09 Oliver SchererMerge branch 'master' into feature/random
2019-04-09 Aaron HillCleanup argument parsing
2019-04-07 Aaron HillImplement non-deterministc mode
2019-03-11 Ralf JungMerge pull request #659 from rust-lang/update
2019-03-11 Oliver SchererReintroduce prepending the input file name to the miri...
2019-03-11 John Kåre AlsakerUse the new rustc interface
2019-02-26 Ralf JungMerge pull request #635 from alexreg/cosmetic-2
2019-02-26 Alexander RegueiroFixed nits raised in review.
2019-02-26 Alexander RegueiroVarious cosmetic improvements.
2019-02-14 Ralf JungMerge remote-tracking branch 'origin/master' into str...
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 Jungimplement passing arguments to the interpreted program
2019-01-21 Ralf JungMerge pull request #599 from solson/rustup
2019-01-21 Oliver SchererUpdate to latest rustc master
2019-01-05 Oliver SchererMerge pull request #596 from RalfJung/backtrace
2019-01-05 Oliver SchererMerge branch 'master' into backtrace
2019-01-04 Ralf Jungmove env var stuff out of the miri lib
2018-12-20 Ralf JungMerge branch 'master' into rustup
2018-12-18 Ralf JungMerge pull request #550 from RalfJung/cargo-miri-test
2018-12-18 Ralf JungMerge remote-tracking branch 'origin/master' into cargo...
2018-12-11 Ralf Jungtreat test binaries like all others
2018-12-08 Ralf JungMerge pull request #564 from solson/rustup
2018-12-08 Ralf Jungbump Rust version, fix build
2018-11-26 Ralf JungMerge branch 'master' into self-referential-generator
2018-11-22 Ralf JungMerge pull request #538 from solson/rustup
2018-11-22 Ralf JungMerge remote-tracking branch 'origin/master' into rustup
2018-11-21 Ralf Jungremove stabilized feature flag
next