Ralf Jung
|
40cc72604a
|
update for bool/char being checked at binops
|
2018-08-24 19:18:21 +02:00 |
|
Ralf Jung
|
42bce6cb36
|
rustup
|
2018-08-24 17:44:04 +02:00 |
|
Ralf Jung
|
2ee4aac62f
|
fix leaks with -Zmiri-start-fn
|
2018-08-24 16:45:08 +02:00 |
|
Ralf Jung
|
1a4ad2bb9f
|
update for miri engine: new function handling, new static handling, fixed leaks
|
2018-08-24 16:45:08 +02:00 |
|
Ralf Jung
|
68194180a8
|
fix type renaming
|
2018-08-23 09:29:27 +02:00 |
|
Ralf Jung
|
ee7f22245d
|
Merge remote-tracking branch 'origin/master'
|
2018-08-20 18:57:48 +02:00 |
|
Ralf Jung
|
1a23b3c313
|
rustup
|
2018-08-20 16:27:23 +02:00 |
|
Ralf Jung
|
6203bf445f
|
update for rustc memory changes; fix (un)init intrinsic for ZST
|
2018-08-18 11:59:28 +02:00 |
|
Ralf Jung
|
ea27e46a38
|
fix compilation after rustc change
|
2018-08-17 09:36:53 +02:00 |
|
Ralf Jung
|
c424e21692
|
update for memory signedness removal; test some float casts
|
2018-08-16 11:35:38 +02:00 |
|
Ralf Jung
|
259cc6e3dc
|
rustup for big refactor; kill most of validation
|
2018-08-16 10:30:43 +02:00 |
|
Oliver Schneider
|
66ca0fb0a9
|
Merge pull request #431 from RalfJung/packed
Allow remainder on pointers, reenable packed-structs test
|
2018-08-15 09:24:01 +02:00 |
|
Ralf Jung
|
51dbb5aa29
|
tweak test config in Cargo.toml
|
2018-08-14 20:57:58 +02:00 |
|
Ralf Jung
|
1179d4f8a4
|
fix int ptr ops on 32bit
|
2018-08-14 20:25:56 +02:00 |
|
Ralf Jung
|
98a5b24ef7
|
test some more things around packed structs
|
2018-08-14 20:10:25 +02:00 |
|
Ralf Jung
|
bfda0a0a90
|
add a scary test case
|
2018-08-14 20:10:25 +02:00 |
|
Ralf Jung
|
04b925135d
|
fix modulo logic
|
2018-08-14 20:10:25 +02:00 |
|
Ralf Jung
|
2b40d39c1e
|
support computing the remainder of a ptr, if covered by alignment
|
2018-08-14 20:10:25 +02:00 |
|
Ralf Jung
|
93fef9a6a2
|
reenable an old test
|
2018-08-14 20:10:25 +02:00 |
|
Ralf Jung
|
65357faef8
|
Merge pull request #425 from solson/rustup
Rustup
|
2018-08-14 20:09:54 +02:00 |
|
Ralf Jung
|
1fbf998b65
|
Fix remaining windows hooks
|
2018-08-14 19:47:41 +02:00 |
|
Ralf Jung
|
7c73df9985
|
avoid recompiling miri for 2nd test run; avoid unreadable output due to backtraces
also some travis config cleanup
|
2018-08-14 18:53:46 +02:00 |
|
Ralf Jung
|
e10d83c8bb
|
fix windows hooks
|
2018-08-14 18:52:13 +02:00 |
|
Ralf Jung
|
354ec11c3e
|
try using types with lower alignment, maybe that helps for Windows
|
2018-08-14 18:52:13 +02:00 |
|
Ralf Jung
|
30cef4e9a1
|
fix rustc_tests
|
2018-08-14 16:45:18 +02:00 |
|
Ralf Jung
|
ad5403e2e5
|
fix layout in discriminant_value
|
2018-08-14 15:58:49 +02:00 |
|
Ralf Jung
|
cec39d7014
|
Merge branch 'master' into rustup
|
2018-08-14 15:58:40 +02:00 |
|
Ralf Jung
|
0efc6b2a9d
|
Merge pull request #429 from RalfJung/cargo-miri-test
Cargo miri test
|
2018-08-14 10:15:55 +02:00 |
|
Ralf Jung
|
c4c8c60279
|
update README: 'cargo miri' with full MIR; consistent capitalization
|
2018-08-14 09:41:04 +02:00 |
|
Ralf Jung
|
034bb25f54
|
fix 'cargo miri test' for full MIR, and run it on CI
|
2018-08-14 09:41:04 +02:00 |
|
Ralf Jung
|
bed48ce5df
|
bump toolchain
|
2018-08-14 09:40:00 +02:00 |
|
Ralf Jung
|
d101e84020
|
Merge branch 'master' into rustup
|
2018-08-14 09:39:06 +02:00 |
|
Oliver Schneider
|
ff0f856e18
|
Merge pull request #428 from RalfJung/toolchain
document and fully use rust-toolchain file
|
2018-08-14 09:37:07 +02:00 |
|
Ralf Jung
|
f0070fca1e
|
remove unnecessary features
|
2018-08-14 09:35:31 +02:00 |
|
Ralf Jung
|
1ec8728325
|
document and fully use rust-toolchain file
|
2018-08-14 00:58:43 +02:00 |
|
Oliver Schneider
|
7b4402746f
|
Add comments explaining why we do something complex for (un)init
|
2018-08-08 10:34:49 +02:00 |
|
Oliver Schneider
|
be91aea0fa
|
Rustup
|
2018-08-07 15:22:11 +02:00 |
|
Ralf Jung
|
b784c81e8e
|
Merge pull request #422 from RalfJung/default-run
Revert "Disable blood letting edge features"
|
2018-08-02 20:11:03 +02:00 |
|
Ralf Jung
|
d3821888c7
|
Merge branch 'master' into default-run
|
2018-08-02 19:44:13 +02:00 |
|
Oliver Schneider
|
5553c458d1
|
Merge pull request #424 from RalfJung/fewer-deps
remove dependency on lazy_static and regex by getting rid of some dead validation hack
|
2018-08-02 13:19:11 +02:00 |
|
Ralf Jung
|
3783cebe80
|
remove dependency on lazy_static and regex by getting rid of some dead validation hack
|
2018-08-02 12:16:09 +02:00 |
|
Ralf Jung
|
e0486769b3
|
Merge pull request #423 from RalfJung/memchr
mem(r)chr is working in miri now
|
2018-08-02 11:10:37 +02:00 |
|
Ralf Jung
|
d844792d76
|
fix format string to obtain desired output
|
2018-08-02 10:45:08 +02:00 |
|
Ralf Jung
|
18546308ce
|
mem(r)chr is working in miri now
|
2018-08-02 00:17:02 +02:00 |
|
Ralf Jung
|
b45885d31f
|
Revert "Disable blood letting edge features"
This reverts commit 305d8aeafe.
|
2018-08-01 16:34:39 +02:00 |
|
Oliver Schneider
|
e0526863ed
|
Merge pull request #421 from RalfJung/storage_dead_ub
make sure that StorageDead invalidates the backing store
|
2018-08-01 16:27:39 +02:00 |
|
Ralf Jung
|
1538b36c80
|
make sure that StorageDead invalidates the backing store
|
2018-07-31 20:29:28 +02:00 |
|
Ralf Jung
|
c2670bfdd8
|
Merge pull request #419 from RalfJung/sysroot
clarify error message when sysroot was not found
|
2018-07-31 20:27:18 +02:00 |
|
Ralf Jung
|
ff3efb4e04
|
clarify error message when sysroot was not found
|
2018-07-30 14:49:01 +02:00 |
|
Ralf Jung
|
471944b632
|
Merge pull request #381 from solson/sanity_checks
Update to rustc sanity check branch
|
2018-07-30 09:08:52 +02:00 |
|