Commit Graph

173 Commits

Author SHA1 Message Date
Ralf Jung
a4eb34b3e1 generalize readme 2019-11-19 20:40:06 +01:00
Ralf Jung
cb913698d2 make sure we don't install more than we have to 2019-10-16 10:45:48 +02:00
Ralf Jung
1fb934b6cf add CONTRIBUTING guide 2019-09-14 13:42:32 +02:00
Christian Poveda
814fe99516 Add cargo-miri test for no isolation 2019-08-29 10:13:02 -05:00
Christian Poveda
abcda6dc94 Small corrections
Co-Authored-By: Ralf Jung <post@ralfj.de>
2019-08-29 03:08:58 -05:00
Christian Poveda
1ae1d71938 Add -Zmiri-env-exclude flag 2019-08-28 17:57:35 -05:00
Ralf Jung
97f9fb1284 change flag name: enable-communication -> disable-isolation 2019-08-23 23:29:11 +02:00
Christian Poveda
f53b5b0fb4 Update -Zmiri-enable-communication docs 2019-08-20 12:22:49 -05:00
bors
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
bors
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
Christian Poveda
0df7a728c6 Update readme 2019-08-06 15:47:57 -05:00
Ralf Jung
e8d956c4fa add getrandom bug 2019-08-04 15:09:13 +02:00
Ralf Jung
40d647a060 test-miri is no longer a thing 2019-07-31 15:29:56 +02:00
Ralf Jung
fcbdd2c864 move CI remark down to CI section 2019-07-30 17:04:57 +02:00
Ralf Jung
b1ba07b0ca call out more clearly what we do not test; update paragraph on intptrcast 2019-07-30 11:23:56 +02:00
Ralf Jung
e843077d1d link to UB definition 2019-07-25 19:38:55 +02:00
Ralf Jung
59fa7c2cf5 readme: move flags and env vars up above dev 2019-07-24 14:18:42 +02:00
Ralf Jung
068517ae66 make sure we always have an RNG 2019-07-23 21:38:53 +02:00
Ralf Jung
4cbd31220b update README about what we do not support 2019-07-14 09:34:08 +02:00
Ralf Jung
eb4128fb42 don't call Stacked Borrows hooks at all when validation is disabled 2019-07-03 10:47:28 +02:00
Ralf Jung
e8e42ab5ec add another bug we found to the list 2019-07-02 09:51:16 +02:00
Ralf Jung
cb6d4f0c9a test even more size-alignment combinations. found a bug in libstd! 2019-06-30 21:23:48 +02:00
Ralf Jung
7a6438ada6 add snippet for running Miri on CI 2019-06-25 10:05:34 +02:00
Ralf Jung
118274f300 README: mention to cargo update, mention rustup-toolchain-install-master 2019-06-13 08:43:35 +02:00
Ralf Jung
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
Ralf Jung
cf96396fcc make miri script smarter: auto-determine MIRI_SYSROOT, handle MIRI_TEST_TARGET 2019-05-27 14:41:44 +02:00
Ralf Jung
6420293af4 adjust readme to miri build script 2019-05-27 12:59:52 +02:00
Ralf Jung
ff6f101074 add more bugs that Miri found 2019-05-24 10:09:23 +02:00
Ralf Jung
df36c2bb7d expand explanation of how we treat validity invariants 2019-05-20 09:32:01 +02:00
Ralf Jung
f9cf78d685 trophy case: add rand; separate definite bugs from stacked-borrows-is-not-yet-official bugs 2019-04-26 09:08:30 +02:00
Ralf Jung
0d53178d5b
Merge branch 'master' into dev 2019-04-21 10:57:49 +02:00
Ralf Jung
a20719cec6 add section on the no MIR error 2019-04-20 18:36:43 +02:00
Ralf Jung
677bd6f656 add LinkedList test and mention the bug Miri found there 2019-04-19 23:08:24 +02:00
Ralf Jung
bf6b7aa550 rewirte development part of README 2019-04-19 19:53:42 +02:00
Ralf Jung
d7bcaab737 document -Zmiri-seed 2019-04-17 08:20:02 +02:00
Ralf Jung
916221b0a4
Merge branch 'master' into patch-1 2019-04-06 10:26:27 +01:00
Ralf Jung
31bc4355aa adjust README 2019-04-04 10:21:32 +01:00
Timo
7d6c8ad24b
README: Fix missing link
Thanks for your patience 🤦‍♂️
2019-03-31 14:52:57 -04:00
Timo
d54f9dc75c README: Update to RalfJung's suggestion...
...verbatim. Thanks :)
2019-03-31 11:33:41 -04:00
Timo
67e123502c
README: Suggest using a previous nightly, revert other approach 2019-03-31 10:03:03 -04:00
Timo
d5cdba5ee6
Add alternative for how to install if rustup fails
As is the case now: https://rust-lang-nursery.github.io/rust-toolstate/
2019-03-30 17:53:15 -04:00
0xflotus
1100b4819c
fixed environment 2019-03-28 11:47:51 +01:00
Ralf Jung
63b4a7661d explain Miri limitations 2019-03-26 10:08:22 +01:00
Ralf Jung
90dac3d4bd update README to suggest installing Miri as a component 2019-03-25 22:50:22 +01:00
Ralf Jung
8c74325441 mention --exclude-should-panic 2019-03-10 17:53:30 +01:00
Ralf Jung
2ef399979b README 2019-03-08 10:51:35 +01:00
Alexander Regueiro
12d3ecbaff Various cosmetic improvements. 2019-02-26 18:37:46 +00:00
Taiki Endo
441442e071 Update some links 2019-02-23 19:56:29 +09:00
Ralf Jung
a4c852ddfe link to bug list from intro 2019-02-15 10:43:27 +01:00
Ralf Jung
a3eae6c8ab collect some bugs that we found 2019-02-15 10:41:25 +01:00
Ralf Jung
866aeaecfc explain arument passing in the docs 2019-02-09 20:00:40 +01:00
Ralf Jung
08180f07ba update docs 2019-02-07 14:44:30 +01:00
Ralf Jung
f3becd810e explain how to run cargo miri with a locally compiled rustc 2019-02-05 21:35:15 +01:00
Ralf Jung
7dbd23626e update development instructions in README 2019-02-05 15:03:11 +01:00
Ralf Jung
1cda220b4b fix install command 2018-12-28 18:16:55 +01:00
Ralf Jung
d8c9c9dd4f update README for some tracing being available on nightlies 2018-12-23 14:21:15 +01:00
Ralf Jung
adba97e4b2 document the cargo-miri feature 2018-12-19 11:16:19 +01:00
Ralf Jung
61c0df7930 remove outdated README comment 2018-12-19 11:05:15 +01:00
Ralf Jung
8ec371747a do not auto-detect the targets in the sysroot, instead specify target manually through env var 2018-12-12 11:03:42 +01:00
Ralf Jung
4d767e1f41 MIRI_SYSROOT is no longer needed for development agains a locally built rustc 2018-12-10 10:10:03 +01:00
Ralf Jung
3478c0c1e6 update contact channels 2018-11-30 22:23:20 +01:00
Ralf Jung
5032560eaa add link within document 2018-11-30 09:31:09 +01:00
Ralf Jung
86e6470a12 update README to first describe the usual user setup, and to always set up a proper libstd 2018-11-30 09:23:44 +01:00
Ralf Jung
b72398de74 fix README install instructions 2018-11-27 14:48:46 +01:00
Ralf Jung
fbd7d119ae use new dir for CI and docs 2018-11-27 13:12:55 +01:00
Ralf Jung
9dd0048e66 install directly from git repo 2018-11-27 08:16:58 +01:00
Ralf Jung
cc4dd29f54 kill xargo dir and update docs 2018-11-27 08:16:58 +01:00
Steve Klabnik
733f675bcc
fix cargo invocation in the readme 2018-11-16 15:14:44 -05:00
Ralf Jung
827e5180f2 stacked borrows is broken without full MIR 2018-11-16 10:01:54 +01:00
Ralf Jung
bf3e376049 move slide and report links to history 2018-11-14 08:23:43 +01:00
Ralf Jung
8368fe89bc miri history 2018-11-13 14:16:08 +01:00
Ralf Jung
c81e45f73a add a description of what miri can do for you 2018-11-13 13:31:35 +01:00
Ralf Jung
f37fc5eb7a cargo miri test currently does not work 2018-11-12 20:20:35 +01:00
Ralf Jung
45e14f8dc5 use custom test runner so that we can get proper test filtering 2018-11-09 11:50:34 +01:00
Ralf Jung
8f811fe12f update README 2018-10-31 10:16:50 +01:00
Ralf Jung
8f9ca242fa expand -Z flag docs 2018-10-24 15:32:51 +02:00
Ralf Jung
86aa8352c6 Work on miri installation and usage instructions 2018-10-24 15:29:48 +02:00
Andrew Poelstra
5347411a2d README: remove "specific nightly" instructions and use +nightly throughout
Also replace `cargo miri test` with `cargo miri` in general examples.
2018-10-23 15:22:14 +00:00
Andrew Poelstra
abda1a8ebb rename rust-toolchain to rust-version; add note to README about usage 2018-10-23 15:22:14 +00:00
Andrew Poelstra
3dcf655eea readme: pull "common problems" into their own section 2018-10-23 15:22:14 +00:00
Andrew Poelstra
f77b292948 added line indicating that build.sh and cargo miri need the same toolchain 2018-10-23 15:22:14 +00:00
Andrew Poelstra
95f740600c improve README instructions for using rustup and for compiling separate Cargo projects 2018-10-23 15:22:14 +00:00
Ralf Jung
f5e3cdbf03 explain our flags in the README 2018-10-16 17:58:31 +02:00
Ralf Jung
c4c8c60279 update README: 'cargo miri' with full MIR; consistent capitalization 2018-08-14 09:41:04 +02:00
Ralf Jung
1ec8728325 document and fully use rust-toolchain file 2018-08-14 00:58:43 +02:00
Ralf Jung
444d97fc7d fix vecs.rs path 2018-07-22 09:51:23 +02:00
Ralf Jung
2a29ed0142 use default-run 2018-07-22 09:48:49 +02:00
Ralf Jung
a39f25c813 update rustc build instructions to mention keep-stage
Also move them further down because it is probably less relevant than some of
the other stuff.
2018-07-15 23:18:36 +02:00
Ralf Jung
473c50405d refine rustc build instructions 2018-07-14 11:02:09 +02:00
Ralf Jung
105f7e7fb2 update debugging instructions in the README 2018-07-12 14:27:03 +02:00
Ralf Jung
5f2f254695 move tests that no longer need MIR out of fullmir 2018-07-12 10:22:23 +02:00
Ralf Jung
dd7cc47e5c document -Zmiri-start-fn; make its logic more clear 2018-07-11 19:39:09 +02:00
king6cong
3d1332d7f8 update README.md 2017-09-30 15:07:07 +08:00
Ralf Jung
44fac716a6 fix AppVeyor URL 2017-09-18 11:17:21 +02:00
Ralf Jung
bf890b99dd README: show AppVeyor status 2017-09-18 11:13:01 +02:00
David Renshaw
86d31fa09c update xargo usage example for new location of vecs.rs 2017-06-22 17:44:20 +09:00
Ralf Jung
7504512cbd rustup 1.4 fixed the permissions of the extracted files 2017-06-11 17:24:38 -07:00
Ralf Jung
44a45f7c34 run test suite also against libstd with full MIR 2017-05-31 13:39:40 -07:00
Ralf Jung
d06c165368 simplify xargo instructions 2017-05-30 18:12:06 -07:00
Ralf Jung
cdf7a057f1 latest rust nightly contains all the bits needed to re-compile libstd 2017-05-30 13:25:45 -07:00