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

3560 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ralf Jung
3ae01a64bc also support scalbn itself 2019-08-10 11:22:32 +02:00
bors
7b3de392df Auto merge of #899 - RalfJung:generators, r=RalfJung 
More generator tests

Cc @tmandry -- do these look reasonable for checking the new "partial init" case that was discovered?
 2019-08-09 20:04:20 +00:00
Ralf Jung
5e3035b6cb use apfloat for ldexp 2019-08-09 19:54:01 +02:00
bors
b55ae00991 Auto merge of #901 - RalfJung:protected, r=RalfJung 
test that even &Cell must be dereferencable

Behavior here changed (deliberately) with Stacked Borrows 2; just making sure we notice when/if it ever changes again.
 2019-08-09 17:23:17 +00:00
Ralf Jung
b93629262d test that even &Cell must be dereferencable 2019-08-09 19:22:47 +02:00
bors
c1cb24969e Auto merge of #900 - RalfJung:miri, r=RalfJung 
local rustc builds now also need a sysroot built

With the test-miri flag gone, the libstd of local builds isn't good enough for Miri any more.
 2019-08-09 11:44:28 +00:00
Ralf Jung
68d7e4ebb0 local rustc builds now also need a sysroot built 
With the test-miri flag gone, the libstd of local builds isn't good enough for Miri any more.
 2019-08-09 11:29:12 +02:00
Ralf Jung
b5ce8f410b bump Rust version 2019-08-09 11:03:59 +02:00
Ralf Jung
abcd244927 add async fn with partial initialization 2019-08-09 11:01:42 +02:00
Ralf Jung
fc06cb71bf simplify async-fn tests 2019-08-09 11:01:42 +02:00
Ralf Jung
d5294a5bf3 test generator that yields during initialization of struct with uninhabited field 2019-08-09 11:01:42 +02:00
bors
1766d1b84b Auto merge of #896 - tmandry:add-generator-uninhabited-test, r=RalfJung 
Add generator, async tests with uninhabited saved local

See discussion in https://github.com/rust-lang/rust/pull/63035.
 2019-08-09 08:20:00 +00:00
bors
ecd3c9c081 Auto merge of #898 - christianpoveda:master, r=RalfJung 
Use ldexp from cmath instead

Closes https://github.com/rust-lang/miri/issues/821
r? @RalfJung
 2019-08-08 21:10:09 +00:00
Christian Poveda
e1d1cd191f Use ldexp from cmath instead 2019-08-08 15:45:58 -05:00
bors
b09ae31da0 Auto merge of #871 - RalfJung:miri-rustc-cleanup, r=RalfJung 
Cleanup after rustc bootstrap tests Miri with a separate libstd

Should only be merged after https://github.com/rust-lang/rust/pull/63162 got the green light.
 2019-08-08 20:43:47 +00:00
bors
7143ccc8fa Auto merge of #897 - RalfJung:xargo, r=RalfJung 
bump xargo version

Rust bootstrap needs it for the CARGO env var handling.
 2019-08-08 17:35:17 +00:00
Ralf Jung
19367fd8de bump xargo version 2019-08-08 19:34:23 +02:00
Tyler Mandry
f544721de4 Add generator, async tests with uninhabited saved local 2019-08-07 16:56:35 -07:00
Christian Poveda
253af9692a Fix formatting 2019-08-07 10:50:46 -05:00
Christian Poveda
af623dede2 Add env var test variable in compiletest 2019-08-07 09:09:13 -05:00
bors
b12ebfc3de Auto merge of #895 - RalfJung:uninit, r=oli-obk 
Revert "uninit intrinsic is gone"

This reverts commit fa290f1a48.
Uninit is [being reinstated](https://github.com/rust-lang/rust/pull/63343) because it breaks some broken code.
 2019-08-07 12:42:19 +00:00
Ralf Jung
455531c564 Revert "uninit intrinsic is gone" 
This reverts commit fa290f1a48.
Uninit is being reinstated because it breaks some broken code.
 2019-08-07 10:49:36 +02:00
Christian Poveda
b731a6a15f Add support for env communication 2019-08-06 17:40:07 -05:00
Christian Poveda
0df7a728c6 Update readme 2019-08-06 15:47:57 -05:00
bors
9758d8f44a Auto merge of #893 - RalfJung:rustup, r=RalfJung 
mention that we get the toolchain right

Fixes https://github.com/rust-lang/miri/issues/892

Cc @shepmaster
 2019-08-06 20:46:22 +00:00
Christian Poveda
068c448832 Add communicate field to evaluator and fix formatting 2019-08-06 15:44:44 -05:00
Christian Poveda
655f9af7fe Add flag to enable communication 2019-08-06 15:18:22 -05:00
Ralf Jung
3fe4eec37a mention that we get the toolchain right 2019-08-06 20:52:09 +02:00
bors
da5ecec68b Auto merge of #891 - RalfJung:rustup, r=RalfJung 
test-cargo-miri: cargo update

With both https://github.com/rust-random/getrandom/pull/74 and https://github.com/rust-lang/miri/pull/884 having landed, this should work now.
 2019-08-06 10:51:59 +00:00
Ralf Jung
c73b13fc58 test-cargo-miri: cargo update 2019-08-06 12:50:22 +02:00
bors
39a524f694 Auto merge of #890 - RalfJung:xargo, r=RalfJung 
go back to released xargo (the experiment is done)

The experiment in https://github.com/rust-lang/rust/pull/63162 was successful, now we have to wait for a new xargo release.
 2019-08-06 06:28:52 +00:00
Ralf Jung
cc8d995605 go back to released xargo (the experiment is done) 2019-08-06 08:05:32 +02:00
bors
a2fb260093 Auto merge of #889 - RalfJung:rustup, r=RalfJung 
rustup
 2019-08-05 13:50:50 +00:00
Ralf Jung
b0cb603e3a rustup 2019-08-05 15:49:19 +02:00
bors
08d1554837 Auto merge of #888 - RalfJung:rustup, r=RalfJung 
fix for latest rustc
 2019-08-05 08:54:42 +00:00
Ralf Jung
d26917a9d6 fix for latest rustc 2019-08-05 10:45:48 +02:00
bors
93e110f370 Auto merge of #886 - Aaron1011:shim/getrandom, r=RalfJung 
Shim 'libc::getrandom' in addition to 'libc::syscall(libc::SYS_getrandom)'
 2019-08-04 21:02:08 +00:00
Aaron Hill
f830a6c69e
Apply more formatting fixes 
Co-Authored-By: Ralf Jung <post@ralfj.de>
 2019-08-04 16:57:17 -04:00
Aaron Hill
a208f2fccf
Improve formatting 
Co-Authored-By: Ralf Jung <post@ralfj.de>
 2019-08-04 16:44:32 -04:00
Aaron Hill
66d10c877d
Ignore other platforms instead of using only-linux 2019-08-04 16:40:30 -04:00
Aaron Hill
8a75817707
Fix identation 2019-08-04 16:30:33 -04:00
Aaron Hill
a74a04f356
Test 'libc::getrandom' as well 2019-08-04 16:12:25 -04:00
Aaron Hill
8650f02bc9
Add trailing comma 2019-08-04 16:12:24 -04:00
Aaron Hill
6b087d2536
Add test 2019-08-04 16:12:24 -04:00
Aaron Hill
56a9a283e7
Cleanup formatting 2019-08-04 16:12:24 -04:00
Aaron Hill
a2bdb3bb94
Shim 'libc::getrandom' in addition to 'libc::syscall(libc::SYS_getrandom)' 2019-08-04 16:12:23 -04:00
bors
96adbf65bc Auto merge of #885 - Aaron1011:fix/f-round, r=RalfJung 
Add misssing 'roundf32' and 'roundf64' intrinsics
 2019-08-04 20:12:02 +00:00
Aaron Hill
4c11c6b737
Add test for f32::round and f64::round 2019-08-04 15:57:00 -04:00
bors
bc82f83298 Auto merge of #884 - Aaron1011:fix/linux-getrandom, r=RalfJung 
Allowing passing a null pointer to getrandom() when length is 0

The Linux kernel will handle a null pointer passed to 'getrandom'
without error, as long as the length is also 0. The `getrandom` crate
relies on this behavior: ab44edf3c7/src/linux_android.rs (L26)

Since it works fine on the actual kernel (and should continue to, due to
the kernel's backwards-compatibility guarantees), Miri should support it
as well.
 2019-08-04 19:50:41 +00:00
Aaron Hill
4d3398fc62
Replace match with expect() 2019-08-04 15:49:14 -04:00