274ae0438f
add an option to disable Stacked Borrows
2020-02-24 16:22:02 +01:00
86a4354746
fix README
2020-02-22 11:58:21 +01:00
e449dccd37
clarify caveats
2020-02-16 15:30:09 +01:00
fda6104ee9
update README
2020-02-16 15:30:09 +01:00
0acc309561
Document miri can only be installed on nightly
...
This updates the installation instructions to point out that miri is only available on nightly, and encodes this assumption into the installation instructions.
2020-01-18 16:21:30 +01:00
f94bc7124c
Auto merge of #1080 - rust-lang:stacked_borrow_tracing, r=RalfJung
...
Add a scheme to find the place where an id was destroyed
cc https://github.com/rust-lang/miri/issues/974
I'm not too happy with it, but since stacked borrows don't have access to the current call stack, I can't just report a warning as per https://github.com/rust-lang/miri/issues/797
We could add some global mutex that we can throw strings at and `step` will clear out that mutex and report warnings before moving the `statement_id` or the `block_id`, not sure how well that would work. For now I think this is sufficient
2019-12-10 13:47:44 +00:00
8d409a7b59
Update README.md
...
Co-Authored-By: Ralf Jung <post@ralfj.de >
2019-12-10 14:47:28 +01:00
acb43f80fd
Document the new flag
2019-12-08 12:20:51 +01:00
ef37a4c158
Updated README to reflect deprecation of rustup install
2019-12-08 11:12:25 +01:00
3cc6795418
Auto merge of #1106 - RalfJung:memleak-ignore, r=RalfJung
...
add flag to ignore memory leaks
2019-12-07 18:04:14 +00:00
e92d16d9cd
add flag to ignore memory leaks
2019-12-07 13:44:48 +01:00
1a8755384e
better way to ignore tests in Miri
2019-12-07 11:43:30 +01:00
e0619b717c
wording
2019-12-06 09:31:40 +01:00
f02643001f
README: Miri now supports panics and FS access
2019-12-06 09:31:40 +01:00
a4eb34b3e1
generalize readme
2019-11-19 20:40:06 +01:00
cb913698d2
make sure we don't install more than we have to
2019-10-16 10:45:48 +02:00
1fb934b6cf
add CONTRIBUTING guide
2019-09-14 13:42:32 +02:00
814fe99516
Add cargo-miri test for no isolation
2019-08-29 10:13:02 -05:00
abcda6dc94
Small corrections
...
Co-Authored-By: Ralf Jung <post@ralfj.de >
2019-08-29 03:08:58 -05:00
1ae1d71938
Add -Zmiri-env-exclude flag
2019-08-28 17:57:35 -05:00
97f9fb1284
change flag name: enable-communication -> disable-isolation
2019-08-23 23:29:11 +02:00
f53b5b0fb4
Update -Zmiri-enable-communication docs
2019-08-20 12:22:49 -05:00
1f504ea7be
Auto merge of #894 - christianpoveda:env-vars-communication, r=RalfJung
...
Enable env communication
related issue: https://github.com/rust-lang/miri/issues/800 . r? @RalfJung
2019-08-14 18:58:06 +00:00
b09ae31da0
Auto merge of #871 - RalfJung:miri-rustc-cleanup, r=RalfJung
...
Cleanup after rustc bootstrap tests Miri with a separate libstd
Should only be merged after https://github.com/rust-lang/rust/pull/63162 got the green light.
2019-08-08 20:43:47 +00:00
0df7a728c6
Update readme
2019-08-06 15:47:57 -05:00
e8d956c4fa
add getrandom bug
2019-08-04 15:09:13 +02:00
40d647a060
test-miri is no longer a thing
2019-07-31 15:29:56 +02:00
fcbdd2c864
move CI remark down to CI section
2019-07-30 17:04:57 +02:00
b1ba07b0ca
call out more clearly what we do not test; update paragraph on intptrcast
2019-07-30 11:23:56 +02:00
e843077d1d
link to UB definition
2019-07-25 19:38:55 +02:00
59fa7c2cf5
readme: move flags and env vars up above dev
2019-07-24 14:18:42 +02:00
068517ae66
make sure we always have an RNG
2019-07-23 21:38:53 +02:00
4cbd31220b
update README about what we do not support
2019-07-14 09:34:08 +02:00
eb4128fb42
don't call Stacked Borrows hooks at all when validation is disabled
2019-07-03 10:47:28 +02:00
e8e42ab5ec
add another bug we found to the list
2019-07-02 09:51:16 +02:00
cb6d4f0c9a
test even more size-alignment combinations. found a bug in libstd!
2019-06-30 21:23:48 +02:00
7a6438ada6
add snippet for running Miri on CI
2019-06-25 10:05:34 +02:00
118274f300
README: mention to cargo update, mention rustup-toolchain-install-master
2019-06-13 08:43:35 +02:00
b0b082d4d8
do not handle MIRI_SYSROOT in the driver at all, rely fully on the --sysroot flag
2019-06-09 17:10:04 +02:00
cf96396fcc
make miri script smarter: auto-determine MIRI_SYSROOT, handle MIRI_TEST_TARGET
2019-05-27 14:41:44 +02:00
6420293af4
adjust readme to miri build script
2019-05-27 12:59:52 +02:00
ff6f101074
add more bugs that Miri found
2019-05-24 10:09:23 +02:00
df36c2bb7d
expand explanation of how we treat validity invariants
2019-05-20 09:32:01 +02:00
f9cf78d685
trophy case: add rand; separate definite bugs from stacked-borrows-is-not-yet-official bugs
2019-04-26 09:08:30 +02:00
0d53178d5b
Merge branch 'master' into dev
2019-04-21 10:57:49 +02:00
a20719cec6
add section on the no MIR error
2019-04-20 18:36:43 +02:00
677bd6f656
add LinkedList test and mention the bug Miri found there
2019-04-19 23:08:24 +02:00
bf6b7aa550
rewirte development part of README
2019-04-19 19:53:42 +02:00
d7bcaab737
document -Zmiri-seed
2019-04-17 08:20:02 +02:00
916221b0a4
Merge branch 'master' into patch-1
2019-04-06 10:26:27 +01:00
Ralf Jung