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

3140 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ralf Jung
8bec925e04 bump Rust 2019-07-26 10:14:44 +02:00
bors
e59f9cb259 Auto merge of #857 - RalfJung:readme, r=RalfJung 
link to UB definition
 2019-07-25 17:40:32 +00:00
Ralf Jung
e843077d1d link to UB definition 2019-07-25 19:38:55 +02:00
bors
10628169f5 Auto merge of #853 - RalfJung:readme, r=RalfJung 
readme: move flags and env vars up above dev
 2019-07-24 18:19:40 +00:00
bors
7ef4097915 Auto merge of #854 - lzutao:warn-idioms, r=RalfJung 
build: Warn if not use 2018 idioms

As requested in https://github.com/rust-lang/miri/pull/852#issuecomment-514612244
 2019-07-24 14:44:13 +00:00
Lzu Tao
e6a677fe63 build: Warn if not use 2018 idioms 2019-07-24 21:24:26 +07:00
bors
aadff8560b Auto merge of #852 - lzutao:rustup, r=RalfJung 
build: Fix build after rust-lang/rust#60951
 2019-07-24 13:05:55 +00:00
Ralf Jung
59fa7c2cf5 readme: move flags and env vars up above dev 2019-07-24 14:18:42 +02:00
bors
310649bb8e Auto merge of #851 - RalfJung:intrptrcast-by-default, r=oli-obk 
enable Intrptrcast by default

As laid out in https://github.com/rust-lang/miri/issues/785: we change Miri to always have an RNG, seeded per default with 0. Then we adjust everything to remove dead code and dead tests.

r? @oli-obk
Cc @christianpoveda
 2019-07-24 08:26:02 +00:00
Ralf Jung
758d88bbf9 explain better what is non-deterministic here 2019-07-24 08:57:05 +02:00
Lzu Tao
fd71fbea0f build: Fix build after rust-lang/rust#60951 2019-07-24 07:45:34 +07:00
Ralf Jung
85be8ab8eb fix non-deterministic test 2019-07-23 23:48:28 +02:00
Ralf Jung
724cf41eb1 use checked arithmetic in intrptrcast 2019-07-23 23:43:37 +02:00
Ralf Jung
d5ca345c36 remove redundant tests / flags 2019-07-23 23:26:25 +02:00
Ralf Jung
3c1ab78196 review failing compile-fail tests 2019-07-23 23:25:06 +02:00
Ralf Jung
c094d42504 update miri-seed handling for run-pass test suite 2019-07-23 21:53:47 +02:00
Ralf Jung
068517ae66 make sure we always have an RNG 2019-07-23 21:38:53 +02:00
bors
b269bb0707 Auto merge of #849 - RalfJung:rustup, r=RalfJung 
bump rust
 2019-07-21 09:56:50 +00:00
Ralf Jung
a2541aacd6 bump rust 2019-07-21 11:56:10 +02:00
bors
619d29aea6 Auto merge of #848 - RalfJung:rustc-tests, r=RalfJung 
disable some compile-fail tests for rustc
 2019-07-20 20:39:29 +00:00
Ralf Jung
59190e8542 disable some compile-fail tests for rustc 2019-07-20 22:38:41 +02:00
bors
f9dd11546e Auto merge of #847 - RalfJung:rustup, r=RalfJung 
fix for rustc_driver change
 2019-07-19 16:04:29 +00:00
Ralf Jung
11d71195dd fix miri-rustc-tests 2019-07-19 18:03:55 +02:00
Ralf Jung
66ca0f2cc2 fix for rustc_driver change 2019-07-19 17:36:25 +02:00
bors
fe607596a6 Auto merge of #843 - RalfJung:rustup, r=RalfJung 
fix compile-fail tests for latest rustc
 2019-07-16 16:40:19 +00:00
Ralf Jung
95e6e671bf fix compile-fail tests for latest rustc 2019-07-16 18:39:18 +02:00
bors
4d76526415 Auto merge of #840 - RalfJung:readme, r=RalfJung 
update README about what we do not support
 2019-07-14 08:42:21 +00:00
Ralf Jung
4cbd31220b update README about what we do not support 2019-07-14 09:34:08 +02:00
bors
c32c436ce1 Auto merge of #839 - RalfJung:noalloc, r=RalfJung 
avoid unnecessary allocation
 2019-07-14 07:33:29 +00:00
Ralf Jung
a11d1f55ff avoid unnecessary allocation 2019-07-13 15:18:15 +02:00
bors
677bde6851 Auto merge of #834 - jyn514:master, r=RalfJung 
Give a useful error message if user gives invalid random seed

I thought this crash was in my code at first because the error was so vague.
 2019-07-13 12:28:43 +00:00
Joshua Nelson
ebf65cbdab Give a useful error message if user gives invalid random seed 2019-07-13 08:28:33 -04:00
bors
3655480078 Auto merge of #836 - RalfJung:arrays, r=RalfJung 
test some const-generic-using methods
 2019-07-13 08:25:22 +00:00
Ralf Jung
f1b623c313 test some const-generic-using methods 2019-07-13 10:25:04 +02:00
bors
b5ddc94bf0 Auto merge of #833 - RalfJung:win, r=RalfJung 
reenable all tests on Windows
 2019-07-11 17:01:14 +00:00
Ralf Jung
f8c6eb5e8c thread creation error for Windows 2019-07-11 18:59:11 +02:00
Ralf Jung
e7b39e382a reenable all tests on Windows 2019-07-11 18:41:53 +02:00
bors
fe9056ee77 Auto merge of #830 - RalfJung:check-place, r=RalfJung 
Fix validation and reborrowing of integer pointers

Depends on https://github.com/rust-lang/rust/pull/62441
 2019-07-11 15:13:50 +00:00
Ralf Jung
7dd0dd3569 bump rust 2019-07-11 17:13:28 +02:00
Ralf Jung
11686f4be2 we do this these days 2019-07-10 14:38:49 +02:00
Ralf Jung
743299e7a0 bump rustc 2019-07-10 14:37:52 +02:00
Ralf Jung
70a5bb7dbb force pointers before reborrowing; fixes cargo miri test suite 2019-07-10 14:36:56 +02:00
Ralf Jung
a6f9bbc9e2 now we can also enable the ptr_int_cast test again 2019-07-10 14:36:56 +02:00
Ralf Jung
f79f31dfa1 adjust for rustc changes; normalize mplace before doing freeze-sensitive visit 2019-07-10 14:36:56 +02:00
Ralf Jung
dd6cf30f60 ptr_offset works fine with intptrcast now 2019-07-10 14:36:56 +02:00
bors
0b9434cebb Auto merge of #832 - RalfJung:rustup, r=RalfJung 
bump rustc
 2019-07-10 07:32:43 +00:00
Ralf Jung
e414a5ac0e bump rustc 2019-07-10 09:31:31 +02:00
bors
8d55a57af8 Auto merge of #831 - lzutao:rustup, r=RalfJung 
Remove SliceConcatExt import

rustup https://github.com/rust-lang/rust/pull/62403
cc https://github.com/rust-lang/rust/issues/62347
 2019-07-10 06:55:57 +00:00
Lzu Tao
3ea62d3527 Remove SliceConcatExt import 2019-07-10 09:56:35 +07:00
bors
67fd5a4409 Auto merge of #827 - lzutao:patch-1, r=RalfJung 
Remove stable cargo feature `default-run`

At least on beta.
 2019-07-06 10:02:17 +00:00