mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3,276 Commits 2 Branches 0 Tags 1.4 GiB
9f24c12624
Commit Graph

3276 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
bors
f463621a90 Auto merge of #878 - RalfJung:rustup, r=RalfJung 
Rustup for error changes
 2019-08-03 08:36:58 +00:00
Ralf Jung
312b546026 bump Rust 2019-08-03 10:26:15 +02:00
Ralf Jung
8071034b93 fix for error refactoring 2019-08-03 10:25:55 +02:00
Christian Poveda
ff2001040f Add shim for ldexp 2019-08-02 15:46:28 -05:00
bors
079b53e70e Auto merge of #875 - RalfJung:miri-rustc, r=RalfJung 
honor CARGO env var (for rustc bootstrap)
 2019-08-02 16:04:16 +00:00
Ralf Jung
0dab3d5ee1 honor CARGO env var (for rustc bootstrap) 2019-08-02 18:02:54 +02:00
bors
2f5ef735cf Auto merge of #874 - RalfJung:zst, r=RalfJung 
test dangling ZST deref

Fixes https://github.com/rust-lang/miri/issues/582.
 2019-08-02 12:27:55 +00:00
Ralf Jung
2973063fa3 test dangling ZST deref 2019-08-02 14:26:15 +02:00
bors
f0e871785f Auto merge of #870 - RalfJung:miri-rustc, r=oli-obk 
Prepare Miri for rustc bootstrap building a separate libstd for it
 2019-08-02 08:08:35 +00:00
bors
e00fa966ac Auto merge of #872 - RalfJung:retag-shallow, r=oli-obk 
Make Retag shallow

A shallow retag does not traverse into fields of compound typed to search for references to retag. It only retags "top-level"/"bare" references (and boxes).

This helps with https://github.com/rust-lang/unsafe-code-guidelines/issues/125 because it also means that we do not add protectors for references passed in fields of a struct (or other compound types). Until we know what the rules should be for protectors, I prefer to be less aggressive about what we are rejecting.
This also matches our work-in-progress Coq formalization.
 2019-08-02 07:40:02 +00:00
Ralf Jung
30fb027f33 comment 2019-08-02 08:38:22 +02:00
Ralf Jung
3318657eaf test Ref/RefMut protector interactions 2019-08-02 08:15:52 +02:00
Ralf Jung
c4c2716f4e make reborrow shallow, and fix tests for that 2019-08-02 08:09:22 +02:00
Ralf Jung
40d647a060 test-miri is no longer a thing 2019-07-31 15:29:56 +02:00
Ralf Jung
6c545ba340 the compile-fail-norustc hack is no longer needed 2019-07-31 15:29:55 +02:00
Ralf Jung
56630e0ff0 bootstrap no longer carries a copy of these flags 2019-07-31 15:15:31 +02:00
Ralf Jung
d213c64d85 let the user skip the sysroot consistency check 2019-07-31 15:15:14 +02:00
bors
5bbf6733ea Auto merge of #869 - RalfJung:tests, r=oli-obk 
test suite: be fine with warnings when running on rustc CI

r? @oli-obk
 2019-07-31 11:54:00 +00:00
Ralf Jung
a414492cc7 reorder for clarity 2019-07-31 13:48:49 +02:00
Ralf Jung
edf7d1c30c dedup code a bit 2019-07-31 13:48:15 +02:00
Ralf Jung
6dadb94101 test suite: be fine with warnings when running on rustc CI 2019-07-31 13:44:55 +02:00
bors
e276676f0c Auto merge of #868 - JohnTitor:adjust-async-await-test, r=RalfJung 
Remove `await_macro`

`await_macro` is now unsupported so we should remove it.
Failed in https://github.com/rust-lang/rust/pull/63141

r? @RalfJung
 2019-07-31 08:09:12 +00:00
Yuki Okushi
af7570fced Remove await_macro 2019-07-31 16:42:38 +09:00
bors
0347e1bd69 Auto merge of #867 - RalfJung:readme, r=RalfJung 
README: move CI remark down to CI section
 2019-07-30 21:17:48 +00:00
Ralf Jung
6902461226 AppVeyor: retry download 2019-07-30 23:17:13 +02:00
Ralf Jung
fcbdd2c864 move CI remark down to CI section 2019-07-30 17:04:57 +02:00
bors
effffd8ea2 Auto merge of #865 - RalfJung:readme, r=oli-obk 
README: call out more clearly what we do not test

also update paragraph on intptrcast
 2019-07-30 09:46:54 +00: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
bors
5aa730803e Auto merge of #862 - RalfJung:rustup, r=RalfJung 
bump Rust

My hypothesis is that this will replicate https://travis-ci.com/rust-lang/miri/jobs/220221687 (so we know which commit range caused it).
 2019-07-29 10:39:58 +00:00
Ralf Jung
87f20fede5 adjust for slice pattern changes 2019-07-29 10:21:59 +02:00
Ralf Jung
784ad6953e bump Rust 2019-07-29 10:07:29 +02:00
bors
a49ef8b019 Auto merge of #861 - RalfJung:rustup, r=RalfJung 
bump Rust (no changes needed)

This is mostly to confirm that this still all works fine.
 2019-07-28 08:35:51 +00:00
Ralf Jung
070d1cd08d bump Rust (no changes needed) 2019-07-28 10:35:23 +02:00
bors
c86e247728 Auto merge of #860 - RalfJung:rustup, r=RalfJung 
bump Rust
 2019-07-26 20:50:48 +00:00
Ralf Jung
faadb86159 bump Rust 2019-07-26 22:50:01 +02:00
bors
d32a87a11d Auto merge of #858 - RalfJung:rustup, r=RalfJung 
bump Rust
 2019-07-26 08:16:07 +00:00
Ralf Jung
8bec925e04 bump Rust 2019-07-26 10:14:44 +02:00
bors
e59f9cb259 Auto merge of #857 - RalfJung:readme, r=RalfJung 
link to UB definition
 2019-07-25 17:40:32 +00:00
Ralf Jung
e843077d1d link to UB definition 2019-07-25 19:38:55 +02:00
bors
10628169f5 Auto merge of #853 - RalfJung:readme, r=RalfJung 
readme: move flags and env vars up above dev
 2019-07-24 18:19:40 +00:00
bors
7ef4097915 Auto merge of #854 - lzutao:warn-idioms, r=RalfJung 
build: Warn if not use 2018 idioms

As requested in https://github.com/rust-lang/miri/pull/852#issuecomment-514612244
 2019-07-24 14:44:13 +00:00
Lzu Tao
e6a677fe63 build: Warn if not use 2018 idioms 2019-07-24 21:24:26 +07:00
bors
aadff8560b Auto merge of #852 - lzutao:rustup, r=RalfJung 
build: Fix build after rust-lang/rust#60951
 2019-07-24 13:05:55 +00:00
Ralf Jung
59fa7c2cf5 readme: move flags and env vars up above dev 2019-07-24 14:18:42 +02:00
bors
310649bb8e Auto merge of #851 - RalfJung:intrptrcast-by-default, r=oli-obk 
enable Intrptrcast by default

As laid out in https://github.com/rust-lang/miri/issues/785: we change Miri to always have an RNG, seeded per default with 0. Then we adjust everything to remove dead code and dead tests.

r? @oli-obk
Cc @christianpoveda
 2019-07-24 08:26:02 +00:00
Ralf Jung
758d88bbf9 explain better what is non-deterministic here 2019-07-24 08:57:05 +02:00
Lzu Tao
fd71fbea0f build: Fix build after rust-lang/rust#60951 2019-07-24 07:45:34 +07:00
Ralf Jung
85be8ab8eb fix non-deterministic test 2019-07-23 23:48:28 +02:00
Ralf Jung
724cf41eb1 use checked arithmetic in intrptrcast 2019-07-23 23:43:37 +02:00
Ralf Jung
d5ca345c36 remove redundant tests / flags 2019-07-23 23:26:25 +02:00