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

5246 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
bors
e3ca994a6d Auto merge of #1684 - RalfJung:env, r=oli-obk 
prefer build-time env vars over run-time values

Fixes https://github.com/rust-lang/miri/issues/1661
 2021-01-23 15:59:58 +00:00
Ralf Jung
4a13f24839 expand README 2021-01-23 16:54:00 +01:00
Corey Farwell
36ce776997
Test aarch64-apple-darwin 2021-01-23 10:51:36 -05:00
Ralf Jung
225e255cfe prefer build-time env vars over run-time values 2021-01-23 16:51:29 +01:00
Corey Farwell
2aedbf0993 Add shim for libc::sysconf(libc::_SC_NPROCESSORS_CONF) 2021-01-22 09:16:27 -05:00
bors
6fdda8aac9 Auto merge of #1682 - RalfJung:rustup, r=RalfJung 
rustup; test swap of element with itself

Cc https://github.com/rust-lang/rust/issues/80682
 2021-01-22 08:23:36 +00:00
Ralf Jung
3990debf82 rustup; test swap of element with itself 2021-01-22 09:22:53 +01:00
hyd-dev
eae95693d8
Add ArgFlagValueIter 2021-01-19 01:18:45 +08:00
bors
903bfd82bf Auto merge of #1681 - RalfJung:rustup, r=RalfJung 
rustup; remove some intrinsics that are gone or moved to rustc
 2021-01-18 12:02:12 +00:00
Ralf Jung
3d01ba11c0 rustup; remove some intrinsics that are gone or moved to rustc 2021-01-18 12:55:30 +01:00
bors
d814eaa1a7 Auto merge of #1680 - LeSeulArtichaut:polite-bot, r=RalfJung 
Teach the miri cronjobs to speak politely

> Please be kind and courteous. There’s no need to be mean or rude.

― Rust Code of conduct
 2021-01-17 20:41:57 +00:00
LeSeulArtichaut
a4a643e7cb Teach the miri cronjobs to speak politely 2021-01-17 21:26:24 +01:00
bors
ba244e3e7c Auto merge of #1679 - hyd-dev:min-const-generics, r=RalfJung 
Remove `#![feature(const_generics)]` and `#![allow(incomplete_features)]`

`#![feature(min_const_generics)]` has been [stabilized](https://github.com/rust-lang/rust/pull/79135), so I removed `#![feature(const_generics)]` and `#![allow(incomplete_features)]` (I assume Miri is not built by the beta bootstrap compiler so it's fine to just remove them).

The test [`tests/run-pass/specialization.rs` also has a `#![allow(incomplete_features)]` for `#![feature(specialization)]`](https://github.com/rust-lang/miri/blob/9949d9e4/tests/run-pass/specialization.rs#L1-L2). I think that can be removed and `#![feature(specialization)]` can be replaced with `#![feature(min_specialization)]`, but I'm not sure whether I should do that because it's a test. Feel free to ask me to remove it if it's fine to do so.
 2021-01-17 16:28:34 +00:00
hyd-dev
9949d9e417
Remove #![feature(const_generics)] and #![allow(incomplete_features)] 2021-01-17 23:28:20 +08:00
bors
7e3af26d66 Auto merge of #1678 - RalfJung:features, r=RalfJung 
remove some unnecessary feature gates
 2021-01-16 20:57:00 +00:00
Ralf Jung
7125b86c33 remove some unnecessary feature gates 2021-01-16 18:27:10 +01:00
bors
b666a38c50 Auto merge of #1676 - RalfJung:zulip, r=RalfJung 
undo cronjob deliberate failure
 2021-01-16 09:30:19 +00:00
Ralf Jung
0b9ee16248 undo cronjob deliberate failure 2021-01-16 10:29:37 +01:00
bors
1cf1a2e40a Auto merge of #1673 - RalfJung:rustup, r=RalfJung 
rustup; make tests pass again
 2021-01-15 15:42:50 +00:00
Ralf Jung
4a035103dc rustup; make tests pass again 2021-01-15 16:41:14 +01:00
bors
63ad89e2bc Auto merge of #1672 - RalfJung:zulip, r=RalfJung 
add Zulip site information
 2021-01-15 14:24:32 +00:00
Ralf Jung
d6b5ead0ba add Zulip site information 2021-01-15 15:23:20 +01:00
bors
84d460bb4b Auto merge of #1669 - RalfJung:rustup, r=RalfJung 
rustup

Cc https://github.com/rust-lang/rust/issues/80907
 2021-01-11 11:35:58 +00:00
Ralf Jung
8e15f3221e rustup 2021-01-11 12:35:13 +01:00
bors
f40a8f66e0 Auto merge of #1668 - RalfJung:zulip, r=RalfJung 
fix zulip-send path
 2021-01-11 11:10:30 +00:00
Ralf Jung
6c112e0459 fix zulip-send path 2021-01-11 12:09:55 +01:00
bors
838de0e838 Auto merge of #1667 - RalfJung:cron-fail-notification, r=RalfJung 
send Zulip notification when cron job fails

Let's see if this works...
 2021-01-10 19:12:00 +00:00
Ralf Jung
333d7bb2c5 send Zulip notification when cron job fails 2021-01-10 19:15:22 +01:00
bors
a09f8b0c06 Auto merge of #1663 - RalfJung:rustup, r=RalfJung 
test Weak into_raw/from_raw on dangling ptrs
 2020-12-31 12:16:58 +00:00
Ralf Jung
82c6c77b9a test Weak into_raw/from_raw on dangling ptrs 2020-12-31 13:11:34 +01:00
bors
0a723fa91d Auto merge of #1662 - RalfJung:rustup, r=RalfJung 
panicing now works with -Zmiri-track-raw-pointers
 2020-12-30 23:18:02 +00:00
Ralf Jung
7e198147df panicing now works with -Zmiri-track-raw-pointers 2020-12-31 00:17:08 +01:00
bors
3e74daa055 Auto merge of #1659 - RalfJung:rustup, r=RalfJung 
rustup; add an interesting alias test case
 2020-12-29 18:29:21 +00:00
Ralf Jung
a81ebd8fe3 rustup; add an interesting alias test case 2020-12-29 19:27:45 +01:00
bors
e18c681eea Auto merge of #1658 - RalfJung:forget, r=RalfJung 
remove intrinsic that is now implemented in the rustc side

Since https://github.com/rust-lang/rust/pull/80040, we can rely on the pass introduced in https://github.com/rust-lang/rust/pull/79049 to lower away `forget`.
 2020-12-22 11:54:05 +00:00
Ralf Jung
65f5c27d61 remove intrinsic that is now implemented in the rustc side 2020-12-22 12:47:59 +01:00
bors
d895f6e229 Auto merge of #1657 - RalfJung:zulip, r=RalfJung 
link to our shiny new Zulip stream
 2020-12-21 13:40:33 +00:00
Ralf Jung
e204c0fbab link to our shiny new Zulip stream 2020-12-21 14:39:18 +01:00
bors
9b5faa9c82 Auto merge of #1656 - RalfJung:tests, r=RalfJung 
test suite updates
 2020-12-21 12:25:57 +00:00
Ralf Jung
6dc353c091 test test suite harness with raw-ptr tracking 2020-12-21 11:36:40 +01:00
Ralf Jung
3d151c8b62 leak checker: also test AtomicPtr stored via 'swap' 2020-12-21 11:36:39 +01:00
Ralf Jung
05fcf86f11 rename test ref files for proper names 2020-12-21 11:31:57 +01:00
bors
24d8e8df10 Auto merge of #1655 - RalfJung:rustup, r=RalfJung 
rustup + cargo-miri 'cargo update'
 2020-12-21 09:55:26 +00:00
Ralf Jung
ba0d229752 rustup + cargo-miri 'cargo update' 2020-12-21 10:53:55 +01:00