Oliver Schneider
|
cf4b28a5ac
|
Merge pull request #353 from king6cong/master
update trans_fulfill_obligation call signature
|
2017-09-30 10:46:01 +02:00 |
|
king6cong
|
3d1332d7f8
|
update README.md
|
2017-09-30 15:07:07 +08:00 |
|
king6cong
|
6221bbc5a7
|
update trans_fulfill_obligation call signature
|
2017-09-30 14:55:16 +08:00 |
|
Oliver Schneider
|
ed674f7cb3
|
Merge pull request #351 from RalfJung/exchange_malloc
Call exchange_malloc for box stmt
|
2017-09-27 21:46:41 +02:00 |
|
Ralf Jung
|
6e8650395d
|
fix oom2 test
|
2017-09-25 16:21:20 +02:00 |
|
Ralf Jung
|
a8980fd5e8
|
use exchange_malloc lang item for Box statements
|
2017-09-25 15:55:21 +02:00 |
|
Eduard-Mihai Burtescu
|
a5503a33e6
|
Merge pull request #350 from RalfJung/inhabited
get rid of ad-hoc inhabitedness test
|
2017-09-22 14:48:59 +03:00 |
|
Ralf Jung
|
1ad9709e00
|
get rid of ad-hoc inhabitedness test
|
2017-09-22 13:24:55 +02:00 |
|
Oliver Schneider
|
728e664739
|
Merge pull request #348 from RalfJung/tests
update compiletest
|
2017-09-19 16:23:18 +02:00 |
|
Ralf Jung
|
383153f887
|
update compiletest
|
2017-09-19 13:27:13 +02:00 |
|
Oliver Schneider
|
11e4859ee1
|
Merge pull request #347 from RalfJung/readme
README: show AppVeyor status
|
2017-09-18 13:56:12 +02:00 |
|
Ralf Jung
|
44fac716a6
|
fix AppVeyor URL
|
2017-09-18 11:17:21 +02:00 |
|
Ralf Jung
|
bf890b99dd
|
README: show AppVeyor status
|
2017-09-18 11:13:01 +02:00 |
|
Ralf Jung
|
b20c038a99
|
Merge pull request #346 from solson/oli-obk-patch-3
Only run appveyor on the master branch and on PRs
|
2017-09-18 11:12:53 +02:00 |
|
Oliver Schneider
|
8419abe86e
|
Only run appveyor on the master branch and on PRs
|
2017-09-17 22:02:30 +02:00 |
|
Oliver Schneider
|
80853e2f24
|
Merge pull request #334 from solson/windows
Windows support in the test suite + appveyor
|
2017-09-17 16:08:23 +02:00 |
|
Oliver Schneider
|
0320a77358
|
Run appveyor tests in release mode
|
2017-09-16 15:44:35 +02:00 |
|
Oliver Schneider
|
709ab245df
|
Merge branch 'master' into windows
|
2017-09-16 15:06:26 +02:00 |
|
Oliver Schneider
|
cf92528426
|
Add windows support
|
2017-09-16 14:02:59 +02:00 |
|
Ralf Jung
|
8bddd6a065
|
Merge pull request #344 from RalfJung/test
get rid of the --miri_host_target hack
|
2017-09-16 13:49:01 +02:00 |
|
Ralf Jung
|
5a5aa49db7
|
get rid of the --miri_host_target hack
|
2017-09-16 13:29:38 +02:00 |
|
Ralf Jung
|
605c82be7a
|
Merge pull request #343 from RalfJung/tests
use ui test mode rather than mir-opt
|
2017-09-16 13:09:28 +02:00 |
|
Ralf Jung
|
e7b0637e68
|
Merge branch 'master' into tests
|
2017-09-16 12:55:49 +02:00 |
|
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
|
6d4840e929
|
Merge pull request #342 from RalfJung/mir-validate
validation: check that int, float etc. are not undef
|
2017-09-16 12:31:36 +02:00 |
|
Ralf Jung
|
bc240ff606
|
add an undef validation test
|
2017-09-16 12:11:48 +02:00 |
|
Ralf Jung
|
8509dbbafe
|
validation: allow undef integers and raw pointers, as a crude work-around
|
2017-09-16 12:08:26 +02:00 |
|
Ralf Jung
|
2ea6663440
|
validation: check that int, float etc. are not undef
|
2017-09-16 11:45:56 +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 |
|