2020-03-20 |
bors | Auto merge of #1243 - RalfJung:instant, r=RalfJung |
blob | commitdiff | raw |
2020-03-20 |
bors | Auto merge of #1244 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw |
2020-03-20 |
Ralf Jung | add some more miri-detected issues |
blob | commitdiff | raw |
2020-03-19 |
Ralf Jung | we also do not check floats for being init'd |
blob | commitdiff | raw | diff to current |
2020-03-18 |
bors | Auto merge of #1239 - elichai:2020-03-abort-intrinsics... |
blob | commitdiff | raw | diff to current |
2020-03-18 |
bors | Auto merge of #1238 - RalfJung:mir-opt-test, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-03-18 |
Ralf Jung | move repeated run of test suite (without and with MIR... |
blob | commitdiff | raw | diff to current |
2020-03-12 |
bors | Auto merge of #1213 - lcnr:master, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-08 |
bors | Auto merge of #1216 - RalfJung:env, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-08 |
bors | Auto merge of #1215 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-08 |
Ralf Jung | readme: mention the leaks we found |
blob | commitdiff | raw | diff to current |
2020-03-06 |
bors | Auto merge of #1209 - RalfJung:track-alloc-id, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-03-06 |
bors | Auto merge of #1211 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-03-06 |
Ralf Jung | README: add another bug Miri found |
blob | commitdiff | raw | diff to current |
2020-03-06 |
Ralf Jung | make the new option actually do something |
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-02-23 |
bors | Auto merge of #1167 - christianpoveda:shims-refactor... |
blob | commitdiff | raw | diff to current |
2020-02-22 |
bors | Auto merge of #1185 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-02-22 |
Ralf Jung | fix README |
blob | commitdiff | raw | diff to current |
2020-02-16 |
bors | Auto merge of #1176 - RalfJung:readme, r=oli-obk |
blob | commitdiff | raw | diff to current |
2020-02-16 |
Ralf Jung | clarify caveats |
blob | commitdiff | raw | diff to current |
2020-02-16 |
Ralf Jung | update README |
blob | commitdiff | raw | diff to current |
2020-02-08 |
bors | Auto merge of #1159 - divergentdave:shim-seek, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-01-30 |
bors | Auto merge of #1151 - divergentdave:statx-AT_EMPTY_PATH... |
blob | commitdiff | raw | diff to current |
2020-01-29 |
bors | Auto merge of #1154 - TimDiekmann:rename-alloc, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-01-29 |
bors | Auto merge of #1155 - divergentdave:shim-posix_fadivse... |
blob | commitdiff | raw | diff to current |
2020-01-28 |
bors | Auto merge of #1162 - RalfJung:track-fn-ptr, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-01-28 |
bors | Auto merge of #1148 - yoshuawuyts:patch-1, r=RalfJung |
blob | commitdiff | raw | diff to current |
2020-01-18 |
Yoshua Wuyts | Document miri can only be installed on nightly |
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-10 |
Oliver Scherer | Update README.md |
blob | commitdiff | raw | diff to current |
2019-12-08 |
bors | Auto merge of #1111 - MarkusPettersson98:rustup-1.21... |
blob | commitdiff | raw | diff to current |
2019-12-08 |
bors | Auto merge of #1110 - MarkusPettersson98:master, r... |
blob | commitdiff | raw | diff to current |
2019-12-08 |
Oliver Scherer | Document the new flag |
blob | commitdiff | raw | diff to current |
2019-12-08 |
Markus Pettersson | Updated README to reflect deprecation of rustup install |
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 |
bors | Auto merge of #1105 - RalfJung:readme, r=oli-obk |
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-07 |
Ralf Jung | better way to ignore tests in Miri |
blob | commitdiff | raw | diff to current |
2019-12-06 |
bors | Auto merge of #1104 - RalfJung:readme, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-12-06 |
Ralf Jung | wording |
blob | commitdiff | raw | diff to current |
2019-12-06 |
Ralf Jung | README: Miri now supports panics and FS access |
blob | commitdiff | raw | diff to current |
2019-11-19 |
bors | Auto merge of #693 - Aaron1011:feature/panic_unwind_fin... |
blob | commitdiff | raw | diff to current |
2019-11-19 |
bors | Auto merge of #1062 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-11-19 |
Ralf Jung | generalize readme |
blob | commitdiff | raw | diff to current |
2019-10-16 |
bors | Auto merge of #1000 - RalfJung:profile, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-10-16 |
Ralf Jung | make sure we don't install more than we have to |
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-14 |
bors | Auto merge of #953 - RalfJung:contributing, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-09-14 |
Ralf Jung | add CONTRIBUTING guide |
blob | commitdiff | raw | diff to current |
2019-08-29 |
bors | Auto merge of #937 - christianpoveda:fix-isolation... |
blob | commitdiff | raw | diff to current |
2019-08-29 |
Christian Poveda | Add cargo-miri test for no isolation |
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-29 |
Christian Poveda | Small corrections |
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-23 |
bors | Auto merge of #914 - christianpoveda:use-host-rng,... |
blob | commitdiff | raw | diff to current |
2019-08-20 |
Christian Poveda | Update -Zmiri-enable-communication docs |
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-09 |
bors | Auto merge of #896 - tmandry:add-generator-uninhabited... |
blob | commitdiff | raw | diff to current |
2019-08-08 |
bors | Auto merge of #898 - christianpoveda:master, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-08 |
bors | Auto merge of #871 - RalfJung:miri-rustc-cleanup, r... |
blob | commitdiff | raw | diff to current |
2019-08-06 |
Christian Poveda | Update readme |
blob | commitdiff | raw | diff to current |
2019-08-04 |
bors | Auto merge of #885 - Aaron1011:fix/f-round, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-04 |
bors | Auto merge of #884 - Aaron1011:fix/linux-getrandom... |
blob | commitdiff | raw | diff to current |
2019-08-04 |
bors | Auto merge of #887 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-08-04 |
Ralf Jung | add getrandom bug |
blob | commitdiff | raw | diff to current |
2019-08-02 |
bors | Auto merge of #870 - RalfJung:miri-rustc, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-07-31 |
Ralf Jung | test-miri is no longer a thing |
blob | commitdiff | raw | diff to current |
2019-07-30 |
bors | Auto merge of #867 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-30 |
Ralf Jung | move CI remark down to CI section |
blob | commitdiff | raw | diff to current |
2019-07-30 |
bors | Auto merge of #865 - RalfJung:readme, r=oli-obk |
blob | commitdiff | raw | diff to current |
2019-07-30 |
Ralf Jung | call out more clearly what we do not test; update parag... |
blob | commitdiff | raw | diff to current |
2019-07-25 |
bors | Auto merge of #857 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-25 |
Ralf Jung | link to UB definition |
blob | commitdiff | raw | diff to current |
2019-07-24 |
bors | Auto merge of #853 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-24 |
bors | Auto merge of #852 - lzutao:rustup, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-24 |
Ralf Jung | readme: move flags and env vars up above dev |
blob | commitdiff | raw | diff to current |
2019-07-24 |
bors | Auto merge of #851 - RalfJung:intrptrcast-by-default... |
blob | commitdiff | raw | diff to current |
2019-07-23 |
Ralf Jung | make sure we always have an RNG |
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 |
Ralf Jung | update README about what we do not support |
blob | commitdiff | raw | diff to current |
2019-07-06 |
Ralf Jung | Merge remote-tracking branch 'origin/master' into rustup |
blob | commitdiff | raw | diff to current |
2019-07-04 |
bors | Auto merge of #822 - RalfJung:tls, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-03 |
bors | Auto merge of #820 - RalfJung:intptrcast, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-03 |
Ralf Jung | don't call Stacked Borrows hooks at all when validation... |
blob | commitdiff | raw | diff to current |
2019-07-02 |
bors | Auto merge of #818 - RalfJung:readme, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-02 |
Ralf Jung | add another bug we found to the list |
blob | commitdiff | raw | diff to current |
2019-07-01 |
bors | Auto merge of #815 - RalfJung:memory-audit, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-07-01 |
Ralf Jung | Merge branch 'master' into rustup |
blob | commitdiff | raw | diff to current |
2019-06-30 |
bors | Auto merge of #809 - RalfJung:intptrcast, r=RalfJung |
blob | commitdiff | raw | diff to current |
2019-06-30 |
Ralf Jung | test even more size-alignment combinations. found a... |
blob | commitdiff | raw | diff to current |
next |