Commit Graph

2710 Commits

Author SHA1 Message Date
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
Oliver Schneider
305d8aeafe Disable blood letting edge features 2018-07-26 11:21:49 +02:00
Ralf Jung
b7c57fee61 Ignore tests
the bool thing will be fixed by the validation I have planned, and we already ignored another test around modifing constants.
2018-07-26 11:21:49 +02:00
Ralf Jung
e849fa47fb make miri compile again 2018-07-26 11:21:49 +02:00
Oliver Schneider
53114e3b36 Update to rustc sanity check branch 2018-07-26 11:21:49 +02:00
Ralf Jung
8a6d6f0c95
Merge pull request #413 from solson/exit_code
Produce the exit codes that compiletest expects
2018-07-25 18:11:28 +02:00
Oliver Schneider
b055ff03f1 Produce the exit codes that compiletest expects 2018-07-25 17:28:16 +02:00
Oliver Schneider
9b89d0bfd7
Merge pull request #411 from RalfJung/default-run
use default-run
2018-07-22 12:23:36 +02:00
Ralf Jung
444d97fc7d fix vecs.rs path 2018-07-22 09:51:23 +02:00
Ralf Jung
2a29ed0142 use default-run 2018-07-22 09:48:49 +02:00
Ralf Jung
911aedf736
Merge pull request #410 from RalfJung/rustup
fix for latest rust nightly
2018-07-17 09:12:47 +02:00
Ralf Jung
72756b7071 also fix rustc_tests 2018-07-17 08:56:06 +02:00
Ralf Jung
f9a8d2618e fix for latest rust nightly 2018-07-16 22:26:32 +02:00
Oliver Schneider
f18fc27b6f
Merge pull request #401 from RalfJung/tests
run fullMIR tests in appveyor
2018-07-16 12:04:31 +02:00