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 |
|