Ralf Jung
|
060bb2fa9f
|
use ui test mode rather than mir-opt
These tests are not run per default
|
2017-09-16 12:36:31 +02:00 |
|
Oliver Schneider
|
1fc3a00c90
|
Merge pull request #341 from solson/babysteps
Use rustc's APFloat impl instead of interpreter host floats
|
2017-09-15 15:45:33 +02:00 |
|
Oliver Schneider
|
ec5820c273
|
Use rustc's APFloat impl instead of interpreter host floats
|
2017-09-15 15:06:27 +02:00 |
|
Oliver Schneider
|
f13455af2b
|
Merge pull request #340 from solson/babysteps
Remove `#[linkage(foo)]` statics from core miri
|
2017-09-15 14:14:46 +02:00 |
|
Oliver Schneider
|
8cbfbf77f8
|
Remove #[linkage(foo)] statics from core miri
|
2017-09-15 13:03:07 +02:00 |
|
Oliver Schneider
|
e8ea7da201
|
Merge pull request #339 from RalfJung/rustup
Storage{Live,Dead} in generators got fixed
|
2017-09-15 09:22:18 +02:00 |
|
Ralf Jung
|
9db9308a79
|
Storage{Live,Dead} in generators got fixed
|
2017-09-15 08:58:12 +02:00 |
|
Ralf Jung
|
02e09dc187
|
Merge pull request #337 from RalfJung/rustup
rustup
|
2017-09-14 11:00:45 +02:00 |
|
Ralf Jung
|
ca0f063489
|
fix rustc_tests build
|
2017-09-14 10:40:22 +02:00 |
|
Oliver Schneider
|
7ec04cb676
|
cargo install only takes --debug, not --release
|
2017-09-14 10:34:07 +02:00 |
|
Ralf Jung
|
24e45de953
|
travis: more consistent cargo flags (--locked, --release)
|
2017-09-14 10:04:28 +02:00 |
|
Ralf Jung
|
91d9b83db2
|
validation: remove a hack that is no longer necessary
|
2017-09-14 10:00:37 +02:00 |
|
Ralf Jung
|
a66f622a98
|
rustup
|
2017-09-14 09:55:17 +02:00 |
|
Ralf Jung
|
237590ada3
|
Merge pull request #336 from RalfJung/mir-validate
Valiation: Identify write locks using an abstract lvalue
|
2017-09-13 18:32:39 +02:00 |
|
Ralf Jung
|
5d2ed4d2ba
|
Something in panic handling fails validation with full-MIR
|
2017-09-13 18:15:59 +02:00 |
|
Ralf Jung
|
c1630973d0
|
Disable the address-of-ZST test for now; it is buggy as it disagrees with rustc
|
2017-09-13 18:15:59 +02:00 |
|
Ralf Jung
|
59a329d4f7
|
use catch expression to handle the 'release undef' problem slightly better
|
2017-09-13 15:46:53 +02:00 |
|
Ralf Jung
|
bac89ae1d8
|
enable validation for a bunch of more tests
|
2017-09-13 15:46:53 +02:00 |
|
Ralf Jung
|
aa578de018
|
identify write locks by lvalues, not regions
This makes a new compile-fail test pass.
|
2017-09-13 14:37:31 +02:00 |
|
Ralf Jung
|
02a943b3fb
|
Merge pull request #335 from solson/rustup
Rustup
|
2017-09-13 14:36:52 +02:00 |
|
Oliver Schneider
|
2cf984d76e
|
This is unreachable code and it should never ever be reachable even in the future
|
2017-09-13 14:21:07 +02:00 |
|
Oliver Schneider
|
c47ee6b521
|
Rustup part 2/2
|
2017-09-13 13:46:54 +02:00 |
|
Ralf Jung
|
79993e63a0
|
rustup (part 1/2)
|
2017-09-13 12:58:25 +02:00 |
|
Eduard-Mihai Burtescu
|
d5d3e3b348
|
Merge pull request #333 from solson/rust_ci
Use correct rustc in rust's CI
|
2017-09-11 12:17:20 +03:00 |
|
Oliver Schneider
|
ce3576f7d8
|
Use correct rustc in rust's CI
|
2017-09-11 11:01:26 +02:00 |
|
Ralf Jung
|
8307d27522
|
Merge pull request #332 from solson/rustup
rustup
|
2017-09-09 12:15:34 +02:00 |
|
Ralf Jung
|
a1f71af5b2
|
restrict cur_frame visibility
|
2017-09-09 11:37:00 +02:00 |
|
Ralf Jung
|
ce4875484f
|
there are more tests we can enable again
|
2017-09-09 11:30:15 +02:00 |
|
Ralf Jung
|
a5fa8e90d0
|
only test on master
|
2017-09-09 11:28:24 +02:00 |
|
Ralf Jung
|
41f228824f
|
fix warnings in tests; update validation whitelist
|
2017-09-09 11:18:02 +02:00 |
|
Ralf Jung
|
00c909dbd0
|
we can enable a bunch of tests for validation again
|
2017-09-09 11:18:02 +02:00 |
|
Ralf Jung
|
1591977432
|
clean up suspensions when function ends
|
2017-09-09 11:18:02 +02:00 |
|
Oliver Schneider
|
bc2f9259e6
|
rustup
|
2017-09-09 11:18:02 +02:00 |
|
Ralf Jung
|
2c4fcd8d12
|
Merge pull request #329 from solson/oli-obk-patch-2
Rustup
|
2017-09-08 09:40:19 +02:00 |
|
Oliver Schneider
|
5570a78c51
|
Disable validation for some tests
|
2017-09-07 16:56:46 +02:00 |
|
Oliver Schneider
|
79f90d1b5b
|
Make our build work just like the rustc build
|
2017-09-07 16:47:31 +02:00 |
|
Ralf Jung
|
b456b7cc8d
|
Merge pull request #330 from RalfJung/rustup
Rustup
|
2017-09-06 10:51:54 +02:00 |
|
Ralf Jung
|
9fe0d60da6
|
disable optimized tests until rustc is fixed
|
2017-09-06 10:30:00 +02:00 |
|
Ralf Jung
|
2ee999b2ca
|
use latest xargo; this fixes the libstd build problem
|
2017-09-06 10:15:28 +02:00 |
|
Ralf Jung
|
59cbfdbf08
|
enable a test that works just fine
|
2017-09-06 10:10:43 +02:00 |
|
Oliver Schneider
|
e9315a60e4
|
Rustup
|
2017-09-06 10:10:15 +02:00 |
|
Ralf Jung
|
ee5383fe2a
|
Merge pull request #324 from oli-obk/align_offset
Implement `align_offset` intrinsic and thus enabling `from_utf8`
|
2017-09-04 13:49:18 +02:00 |
|
Ralf Jung
|
3b6852abf0
|
Merge branch 'master' into align_offset
|
2017-09-04 13:22:11 +02:00 |
|
Ralf Jung
|
9386f05e6d
|
Merge pull request #325 from RalfJung/test
Update compiletest
|
2017-09-04 13:21:53 +02:00 |
|
Ralf Jung
|
8dff161bcb
|
update compiletest; we do not need tempdir any more
|
2017-09-04 13:02:55 +02:00 |
|
Ralf Jung
|
df895cd9d4
|
no reason not to run tests in miri (once someone writes them)
|
2017-09-04 13:01:10 +02:00 |
|
Ralf Jung
|
ff75da2784
|
Merge pull request #327 from RalfJung/backtrace
update backtrace to newly released version
|
2017-09-04 12:59:41 +02:00 |
|
Ralf Jung
|
41be917e01
|
make sure the lock file is not changed when building on CI
|
2017-09-04 12:42:07 +02:00 |
|
Ralf Jung
|
f1da208bf9
|
also update rustc_test
|
2017-09-04 12:37:42 +02:00 |
|
Ralf Jung
|
9a273e0192
|
update backtrace to newly released version
|
2017-09-04 12:37:42 +02:00 |
|