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

3150 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
bors
8053288bd0 Auto merge of #887 - RalfJung:readme, r=RalfJung 
README: add getrandom bug
 2019-08-04 17:37:00 +00:00
Aaron Hill
3118b9fe42
Add misssing 'roundf32' and 'roundf64' intrinsics 2019-08-04 10:25:29 -04:00
Aaron Hill
c2f681f005
Add semicolon 
Co-Authored-By: Ralf Jung <post@ralfj.de>
 2019-08-04 10:13:29 -04:00
Aaron Hill
0505868d18
Do nothing when we try to generate random data of length 0 
This preserves compatibility with programs that pass a null pointer and
a length of zero to getrandom(), or their platform's equivalent.
 2019-08-04 09:21:17 -04:00
Ralf Jung
e8d956c4fa add getrandom bug 2019-08-04 15:09:13 +02:00
bors
d82b24422d Auto merge of #883 - RalfJung:gen_random, r=RalfJung 
gen_random helper: move ptr argument to front

This matches, for example, the `getrandom` syscall.
 2019-08-04 12:57:16 +00:00
Ralf Jung
0096a0df2a gen_random helper: move ptr argument to front 2019-08-04 14:49:10 +02:00
bors
ed30152b52 Auto merge of #876 - RalfJung:atomic, r=RalfJung 
check that atomics are sufficiently aligned

Fixes https://github.com/rust-lang/miri/issues/475
 2019-08-04 08:55:18 +00:00
Ralf Jung
a4cc58efc6 one more place -> ptr rename 2019-08-04 10:54:07 +02:00
Ralf Jung
19add0bb75 places and pointers are not the same thing; this is a place 2019-08-04 10:52:09 +02:00