Commit Graph

2652 Commits

Author SHA1 Message Date
Ralf Jung
f0c1f18314
Merge pull request #501 from RalfJung/travis
rewrite cargo-miri test in Python
2018-10-30 15:29:45 +01:00
Ralf Jung
8fe51ca669 try to find python3 on macOS 2018-10-30 15:07:40 +01:00
Ralf Jung
f6b1f9e487 rewrite cargo-miri test in Python 2018-10-30 11:26:53 +01:00
Ralf Jung
9c57f2ba35
Merge pull request #492 from solson/rustup
Stacked Borrows NG
2018-10-30 11:05:56 +01:00
Ralf Jung
1fa0ff88c0 fix nits 2018-10-30 10:41:01 +01:00
Ralf Jung
9c9552260c test cargo-miri without validation, and fix how we invoke it so we see output in case of failure 2018-10-30 10:40:28 +01:00
Ralf Jung
6cbe280094 Merge remote-tracking branch 'origin/master' into rustup 2018-10-30 09:40:18 +01:00
Ralf Jung
a48b2cc4e9 disable validation for some tests that need further investigation 2018-10-30 09:40:01 +01:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
af05d1d397
Merge pull request #499 from RalfJung/test-opt
MIR optimization level 3 works again :)
2018-10-30 09:22:59 +01:00
Ralf Jung
942204ee32 bump Rust version 2018-10-30 08:40:50 +01:00
Ralf Jung
559f63a2b6 Merge remote-tracking branch 'origin/master' into rustup 2018-10-30 08:40:30 +01:00
Ralf Jung
cba30e8e8b opt level 3 works again :) 2018-10-29 11:51:22 +01:00
Ralf Jung
f86c706df2
Merge pull request #498 from RalfJung/rustup
Update for generate_stacktrace return type change
2018-10-29 10:04:41 +01:00
Ralf Jung
f7741bcfe0 bump compiletest 2018-10-29 09:15:58 +01:00
Ralf Jung
4ccdcdcace rustup 2018-10-29 09:15:15 +01:00
Ralf Jung
4a98f64142 Merge remote-tracking branch 'origin/master' into rustup 2018-10-26 15:06:21 +02:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
09a3f7265e
Merge pull request #495 from RalfJung/no-null
Avoid using is_null
2018-10-25 12:31:17 +01:00
Ralf Jung
d890a70c39 update for is_null removal 2018-10-25 11:37:42 +02:00
Oliver S̶c̶h̶n̶e̶i̶d̶e̶r Scherer
c02988b1c3
Merge pull request #494 from RalfJung/readme
update README
2018-10-24 17:01:38 +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
Ralf Jung
1cbed5ca35
Merge pull request #483 from apoelstra/2018-10-readme
improve README instructions for using `rustup` and for compiling separate crates
2018-10-24 15:07:22 +02:00
Ralf Jung
a34b9c7b70 make some things public for the benefit of priroda 2018-10-24 11:39:31 +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
356369dd08 test against passing invalid shared refs around 2018-10-23 16:01:22 +02:00
Ralf Jung
5388037f8a remove code duplication by letting reactivatable() compute what reactivate() has to do 2018-10-23 15:59:50 +02:00
Ralf Jung
fe83ef323c also run compile-fail tests with and without optimizations 2018-10-23 13:09:17 +02:00
Ralf Jung
cc328f6374 test passing invalid refs around 2018-10-23 11:20:04 +02:00
Ralf Jung
25d7e1937e
Merge pull request #487 from solson/rustup
Rustup
2018-10-22 20:42:58 +02:00
Ralf Jung
8cd73e534f use as(_mut)_ptr on slices to entirely escape them to raw 2018-10-22 18:51:06 +02:00
Ralf Jung
44b3c38b44 make sure raw ptrs only have to be valid as far as they are used 2018-10-22 18:34:48 +02:00
Ralf Jung
26bb4f79dc get rid of implicit Raw at bottom of stack; locals get a uniq at their bottom 2018-10-22 18:17:37 +02:00
Ralf Jung
01828fde53 respect memory's privacy 2018-10-22 16:48:10 +02:00
Ralf Jung
fda03e9d7d some more compile-fail tests 2018-10-22 16:48:10 +02:00
Ralf Jung
dd1558f337 rustc update and be very selective about what we accept on a deref 2018-10-22 16:48:09 +02:00
Ralf Jung
1ae1b9bfea adapt to rustc API changes and factor out computing the tag for ty+mutbl 2018-10-22 16:45:03 +02:00
Ralf Jung
1a7fb7ec3c expand comment about incomplete support for interior mutability 2018-10-22 12:51:47 +02:00
Ralf Jung
0b22a1c9d9 env vars should work on macOS 2018-10-22 09:04:32 +02:00
Ralf Jung
fdb3022a11 env vars are only available with full MIR 2018-10-22 08:41:48 +02:00
Ralf Jung
41eabb658e bump Rust version 2018-10-22 08:41:06 +02:00
Ralf Jung
957d18c343 Merge remote-tracking branch 'origin/master' into rustup 2018-10-22 08:41:01 +02:00
Ralf Jung
bbb1d80703 disable env var test on macOS, win 2018-10-21 01:31:46 +02:00
Ralf Jung
53dc505592
Merge pull request #488 from RalfJung/start-fn
Automatically use start-fn if we have all the MIR
2018-10-19 13:47:56 +02:00
Ralf Jung
8134918390 don't use NOTE in tests 2018-10-19 12:29:49 +02:00
Ralf Jung
069b661a10 typo 2018-10-19 10:09:53 +02:00
Ralf Jung
0b6e349417 automalically use start-fn if we have all the MIR 2018-10-19 10:07:17 +02:00