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

5290 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
hyd-dev
304cd3e410
Make the test more consistent with other tests 2021-02-14 19:08:47 +08:00
hyd-dev
80112820fd
[cargo-miri] Don't skip rlib crates 2021-02-14 16:27:20 +08:00
bors
7ac8be8529 Auto merge of #1708 - RalfJung:issue-1567-test, r=RalfJung 
add regression test for #1567

Adds a regression test for #1567.
 2021-02-13 18:41:44 +00:00
Ralf Jung
b3757d0e51 add regression test for #1567 2021-02-13 19:41:01 +01:00
bors
e09dce0f43 Auto merge of #1703 - calebzulawski:master, r=RalfJung 
Remove non-power-of-two SIMD vectors

Closes https://github.com/rust-lang/rust/issues/81868.
 2021-02-09 09:18:22 +00:00
Caleb Zulawski
053124aa52 Update rust-version 2021-02-08 23:11:33 -05:00
Caleb Zulawski
dd81fb3f10 Remove non-power-of-two SIMD vectors 2021-02-08 00:17:24 -05:00
bors
54bbbd13ac Auto merge of #1701 - m-ou-se:non-fmt-panic-lint, r=oli-obk 
Update rust version and update tests.

This is a fix for https://github.com/rust-lang/rust/issues/81770
 2021-02-05 09:59:15 +00:00
Mara Bos
7fc24442bd Update rust version. 
- Allow new non_fmt_panic lint in test.
- Remove stabilized feature(wake_trait).
 2021-02-05 10:08:05 +01:00
bors
4cf36f2850 Auto merge of #1700 - RalfJung:rustup, r=RalfJung 
rustup

Cc https://github.com/rust-lang/rust/issues/81726
 2021-02-03 22:38:19 +00:00
Ralf Jung
d309804395 rustup 2021-02-03 23:37:40 +01:00
bors
34e22a8024 Auto merge of #1699 - m-ou-se:panic-format, r=RalfJung 
Remove unnecessary `format!()` in `panic!()`.

`panic!(format!(..))` will start giving a warning [soon](https://github.com/rust-lang/rust/pull/81645).
 2021-02-02 21:57:26 +00:00
Mara Bos
c5bb29141e Remove unnecessary format!() in panic!(). 2021-02-02 21:40:30 +01:00
bors
39a7bd09f1 Auto merge of #1698 - RalfJung:rustup, r=RalfJung 
rustup; remove some no-longer-needed Windows shims

libstd now calls these lock functions directly, and `GetModuleHandleW` isn't use either any more since https://github.com/rust-lang/rust/pull/81478.
 2021-01-31 13:25:37 +00:00
Ralf Jung
052cd3bff7 rustup; remove some no-longer-needed Windows shims 2021-01-31 14:23:49 +01:00
bors
8d24b02414 Auto merge of #1697 - RalfJung:rustup, r=RalfJung 
rustup

Cc https://github.com/rust-lang/rust/issues/81551
 2021-01-31 12:16:31 +00:00
Ralf Jung
6f5a91f70a rustup 2021-01-31 13:12:25 +01:00
bors
abbdfd4db8 Auto merge of #1693 - rust-lang:oli-obk-patch-1, r=RalfJung 
Document -Zmiri-compare-exchange-weak-failure-rate
 2021-01-30 20:17:39 +00:00
Oli Scherer
397443093d
Update README.md 2021-01-30 20:06:05 +01:00
Oli Scherer
bd04091a16
Update README.md 
Co-authored-by: Ralf Jung <post@ralfj.de>
 2021-01-30 20:05:21 +01:00
bors
bcb87a70f8 Auto merge of #1696 - RalfJung:abi-check, r=RalfJung 
add test for caller ABI check
 2021-01-29 20:16:49 +00:00
Ralf Jung
9d777d8410 add test for caller ABI check 2021-01-29 21:16:17 +01:00
bors
b38dc837f2 Auto merge of #1670 - unseddd:abi, r=RalfJung 
Add ABI check for shims

Resolves #1631
 2021-01-29 19:36:30 +00:00
bors
099e0a1661 Auto merge of #1694 - JohnTitor:rustup, r=RalfJung 
Rustup for rust-lang/rust#79951

cc https://github.com/rust-lang/rust/issues/81467
 2021-01-28 13:48:28 +00:00
Yuki Okushi
53612ece7c Rustup for rust-lang/rust#79951 2021-01-28 22:31:22 +09:00
Oli Scherer
35ece43ef7
Document -Zmiri-compare-exchange-weak-failure-rate 2021-01-28 10:58:33 +01:00
bors
a0485c5a90 Auto merge of #1686 - thomcc:cmpxchg_weak, r=oli-obk 
Add random failures to compare_exchange_weak

In practice this is pretty useful for detecting bugs.

This fails more frequently than realistic (~~50%~~ (now 80%, controlled by a flag) of the time). I couldn't find any existing code that tries to model this (tsan, cdschecker, etc all seem to have TODOs there). Relacy models it with a 25% or 50% failure chance depending on some settings.

CC `@JCTyblaidd` who wrote the code this modifies initially, and seems interested in this subject.
 2021-01-28 09:52:04 +00:00
Nym Seddon
de4eea9d49
Add ABI check for shims 2021-01-27 22:32:25 +00:00
bors
e23e0b2d12 Auto merge of #1692 - RalfJung:rustup, r=RalfJung 
rustup; more slack for timing tests
 2021-01-27 09:44:48 +00:00
Ralf Jung
e308eeb3f1 rustup; more slack for timing tests 2021-01-27 10:44:08 +01:00
bors
755a3225cd Auto merge of #1690 - RalfJung:rustup, r=RalfJung 
rustup; allow some lints
 2021-01-26 10:48:36 +00:00
Ralf Jung
0e56bff5f9 erroneous_const span now changes with inlining 2021-01-26 11:48:11 +01:00
Ralf Jung
d38e861f1e rustup; allow some lints 2021-01-26 11:43:39 +01:00
Thom Chiovoloni
d310620c11 Allow configuring the failure rate with -Zmiri-compare-exchange-weak-failure-rate 2021-01-26 00:13:54 -08:00
Thom Chiovoloni
d4b592ed17 Fail 80% of the time on weak cmpxchg, not 50% 2021-01-26 00:13:54 -08:00
Thom Chiovoloni
efd2d55e00 review nits 2021-01-26 00:13:54 -08:00
Thom Chiovoloni
b6eccc6482 Test that _weak atomics sometimes fail 2021-01-26 00:13:54 -08:00
Thom Chiovoloni
c678bd722e Add random failures to compare_exchange_weak 2021-01-26 00:13:54 -08:00
bors
de0800e83b Auto merge of #1688 - RalfJung:rustup, r=RalfJung 
adjust Windows shims for stdlib changes (Windows XP removal)
 2021-01-25 10:05:12 +00:00
Ralf Jung
13dd513254 adjust Windows shims for stdlib changes (Windows XP removal) 2021-01-25 10:43:48 +01:00
bors
5483ed5836 Auto merge of #1687 - hyd-dev:zulip, r=RalfJung 
Fix `\n` in Zulip message

https://rust-lang.zulipchat.com/#narrow/stream/269128-miri/topic/Cron.20Job.20Failure/near/223865005:
> Dear `@**RalfJ**` and `@**oli**\n\nIt` would appear that the Miri cron job build failed. Would you mind investigating this issue?\n\nThanks in advance!\nSincerely,\nThe Miri Cronjobs Bot

This PR changes that to:
> Dear `@**RalfJ**` and `@**oli**`
>
> It would appear that the Miri cron job build failed. Would you mind investigating this issue?
>
> Thanks in advance!
> Sincerely,
> The Miri Cronjobs Bot
 2021-01-25 09:43:07 +00:00
hyd-dev
a5d7ae5816
Fix \n in Zulip message 
https://rust-lang.zulipchat.com/#narrow/stream/269128-miri/topic/Cron.20Job.20Failure/near/223865005
 2021-01-25 16:12:29 +08:00
bors
853254f467 Auto merge of #1675 - hyd-dev:proc-macro-unit-test, r=RalfJung 
[cargo-miri] Skip unit tests of `proc-macro` crates

Fixes #1660.
 2021-01-24 15:50:51 +00:00
hyd-dev
28577924e7
Add a test for unit test of proc-macro crate 2021-01-24 23:48:17 +08:00
hyd-dev
ecab8a4fae
Skip unit tests of proc-macro crates 2021-01-24 23:48:06 +08:00
bors
c26fa8321a Auto merge of #1685 - RalfJung:readme, r=RalfJung 
add -Zmiri-disable-data-race-detector to readme
 2021-01-24 15:13:28 +00:00
Ralf Jung
056016571f add -Zmiri-disable-data-race-detector to readme 2021-01-24 15:58:37 +01:00
bors
5e9bf46b46 Auto merge of #1683 - frewsxcv:frewsxcv-nprocessors, r=RalfJung 
Add shim for libc::sysconf(libc::_SC_NPROCESSORS_CONF)

`libc::sysconf(libc::_SC_NPROCESSORS_CONF)` is used by AArch64 devices to get the number of CPUs in the `num_cpus` crate:

b423db0a69/src/lib.rs (L337-L342)
 2021-01-23 17:37:22 +00:00
Ralf Jung
7d8f8c405f macos: support aarch64 link names 2021-01-23 18:14:57 +01:00
Ralf Jung
848be1bf82 implement aarch64 hint 'intrinsic' 2021-01-23 18:11:01 +01:00