mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
5,661 Commits 2 Branches 0 Tags 1.4 GiB
50b9b701ab
Commit Graph

5661 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Vytautas Astrauskas
72ca2a7a85 Attempt to fix #1763 by asking the scheduler to retry choosing an operation. 2021-04-10 20:23:32 +02:00
bors
1ae7bfc6c6 Auto merge of #1770 - RalfJung:no_run, r=RalfJung 
make sure that we truly do not run no_run doctests
 2021-04-10 13:11:05 +00:00
Ralf Jung
2decc78db9 make sure that we truly do not run no_run doctests 2021-04-10 14:20:06 +02:00
Ralf Jung
eaba4b2d2a remove compatibility code for passing miri flags via cargo arguments 2021-04-10 14:07:46 +02:00
bors
ccbef9c69f Auto merge of #1768 - RalfJung:readme, r=RalfJung 
add the bad doctests we found to the trophy case
 2021-04-10 10:35:21 +00:00
Ralf Jung
87882f2c6a add the bad doctests we found to the trophy case 2021-04-10 12:33:18 +02:00
bors
7c66eaf9f1 Auto merge of #1766 - RalfJung:dropped-temporary, r=RalfJung 
add test to detect dropped temporary

Let's make sure we catch this kind of error.
 2021-04-10 10:10:27 +00:00
Ralf Jung
21968aa53b add test to detect dropped temporary 2021-04-10 12:09:10 +02:00
bors
d0a4b5d5cc Auto merge of #1765 - rust-lang:rustup, r=RalfJung 
rustup

Looks like we haven't had one of these in a bit.
 2021-04-10 09:03:11 +00:00
Ralf Jung
aa3bc06f0f rustup 2021-04-10 11:00:41 +02:00
bors
b9b2af9729 Auto merge of #1764 - RalfJung:readme, r=RalfJung 
fix typo in README

"you program" → "your program"
 2021-04-09 09:29:48 +00:00
Ralf Jung
0a7a41f6ad fix typo in README 2021-04-09 11:24:33 +02:00
bors
1ec52abb48 Auto merge of #1761 - hyd-dev:build-rs-proc-macro-no-default-args, r=RalfJung 
Don't use `MIRI_DEFAULT_ARGS` to compile host crates

They (specifically, `--cfg=miri`) may cause procedural macros (and probably build scripts) to depend on Miri-only symbols, such as `miri_resolve_frame`.

This PR makes `miri` detect host crates inspecting the value of the `MIRI_BE_RUSTC` environment variable (`target` -> target crate, `host` -> host crate, other -> panic) and skip the insertion of `MIRI_DEFAULT_ARGS` if it's a host crate.

Fixes #1760
 2021-04-08 17:07:15 +00:00
hyd-dev
3dff1d4fcd
Don't use MIRI_DEFAULT_ARGS to compile host crates 2021-04-09 00:57:59 +08:00
bors
7b2e325728 Auto merge of #1759 - RalfJung:readme, r=RalfJung 
mention 'cargo miri test filter' in README

Also update the "unsupported" example to something that is actually unsupported.
 2021-04-07 08:10:37 +00:00
Ralf Jung
a760aab828 mention 'cargo miri test filter' in README 2021-04-07 10:09:42 +02:00
bors
685ad70647 Auto merge of #1757 - RalfJung:rustdoc, r=RalfJung 
add rustdoc support

`@teryror` did all the work in https://github.com/rust-lang/miri/pull/1671; I just finished things up and fixed conflicts. Also thanks to `@hyd-dev` for preemptively fixing a sysroot issue that would have taken me some time to diagnose.

Fixes https://github.com/rust-lang/miri/issues/584
 2021-04-06 08:41:11 +00:00
Ralf Jung
2f6dff6da8 nits and fix non-deterministic test output 2021-04-05 13:18:59 +02:00
Ralf Jung
f9bd6b0756 nits; test running no doctests 2021-04-05 12:46:36 +02:00
Ralf Jung
e66a89c8af avoid some dead code and test no_run tests 2021-04-05 12:37:22 +02:00
Ralf Jung
29bc8a57b0 add test for compile_fail; de-duplicate sysroot forwarding 2021-04-05 12:16:31 +02:00
hyd-dev
65597951b7 Fix sysroot for rustdoc 2021-04-05 11:56:13 +02:00
Ralf Jung
9083e00b2c resolve semantic conflicts 2021-04-05 11:55:53 +02:00
Ralf Jung
dd393f21c7 make attempt to cross-interpret a hard error 2021-04-05 11:48:37 +02:00
Tristan Dannenberg
4fccde54ac make cargo-miri run doc-tests 2021-04-05 11:48:17 +02:00
bors
28f813f4d3 Auto merge of #1756 - RalfJung:getrandom, r=RalfJung 
also test old getrandom

getrandom 0.1 is still in use, so let's make sure it also still works with Miri.
 2021-04-04 13:36:30 +00:00
Ralf Jung
84f44900f4 also test old getrandom 2021-04-04 15:35:19 +02:00
bors
9c41b8b1cb Auto merge of #1755 - RalfJung:cargo-update, r=RalfJung 
'cargo update' all the things

Also add a test directly calling `getrandom`.
 2021-04-04 10:06:58 +00:00
Ralf Jung
3d15e47441 bump test-cargo-miri dependencies 2021-04-04 12:03:52 +02:00
Ralf Jung
8e661cc47e bump cargo-miri dependencies 2021-04-04 12:01:32 +02:00
Ralf Jung
31bd77c7d8 bump miri dependencies 2021-04-04 11:48:20 +02:00
Ralf Jung
20e31dbdad fix newer getrandom on Windows 2021-04-04 11:41:04 +02:00
Ralf Jung
0f7c01527a 'cargo update' all the things 2021-04-04 11:11:19 +02:00
Ralf Jung
650411492c also test getrandom directly 2021-04-04 11:09:40 +02:00
bors
2cdd1744b8 Auto merge of #1753 - RalfJung:rustup, r=RalfJung 
rustup
 2021-03-28 00:37:44 +00:00
Ralf Jung
de0f3f930b rustup 2021-03-28 01:36:41 +01:00
bors
3e4ad366fc Auto merge of #1752 - RalfJung:rustup, r=RalfJung 
rustup

Just making sure that https://github.com/rust-lang/rust/pull/83445 indeed fixed our cron job failures.
 2021-03-25 11:45:11 +00:00
Ralf Jung
585e51aabd disable MIR opts for ZST-related tests 2021-03-25 12:44:30 +01:00
Ralf Jung
726495f489 rustup 2021-03-25 12:17:02 +01:00
bors
91aeb04408 Auto merge of #1748 - jrvanwhy:track-raw-pointers-doc, r=RalfJung 
Improvements to the README item on `-Zmiri-track-raw-pointers`.

[Rendered](https://github.com/jrvanwhy/miri/tree/track-raw-pointers-doc)

Minor change: I changed the quotes around `<untagged>` into backticks, so they render correctly in markdown.

~~Significant change: I documented that `-Zmiri-track-raw-pointers` is a strictly more restrictive model that "normal" Stacked Borrows. **I am not confident this change is correct, please verify it.** If this change is not correct, let me know, and I'll update this PR to document that :-)~~

EDIT: I was wrong, `-Zmiri-track-raw-pointers` may not be strictly more restrictive. I added the following sentence to prevent others from making the same assumption that I did:

> Note that it is not currently guaranteed that code that works with `-Zmiri-track-raw-pointers` also works without `-Zmiri-track-raw-pointers`.
 2021-03-25 08:27:25 +00:00
Johnathan Van Why
12005612ab
README.md: Apply RalfJung's suggestion 
`-Zmiri-track-raw-pointers` isn't *much* more restrictive than normal Stacked Borrows.

Co-authored-by: Ralf Jung <post@ralfj.de>
 2021-03-24 16:20:54 -07:00
bors
b3f81fc610 Auto merge of #1750 - hyd-dev:rustup, r=RalfJung 
Remove `#![feature(or_patterns)]`

Fix a warning on CI: https://github.com/rust-lang/miri/runs/2173037929#step:8:59
 2021-03-23 09:08:26 +00:00
hyd-dev
08aef5a8aa
Update rust-version 2021-03-23 16:58:37 +08:00
hyd-dev
4eed610723
Remove #![feature(or_patterns)] 2021-03-23 16:58:00 +08:00
Johnathan Van Why
03be4138ed -Zmiri-track-raw-pointers doc correction: it is not strictly more restrictive than Stacked Borrows. 
This change is based on the following comment:
https://github.com/rust-lang/miri/pull/1748#issuecomment-803279473
 2021-03-22 15:35:18 -07:00
bors
f409454156 Auto merge of #1749 - RalfJung:rustup, r=RalfJung 
rustup; better comment in storage_dead_dangling test
 2021-03-22 11:37:52 +00:00
Ralf Jung
b4b048cc86 rustup; better comment in storage_dead_dangling test 2021-03-22 12:35:30 +01:00
Johnathan Van Why
263be25484 Improvements to the README item on -Zmiri-track-raw-pointers. 
1. The double quotes around <untagged> are changed to backspaces, so <untagged>
   will render correctly in markdown.
2. Clarify that -Zmiri-track-raw-pointers will never accept code that Miri
   would not have accepted without -Zmiri-track-raw-pointers.
 2021-03-19 09:27:36 -07:00
bors
12dac5c0f7 Auto merge of #1746 - bstrie:depfix, r=RalfJung 
Replace deprecated `collections::Bound` with `ops::Bound`

Cc https://github.com/rust-lang/rust/issues/83242 , which resulted from https://github.com/rust-lang/rust/pull/82122 .
 2021-03-17 23:20:59 +00:00
Ralf Jung
fc88c6ccca rustup 2021-03-18 00:20:03 +01:00