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

3600 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
bors
60c75092de Auto merge of #1113 - RalfJung:vtable, r=RalfJung 
add test for sketchy vtable

Blocked on https://github.com/rust-lang/rust/pull/67254
 2019-12-14 11:06:24 +00:00
Ralf Jung
bbd512d52f bump Rust 2019-12-14 12:06:01 +01:00
Ralf Jung
f0d43872ad add test for sketchy vtable 2019-12-13 13:19:48 +01:00
bors
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
Oliver Scherer
8d409a7b59
Update README.md 
Co-Authored-By: Ralf Jung <post@ralfj.de>
 2019-12-10 14:47:28 +01:00
Oliver Scherer
817f4159a2 Use the machine stop error instead of abusing other error kinds 2019-12-09 14:29:28 +01:00
bors
4ebc0306ec Auto merge of #1111 - MarkusPettersson98:rustup-1.21-yaml, r=RalfJung 
Updated CI config to reflect deprecation of rustup uninstall

In the same spirit as #1110 😄

This PR from the rustup repository brought me here: https://github.com/rust-lang/rustup/issues/2148

TL;DR With rustup 1.21.0 `rustup install` and `rustup uninstall` are being deprecated in favor of `rustup toolchain install` and `rustup toolchain uninstall`. There's plenty of code/documentation out there that needs to be updated to reflect this.

Thought It would be cool to help, however small the change may be. :)

Keep up the great work!
 2019-12-08 13:37:35 +00:00
bors
ea59d6a569 Auto merge of #1110 - MarkusPettersson98:master, r=RalfJung 
Updated README to reflect deprecation of rustup install

This PR from the rustup repository brought me here: https://github.com/rust-lang/rustup/issues/2148

TL;DR With rustup 1.21.0 `rustup install` and `rustup uninstall` are being deprecated in favor of `rustup toolchain install` and `rustup toolchain uninstall`. There's plenty of code/documentation out there that needs to be updated to reflect this.

Thought It would be cool to help, however small the change may be. :)

Keep up the great work!
 2019-12-08 13:19:03 +00:00
Oliver Scherer
7cd0d7f152 Remove a flaky test 2019-12-08 12:20:51 +01:00
Oliver Scherer
acb43f80fd Document the new flag 2019-12-08 12:20:51 +01:00
Oliver Scherer
eab2538317 Rename track-id to track-pointer-tag 2019-12-08 12:20:51 +01:00
Oliver Scherer
67417945d4 Detect all variants of stack removals 2019-12-08 12:20:51 +01:00
Oliver Scherer
a0de213e42 Vocabulary fix 2019-12-08 12:20:51 +01:00
Oliver Scherer
d363a47fcb Add a scheme to find the place where an id was destroyed 2019-12-08 12:20:51 +01:00
Markus Pettersson
c9e7fe8b8c Updated CI config to reflect deprecation of rustup uninstall 2019-12-08 11:23:56 +01:00
Markus Pettersson
ef37a4c158 Updated README to reflect deprecation of rustup install 2019-12-08 11:12:25 +01:00
bors
048af40923 Auto merge of #1109 - RalfJung:track-caller, r=RalfJung 
add caller_location tests to Miri

The CTFE implementation seems to also work fine in Miri -- thanks a lot @anp :)
 2019-12-08 10:07:52 +00:00
Ralf Jung
b0a205ce6f add caller_location tests to Miri 2019-12-08 11:06:35 +01:00
bors
00c8019720 Auto merge of #1108 - RalfJung:rustup, r=RalfJung 
rustup
 2019-12-08 09:33:22 +00:00
Ralf Jung
67151a712d rustup 2019-12-08 10:32:50 +01:00
bors
ab39e09b82 Auto merge of #1107 - RalfJung:rustup, r=RalfJung 
bump Rust, fix error messages
 2019-12-08 00:46:35 +00:00
Ralf Jung
cefc592273 bump Rust, fix error messages 2019-12-08 01:45:41 +01:00
bors
3cc6795418 Auto merge of #1106 - RalfJung:memleak-ignore, r=RalfJung 
add flag to ignore memory leaks
 2019-12-07 18:04:14 +00:00
Ralf Jung
0a63637e66 fix all-targets build 2019-12-07 19:04:05 +01:00
bors
74c3ea5935 Auto merge of #1105 - RalfJung:readme, r=oli-obk 
better way to ignore tests in Miri

This is better because it avoids warnings due to unused imports (the ignored tests still get compiled, just not executed).
 2019-12-07 15:03:57 +00:00
Ralf Jung
e92d16d9cd add flag to ignore memory leaks 2019-12-07 13:44:48 +01:00
Ralf Jung
b883c11caa use recommended test exclusion technique in test 2019-12-07 11:55:19 +01:00
Ralf Jung
1a8755384e better way to ignore tests in Miri 2019-12-07 11:43:30 +01:00
bors
754c4a4f6d Auto merge of #1104 - RalfJung:readme, r=oli-obk 
update README

r? @oli-obk
 2019-12-06 08:57:18 +00:00
Ralf Jung
e0619b717c wording 2019-12-06 09:31:40 +01:00
Ralf Jung
f02643001f README: Miri now supports panics and FS access 2019-12-06 09:31:40 +01:00
bors
b84d77be4f Auto merge of #1103 - RalfJung:no-recompile, r=RalfJung 
avoid recompiling Miri on install
 2019-12-06 07:27:43 +00:00
Ralf Jung
87fb5db526 avoid recompiling Miri on install 2019-12-06 08:27:15 +01:00
bors
a0ba079b6a Auto merge of #1102 - RalfJung:rsutup, r=RalfJung 
rustup for find_fn rename
 2019-12-04 22:32:07 +00:00
Ralf Jung
edac086f1c rustup for find_fn rename 2019-12-04 23:31:39 +01:00
bors
878bb4d78f Auto merge of #1100 - RalfJung:os_str, r=RalfJung 
rename helper methods a bit
 2019-12-04 09:44:29 +00:00
Ralf Jung
94732aaf7b rename helper methods a bit 2019-12-04 10:43:36 +01:00
bors
53fcf47e72 Auto merge of #1099 - RalfJung:os_str, r=RalfJung 
tweak and use OsStr interfaces
 2019-12-04 09:17:03 +00:00
Ralf Jung
01f060b6da avoid allocation in read_os_string_from_c_string 2019-12-04 10:16:08 +01:00
Ralf Jung
808ac8f4b9 use write_os_str_to_c_string for unix arg passing 2019-12-04 09:58:10 +01:00
bors
6e49f4a93a Auto merge of #1093 - RalfJung:throw-machine-stop, r=RalfJung 
use throw_machine_stop macro

Blocked on https://github.com/rust-lang/rust/pull/66951
 2019-12-03 22:39:19 +00:00
Ralf Jung
07af5c9ffc rustup 2019-12-03 23:38:41 +01:00
Ralf Jung
ab000997db use throw_machine_stop macro 2019-12-03 23:31:44 +01:00
bors
c388361cc2 Auto merge of #1097 - RalfJung:rustup, r=RalfJung 
bump Rust for exact_div fix
 2019-12-03 16:38:20 +00:00
Ralf Jung
6d8e87111b bump Rust for exact_div fix 2019-12-03 17:37:42 +01:00
bors
3f27d8cad6 Auto merge of #1096 - RalfJung:rustup, r=RalfJung 
Rustup

bump Rust to latest HEAD
 2019-12-03 07:48:28 +00:00
Ralf Jung
ebe5a51336 bump Rust to HEAD 2019-12-03 08:22:09 +01:00
bors
95f80403bf Auto merge of #1094 - Aaron1011:rustup-body, r=RalfJung 
Rustup for `BodyCache` changes
 2019-12-03 07:20:20 +00:00
Aaron Hill
a418fe9826
Rustup for BodyCache changes 2019-12-02 20:21:03 -05:00
bors
913226a174 Auto merge of #1084 - RalfJung:assert-panic, r=RalfJung 
proper support for `Assert` MIR terminators

Fixes https://github.com/rust-lang/miri/issues/1070
Blocked on https://github.com/rust-lang/rust/pull/66874
 2019-12-02 15:48:42 +00:00