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 |
|
Ralf Jung
|
e1a3b9606e
|
TLS on Windows
|
2018-07-16 11:42:46 +02:00 |
|
Ralf Jung
|
216b8f7407
|
shim some Windows functions
|
2018-07-16 10:27:19 +02:00 |
|
Ralf Jung
|
9396310317
|
appveyor: put 64bit config first, it seems to usually be faster
|
2018-07-16 10:27:19 +02:00 |
|
Ralf Jung
|
fb3ac376ad
|
run fullMIR tests in appveyor
|
2018-07-16 10:27:19 +02:00 |
|
Ralf Jung
|
76b71b51b9
|
Merge pull request #409 from solson/hack_branch_for_miri_do_not_delete_until_merged
Hack branch for miri do not delete until merged
|
2018-07-16 10:26:27 +02:00 |
|
Ralf Jung
|
009525dc41
|
Merge branch 'master' into hack_branch_for_miri_do_not_delete_until_merged
|
2018-07-16 09:54:09 +02:00 |
|
Ralf Jung
|
d7ddad676c
|
Merge pull request #407 from RalfJung/readme
update rustc build instructions to mention keep-stage
|
2018-07-16 09:53:59 +02:00 |
|
Ralf Jung
|
8264732366
|
Merge branch 'master' into readme
|
2018-07-16 09:29:12 +02:00 |
|
Oliver Schneider
|
40ac150712
|
Merge pull request #408 from RalfJung/rustup
Rustup
|
2018-07-16 09:19:09 +02:00 |
|
Oliver Schneider
|
022bd13bee
|
Merge branch 'master' into hack_branch_for_miri_do_not_delete_until_merged
|
2018-07-16 09:16:53 +02:00 |
|
Ralf Jung
|
d11c668a39
|
no longer run rustc on the tests; instead make sure we actually deny all warnings
Also fix the fallout from that
|
2018-07-16 08:39:06 +02:00 |
|
Ralf Jung
|
a39f25c813
|
update rustc build instructions to mention keep-stage
Also move them further down because it is probably less relevant than some of
the other stuff.
|
2018-07-15 23:18:36 +02:00 |
|
Ralf Jung
|
5be8bd987d
|
Test some new capabilities we gained from a rustc update
|
2018-07-15 21:25:20 +02:00 |
|
Ralf Jung
|
fd6dad78f4
|
Merge pull request #406 from RalfJung/windows
handle all foreign items like we handle C ABI shims
|
2018-07-15 21:24:43 +02:00 |
|
Ralf Jung
|
60d18dbf87
|
handle all foreign items like we handle C ABI shims
|
2018-07-15 21:03:52 +02:00 |
|
Ralf Jung
|
fe4f62ab4a
|
Merge pull request #404 from RalfJung/error
make sure we show error messages even when we cannot show span
|
2018-07-15 12:57:26 +02:00 |
|
Ralf Jung
|
0b8809bf5f
|
port some tests to check the new error format
|
2018-07-15 12:00:02 +02:00 |
|
Ralf Jung
|
30185d09f6
|
make sure we show error messages even when we cannot show span
|
2018-07-15 11:40:57 +02:00 |
|
Ralf Jung
|
4112822a84
|
Merge pull request #403 from RalfJung/readme
refine rustc build instructions
|
2018-07-14 11:41:58 +02:00 |
|