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

3624 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ralf Jung
b883c11caa use recommended test exclusion technique in test 2019-12-07 11:55:19 +01:00
Ralf Jung
1a8755384e better way to ignore tests in Miri 2019-12-07 11:43:30 +01:00
bors
754c4a4f6d Auto merge of #1104 - RalfJung:readme, r=oli-obk 
update README

r? @oli-obk
 2019-12-06 08:57:18 +00:00
Ralf Jung
e0619b717c wording 2019-12-06 09:31:40 +01:00
Ralf Jung
f02643001f README: Miri now supports panics and FS access 2019-12-06 09:31:40 +01:00
bors
b84d77be4f Auto merge of #1103 - RalfJung:no-recompile, r=RalfJung 
avoid recompiling Miri on install
 2019-12-06 07:27:43 +00:00
Ralf Jung
87fb5db526 avoid recompiling Miri on install 2019-12-06 08:27:15 +01:00
bors
a0ba079b6a Auto merge of #1102 - RalfJung:rsutup, r=RalfJung 
rustup for find_fn rename
 2019-12-04 22:32:07 +00:00
Ralf Jung
edac086f1c rustup for find_fn rename 2019-12-04 23:31:39 +01:00
bors
878bb4d78f Auto merge of #1100 - RalfJung:os_str, r=RalfJung 
rename helper methods a bit
 2019-12-04 09:44:29 +00:00
Ralf Jung
94732aaf7b rename helper methods a bit 2019-12-04 10:43:36 +01:00
bors
53fcf47e72 Auto merge of #1099 - RalfJung:os_str, r=RalfJung 
tweak and use OsStr interfaces
 2019-12-04 09:17:03 +00:00
Ralf Jung
01f060b6da avoid allocation in read_os_string_from_c_string 2019-12-04 10:16:08 +01:00
Ralf Jung
808ac8f4b9 use write_os_str_to_c_string for unix arg passing 2019-12-04 09:58:10 +01:00
bors
6e49f4a93a Auto merge of #1093 - RalfJung:throw-machine-stop, r=RalfJung 
use throw_machine_stop macro

Blocked on https://github.com/rust-lang/rust/pull/66951
 2019-12-03 22:39:19 +00:00
Ralf Jung
07af5c9ffc rustup 2019-12-03 23:38:41 +01:00
Ralf Jung
ab000997db use throw_machine_stop macro 2019-12-03 23:31:44 +01:00
bors
c388361cc2 Auto merge of #1097 - RalfJung:rustup, r=RalfJung 
bump Rust for exact_div fix
 2019-12-03 16:38:20 +00:00
Ralf Jung
6d8e87111b bump Rust for exact_div fix 2019-12-03 17:37:42 +01:00
bors
3f27d8cad6 Auto merge of #1096 - RalfJung:rustup, r=RalfJung 
Rustup

bump Rust to latest HEAD
 2019-12-03 07:48:28 +00:00
Ralf Jung
ebe5a51336 bump Rust to HEAD 2019-12-03 08:22:09 +01:00
bors
95f80403bf Auto merge of #1094 - Aaron1011:rustup-body, r=RalfJung 
Rustup for `BodyCache` changes
 2019-12-03 07:20:20 +00:00
Aaron Hill
a418fe9826
Rustup for BodyCache changes 2019-12-02 20:21:03 -05:00
bors
913226a174 Auto merge of #1084 - RalfJung:assert-panic, r=RalfJung 
proper support for `Assert` MIR terminators

Fixes https://github.com/rust-lang/miri/issues/1070
Blocked on https://github.com/rust-lang/rust/pull/66874
 2019-12-02 15:48:42 +00:00
Ralf Jung
ce7b44b048 ignore another panicking test on Windows 2019-12-02 16:48:18 +01:00
Ralf Jung
2ef5ac17cc rustup 2019-12-02 16:04:51 +01:00
Ralf Jung
8e3c3eccc4 panic errors are actually still possible 2019-12-02 16:04:31 +01:00
Ralf Jung
d43e394c46 fix init_allocation_extra 2019-12-02 16:04:31 +01:00
Ralf Jung
e77258322c some error classes should be impossible 2019-12-02 16:04:31 +01:00
Ralf Jung
f1cde6d80b also test built-in panics via should_panic 2019-12-02 16:04:31 +01:00
Ralf Jung
1b3434c67d adjust for init_allocation_extra 2019-12-02 16:04:31 +01:00
Ralf Jung
ae53b1222a fix and expand panic tests 2019-12-02 16:04:31 +01:00
Ralf Jung
b2cddd27bd better span for functions whose frame we push 'manually' 2019-12-02 16:04:31 +01:00
Ralf Jung
4cf83433b1 test built-in panic catching 2019-12-02 16:04:31 +01:00
Ralf Jung
b91383b068 implement proper panicking for other MIR assertions 
Requires generalizing the call_function helper to arbitrary Immediate arguments
 2019-12-02 16:04:31 +01:00
Ralf Jung
8a36d12d36 implement proper panicking for failed index check 2019-12-02 16:04:31 +01:00
bors
3c0d3439ee Auto merge of #1079 - RalfJung:coercion-error, r=RalfJung 
Test diverging closure coercion

Adds a test for https://github.com/rust-lang/miri/issues/1075. Depends on https://github.com/rust-lang/rust/pull/66827.
 2019-12-02 14:43:08 +00:00
Ralf Jung
42732cc9bb rustup 2019-12-02 15:42:38 +01:00
Ralf Jung
9f9e547d79 test diverging closure fn ptr coercion 2019-12-02 15:42:33 +01:00
Ralf Jung
bba9359256 expand coerce fn test 2019-12-02 15:42:33 +01:00
bors
ae38f4866a Auto merge of #1092 - RalfJung:rustup, r=RalfJung 
Rustup
 2019-12-02 08:14:57 +00:00
Ralf Jung
dcdd68b936 also indicate abort via new MachineStop variant 2019-12-02 09:13:58 +01:00
Ralf Jung
1c420b0b55 improve style in catch_panic test 2019-12-02 09:11:33 +01:00
Ralf Jung
f3c00a447c use new MachineStop error variant 2019-12-02 09:05:35 +01:00
bors
cde718f083 Auto merge of #1087 - RalfJung:toolchain, r=oli-obk 
add toolchain mgmt script

I've been using a variant of this script for some time now, and figured others might find it useful as well.
 2019-12-01 14:25:08 +00:00
Ralf Jung
9501d044c1 don't assume a nightly toolchain is installed 2019-12-01 15:17:52 +01:00
bors
41df5021bd Auto merge of #1091 - RalfJung:run-test, r=RalfJung 
run-test: make sure the sysroot building output does not distort our tests
 2019-12-01 11:57:57 +00:00
Ralf Jung
3de5bd7dec run-test: make sure the sysroot building output does not distort our tests 2019-12-01 12:57:09 +01:00
bors
fbe907683a Auto merge of #1082 - RalfJung:panic, r=RalfJung 
test more panics

Add some tests for https://github.com/rust-lang/miri/issues/1071.

Blocked on https://github.com/rust-lang/rust/pull/66844.
 2019-12-01 10:05:53 +00:00
Ralf Jung
f7efe238f3 fix catch_panic.stderr 2019-12-01 11:04:51 +01:00