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

3113 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ralf Jung
26afb4685d hashmap ICEs with optimizations, temporarily disable 2019-08-27 08:42:36 +02:00
Ralf Jung
3a68d943ba rustup 2019-08-27 08:32:31 +02:00
bors
f72ffb988c Auto merge of #924 - RalfJung:getrandom, r=RalfJung 
decrease getrandom version

so that we dont have to bump Cargo.toml in rustc
 2019-08-26 18:54:14 +00:00
Ralf Jung
63ec6e6467 decrease getrandom version so that we dont have to bump Cargo.toml in rustc 2019-08-26 20:53:45 +02:00
bors
601a3f1e22 Auto merge of #922 - RalfJung:rustup, r=RalfJung 
bump Rust and xargo
 2019-08-26 18:13:47 +00:00
Ralf Jung
c6c9276d61 bump Rust and xargo 2019-08-26 19:44:27 +02:00
bors
ae1d269a8e Auto merge of #921 - RalfJung:cargo-update, r=RalfJung 
cargo update
 2019-08-26 17:39:34 +00:00
Ralf Jung
0340806127 cargo update 2019-08-26 19:38:47 +02:00
bors
631d5facba Auto merge of #914 - christianpoveda:use-host-rng, r=RalfJung 
Use host's rng when communication is enabled

This uses the host's randomness when the communication enabled flag is used. I am not sure about the error handling. I was thinking about fallbacking to `rand` if `getrandom` fails and also print something so the user knows miri is not using the host's rng because it failed. Let me know what you think.

Related issue: https://github.com/rust-lang/miri/issues/800.

r? @RalfJung @oli-obk
 2019-08-23 09:52:54 +00:00
bors
d77fe6c63c Auto merge of #915 - RalfJung:rustup, r=RalfJung 
bump Rust
 2019-08-21 07:09:35 +00:00
Ralf Jung
1be4e2ff58 bump Rust 2019-08-21 09:07:27 +02:00
Christian Poveda
f53b5b0fb4 Update -Zmiri-enable-communication docs 2019-08-20 12:22:49 -05:00
Christian Poveda
98129631b5 Use err_unsup_format instead 2019-08-20 12:20:50 -05:00
bors
fd078e4fac Auto merge of #837 - RalfJung:arrays, r=RalfJung 
test arrray try_from (interesting const generic usage)

Currently fails, see https://github.com/rust-lang/rust/pull/62435#issuecomment-511100890.

Blocked on https://github.com/rust-lang/rust/issues/62790.
 2019-08-20 14:16:00 +00:00
Ralf Jung
3b14567e36 bump Rust 2019-08-20 16:11:11 +02:00
Ralf Jung
a76bc3fb87 test arrray try_from (interesting const generic usage) 2019-08-20 16:11:03 +02:00
Christian Poveda
b44fd97af6 Use host's rng when communication is enabled 2019-08-19 10:43:09 -05:00
bors
9d14a62628 Auto merge of #913 - RalfJung:uninit, r=RalfJung 
test some new uninit APIs
 2019-08-18 11:39:31 +00:00
Ralf Jung
be4108e27c test some new uninit APIs 2019-08-18 11:34:09 +02:00
bors
285a585fd0 Auto merge of #912 - RalfJung:rustup, r=RalfJung 
fix test failure due to my own lint
 2019-08-18 09:16:40 +00:00
Ralf Jung
94cd0ce734 fix test failure due to my own lint 2019-08-18 11:16:02 +02:00
bors
b5c70e92f3 Auto merge of #911 - RalfJung:typed-op, r=RalfJung 
Adjust for typed binops
 2019-08-18 05:48:20 +00:00
Ralf Jung
d7ff7ccbad update Rust 2019-08-18 07:43:18 +02:00
Ralf Jung
4f1c9bb607 adjust for typed binary/unary_op 2019-08-18 07:42:15 +02:00
bors
bfd6181d34 Auto merge of #859 - RalfJung:cargo, r=RalfJung 
travis: do not install cargo from master

This tests the rpath hackery in `./miri`.
 2019-08-15 20:51:52 +00:00
Ralf Jung
65541d9021 rustup update 2019-08-15 22:30:38 +02:00
Ralf Jung
5aa60571fc travis: do not install cargo from master 2019-08-15 22:25:50 +02:00
bors
4f6f264c30 Auto merge of #909 - RalfJung:deny-warn, r=oli-obk 
deny warnings on CI
 2019-08-15 09:37:38 +00:00
Ralf Jung
f9241be734 fix warning 2019-08-15 11:24:04 +02:00
Ralf Jung
6ef7c0886c deny warnings on CI 2019-08-15 11:14:45 +02:00
bors
c71b240f85 Auto merge of #863 - RalfJung:deref-checks, r=RalfJung 
adjust tests for eager pointer checks on deref

The Miri side of https://github.com/rust-lang/rust/pull/63075.

Fixes https://github.com/rust-lang/miri/issues/447.
 2019-08-15 09:11:08 +00:00
Ralf Jung
8a103cfdd9 bump Rust 2019-08-15 11:06:27 +02:00
Ralf Jung
2f95d4d50c remove dead code 2019-08-15 11:01:03 +02:00
Ralf Jung
a801b0ba3f adjust for fn rename 2019-08-15 11:01:03 +02:00
Ralf Jung
60a0688185 adjust tests for eager pointer checks on deref 2019-08-15 11:01:03 +02:00
bors
868da2a139 Auto merge of #907 - christianpoveda:env-vars-shim, r=RalfJung 
Move env shims to its own module

r? @RalfJung
 2019-08-15 08:47:20 +00:00
Christian Poveda
aee8f173ec Delegate writing to emulate_foreign_item 2019-08-14 16:50:36 -05:00
Christian Poveda
41f8cfa30e Move env shims to its own module 2019-08-14 16:30:55 -05:00
bors
1f504ea7be Auto merge of #894 - christianpoveda:env-vars-communication, r=RalfJung 
Enable env communication

related issue: https://github.com/rust-lang/miri/issues/800. r? @RalfJung
 2019-08-14 18:58:06 +00:00
Christian Poveda
451a09a685 Remove tcx parameter for EnvVars::alloc_env_value 2019-08-14 13:54:57 -05:00
Christian Poveda
46f902b67d Rename export for shims::env::EnvVars 2019-08-14 11:31:29 -05:00
Christian Poveda
f451fe21bd Test env isolation 2019-08-13 16:17:53 -05:00
Christian Poveda
afc6713e41 Reorganize shims::env::EnvVars 2019-08-13 16:17:41 -05:00
Christian Poveda
67d13577aa Move test env var to test_runner 2019-08-13 12:10:24 -05:00
Christian Poveda
666cd22fa6 Wrap hashmap for env vars in its own type 2019-08-13 11:34:43 -05:00
bors
47b227e24a Auto merge of #906 - RalfJung:tls, r=RalfJung 
make TLS state private to TLS module
 2019-08-13 11:32:25 +00:00
Ralf Jung
95fb11d51f make TLS state private to TLS module 2019-08-13 09:29:01 +02:00
bors
7654ac6128 Auto merge of #904 - RalfJung:rustup, r=RalfJung 
it's called RUSTC_CTFE_BACKTRACE now
 2019-08-12 06:26:46 +00:00
Ralf Jung
7a9733929b it's called RUSTC_CTFE_BACKTRACE now 2019-08-12 08:26:11 +02:00
bors
a5eb61a4ad Auto merge of #902 - RalfJung:ldexp, r=RalfJung 
use apfloat for ldexp
 2019-08-10 09:34:31 +00:00