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 |
|
Ralf Jung
|
bb6e7c8243
|
Merge branch 'master' into sanity_checks
|
2018-07-30 08:51:34 +02:00 |
|
Ralf Jung
|
79d0a01fa5
|
Merge pull request #415 from RalfJung/cargo-miri
test `cargo miri` output
|
2018-07-26 18:27:44 +02:00 |
|
Ralf Jung
|
e2c1b70086
|
nicer diff formating
|
2018-07-26 18:15:51 +02:00 |
|
Ralf Jung
|
c490151b16
|
memrchr currently does not work
|
2018-07-26 18:15:26 +02:00 |
|
Ralf Jung
|
ae830f6115
|
dont test cargo miri output on mac. no idea what that system is doing.
|
2018-07-26 17:41:45 +02:00 |
|
Ralf Jung
|
f6d4814fb3
|
detect another printing function for nicer error
|
2018-07-26 17:31:00 +02:00 |
|
Ralf Jung
|
5bd02b7c07
|
also show the output (though we lost the interleaving)
|
2018-07-26 17:08:29 +02:00 |
|
Ralf Jung
|
ee98799185
|
we no longer need to mess with the environment in our test suite
|
2018-07-26 16:49:10 +02:00 |
|
Ralf Jung
|
851f2ab98e
|
test cargo miri output
|
2018-07-26 16:43:51 +02:00 |
|
Oliver Schneider
|
e6f1e15676
|
Bump min dependency version
|
2018-07-26 14:37:43 +02:00 |
|